H ? « ‹ ← → › »

Language peer sets for me-too:
United Kingdom↑
United Kingdom/1984↑
Designed 1984 ↑
1980s languages ↑
Fourth generation↑
Late Cold War↑
Genus Interface and windowing ↑
Specialised Languages ↑
Interface and windowing↑
Interlocutary↑
Erotetic systems ↑
Interface and windowing/1984↑
Interlocutary/1984↑
Erotetic systems/1984↑
Interface and windowing/United Kingdom↑
Interlocutary/United Kingdom↑
Erotetic systems/United Kingdom↑
Specialised Languages ↑
Specialised Languages/1984↑
Specialised Languages/uk ↑

me-too(ID:1097/met031)

Functional language for executable specifications 

alternate simple view
Country: United Kingdom
Designed 1984
Published: 1984
Genus: Interface and windowing
Sammet category: Specialised Languages

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 (1986) Henderson, Peter "Functional Programming, Formal Specification and Rapid Prototyping",
          in (1986) IEEE Trans Soft Eng, SE-12(02) February 1986
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder