CLEAR
<language> A specification language based on initial algebras.
["An Informal Introduction to Specification Using CLEAR", R.M. Burstall in The
Correctness Problem in Computer Science, R.S. Boyer et al eds, Academic Press
1981, pp. 185-213].
(1994-11-03)
Nearby terms:
Clean « clean « cleanroom « CLEAR » clear box
testing » Clear Language for Expressing Orders »
CLEO
|
