English Dictionary
cleaver
n : a butcher's implement having a large square blade [syn: {meat
cleaver}, {chopper}]
English Computing Dictionary
CLEAR
A {specification language} based on {initial algebra}s.
["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)