Skorzystaj z wyszukiwarki lub indeksu alfabetycznego.
Przykłady: pci, /dev/null, functional unit, embedded system, pseudo-tty, nfs.
1 definition found
From The Free On-line Dictionary of Computing (05 January 2017) [foldoc]:
CLEAR
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)