Library AutosubstSsr
Library Compiler
Library Facts
Library GCContinuity
Library GCSemantics
Library GCSyntax
Library ICContinuity
Library ICEquivalence
- IC Program Preorder
- Preservation of specifications / Refinement
- Contextual approximation
- Contextual approximation is the coarsest consistent precongruence.
- Refinement -> Approximation
- Approximation -> Refinement
- Building distinguishing contexts
- Properties of contexts
- Contextual approximation -> small-step equivalence
- Least upper bound property
Library ICSemantics
Library ICSyntax
Library States
This page has been generated by coqdoc