me too
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)].
(1994-10-21)
Nearby terms:
method « methodology « Methods « me too »
metre » metric » metric space
|
