dictionary help| me too | computing dictionary |
A functional language for executable specifications developed by Peter Henderson in 1984. It is like LispKit Lisp, but with sets, maps and sequences to describe the specification.
["Functional Programming, Formal Specification and Rapid Prototyping", IEEE Trans Soft Eng, SE-12(2):241-250 (Feb 1986)].
(01 Mar 1994)
metocurine iodide, metolazone, metonic, metonymy < Prev | Next > metopagus, metope, metopic
Bookmark with:      | word visualiser | Go and visit our forums  |
