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

Last updated: 1994-11-03

Try this search on Wikipedia, OneLook, Google

Nearby terms: Clean « clean « cleanroom « CLEAR » clear box testing » Clear Language for Expressing Orders » CLEO


Copyright Denis Howe 1985 General Business Directory.