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
Erotetic systems
Interface and windowing/1984
Erotetic systems/1984
Interface and windowing/United Kingdom
Interlocutary/United Kingdom
Erotetic systems/United Kingdom
Specialised Languages
Specialised Languages/1984
Specialised Languages/uk


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.

Related languages
Lispkit Lisp me-too   Enhancement of
me-too SPI   Based on

  • 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