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:

method invocationmethodologyMethodsme toometremetricmetric space

Try this search on Wikipedia, Wiktionary, Google, OneLook.



Not using Html Comment Box  yet?


Original text
Rate this translation
Your feedback will be used to help improve Google Translate