Higher-Order refinement in Coq
and Dijkstra Specification Monads (DSM)

Keywords
Objectives
Description This a new formulation of refinement calculus. Main characteristics:
To download
Links
Contact Sylvain Boulme (please, remove underscores).

Last modification: Jun 1 2007