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].
Last updated: 1994年11月03日
Nearby terms:
cleanroom ♦ CLEAR ♦ clear box testing ♦ Clear Language for Expressing Orders
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading