me-too(ID:1097/met031)

Functional language for executable specifications 

Peter Henderson, 1984.

Functional language for executable specifications.

Like LispKit Lisp, but with sets, maps and sequences to describe the specification.

Structures:
Related languages
Lispkit Lisp => me-too   Enhancement of
me-too => SPI   Based on
References:
  • Henderson, Peter "Functional Programming, Formal Specification and Rapid Prototyping", view details
          in IEEE Trans Soft Eng, SE-12(02) February 1986 view details