H ? « ‹ ← → › »

Language peer sets for Larch/CLU:
United States↑
United States/1986↑
Designed 1986 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

Larch/CLU(ID:1232/lar003)

alternate simple view
Country: United States
Designed 1986
Published: 1986

Larch specification language for CLU.
Related languages
CLU → Larch/CLU   Spec written in
Larch → Larch/CLU   Implementation
References:
  • Liskov B. (1986) Liskov B. & J. Guttag, Abstraction and Specification in Program Development, MIT Press 1986.
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder