You are here: irt.org | FOLDOC | 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
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL