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

(01 Mar 1994)

cleaning-in-place, clean room, clean room, cleansing cream < Prev | Next > clearance, clear box testing, clear cell

Bookmark with: icon icon icon icon iconword visualiser Go and visit our forums Community Forums