H ? « ‹ ← → › »

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

Larch(ID:1158/lar001)

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

DEC John Guttag and Jim Horning 1990

The Larch Project develops aids for formal specifications. Each Larch specification has two components: an interface containing predicates written in the LIL (Larch Interface Language) designed for the target language and a 'trait' containing assertions about the predicates written in LSL, the Larch Shared Language common to all.
Related languages
Larch → ABEL   Incorporated some features of
Larch → Larch/Ada   Implementation
Larch → Larch/CLU   Implementation
Larch → LM3   Adaptation of
References:
  • Guttag, J. et al (1985) Guttag, J. et al "The Larch Family of Specification Languages"
          in (1985) IEEE Trans Soft Eng 2(5) September 1985
  • (1986) Guttag J. V. and J. J. Horning. A Larch Shared Language Handbook. Science of Computer Programming, 6(2):135-158, 1986
          in (1985) IEEE Trans Soft Eng 2(5) September 1985
  • (1986) Guttag J. V. and J. J. Horning. Report on the Larch shared language. Science of Computer Programming, 6(2):103-134, 1986.
          in (1985) IEEE Trans Soft Eng 2(5) September 1985
  • (1993) "Larch: Languages and Tools for Formal Specification", Guttag and Horning, Springer 1993.
          in (1985) IEEE Trans Soft Eng 2(5) September 1985
  • Cerioli et al (1997) Cerioli, Maura; Gogolla, Martin; Kirchner, Helene; Bruckner, Bernd Krieg; Qian, Zhenyu; Wolf, Markus "Algebraic System Specification and Development - Survey and Annotated Bibliography" Second Edition Compass Group Bremen 1997 Abstract ps Extract: LARCH, LOOK Extract:
          in (1985) IEEE Trans Soft Eng 2(5) September 1985
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder