Concept Index
A
- acceptable modes (in assertions_props)
- assertion body syntax (in assertions_props)
- assertion checking (in ciaopp_ref_manintro)
C
- calls assertion (in assertions_doc)
- check assertion (in assertions_doc)
- comment assertion (in assertions_doc)
- comments, machine readable (in assertions_doc)
- comp assertion (in assertions_doc)
- compatibility properties (in regtypes_doc)
D
- data declaration (in debugging_in_ciaopp)
- debugging (in ciaopp_ref_manintro)
- decl assertion (in assertions_doc)
- dynamic declaration (in debugging_in_ciaopp)
E
- entry assertion (in assertions_doc)
- entry declaration (in debugging_in_ciaopp)
- exit assertion (in assertions_doc)
F
H
I
M
P
- parametric type functor (in regtypes_doc)
- pred assertion (in assertions_doc)
- program transformations (in ciaopp_ref_manintro)
- prop assertion (in assertions_doc)
- properties of computations (in regtypes_doc)
- properties of execution states (in regtypes_doc)
- properties, basic (in basic_props)
- properties, native (in native_props)
R
- regtype assertion (in regtypes_doc)
- regular type expression (in regtypes_doc)
- run-time tests (in ciaopp_ref_manintro)
S
- sharing sets (in native_props)
- soft side-effects (in native_props)
- specifications (in ciaopp_ref_manintro)
- static debugging (in ciaopp_ref_manintro)
- success assertion (in assertions_doc)
