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 |
