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

Last updated: 1994-10-21

Nearby terms:

methodmethodologyMethodsme toometremetricmetric space

Try this search on Wikipedia, OneLook, Google


Loading