CLEAR




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].



< Previous Terms Terms Containing CLEAR Next Terms >
Clausal Language
clause
Clean
clean
Cleanroom
 application service provider
bang
BCC
Bidouilleurs Sans Argent
Birds Of a Feather
 clear box testing
CLEO
CLHEP
CLI
CLiCC