Computer Dictionary/CLEAR

From En.18dao.net
Jump to: navigation, search

A specification language based on [[Computer Dictionary/initial

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


Related Columns: ASCII, Dream Dictionary, Idiom Dictionary

Discussion about "Computer Dictionary/CLEAR":

None Discussion Now.

Add Discussion