Larch: Languages and Tools for Formal Specification

@inproceedings{Guttag1993LarchLA,
  title={Larch: Languages and Tools for Formal Specification},
  author={John V. Guttag and James J. Horning and Stephen J. Garland and Kevin D. Jones and A. Modet and Jeannette M. Wing},
  booktitle={Texts and Monographs in Computer Science},
  year={1993}
}
This monograph addresses the use of formal specification languages and supporting tools. Concentrating on the Larch specification work taking place at DEC and MIT, it discusses the use of formal specifications in program development and introduces the notation of mathematical logic. 

Citations

Publications citing this paper.
SHOWING 1-10 OF 380 CITATIONS

Design and Implementation of the Larch/C++ Type System

VIEW 7 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Code generation for the IOA language

VIEW 8 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Reuse of ASF+SDF Specifications by means of Renaming

VIEW 11 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Specifying Weak

SetsJeannette M. Wing, David C. Steerewing
  • 1994
VIEW 5 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Alneelain: A formal specification language

  • 2017 International Conference on Communication, Control, Computing and Electronics Engineering (ICCCCEE)
  • 2017
VIEW 4 EXCERPTS
HIGHLY INFLUENCED

6-1994 A Quick Overview of Larch / C + +

VIEW 7 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Behavioral interface specification languages

VIEW 20 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

1992
2018

CITATION STATISTICS

  • 58 Highly Influenced Citations

References

Publications referenced by this paper.
SHOWING 1-10 OF 86 REFERENCES

An Integrated Environment Supporting the Reuse of Formal Specifications, Michigan State University, Dept

Michael R. Laux, Robert H. Bourdeau, Betty H.C. Cheng
  • 1992

An object-oriented toolkit for constructing specification editors

  • [1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference
  • 1992

Formal specification of engineering analysis programs

J. W. Baugh, Jr
  • Expert Systems for Scientific Computing, E.N. Houstis, J.R. Rice, and R. Vichnevetsky (eds.), North-Holland, 1992.
  • 1992