Larch: Languages and Tools for Formal Specification

@inproceedings{Guttag1993LarchLA,
  title={Larch: Languages and Tools for Formal Specification},
  author={J. Guttag and J. Horning and S. Garland and K. Jones and A. Modet and Jeannette M. Wing},
  booktitle={Texts and Monographs in Computer Science},
  year={1993}
}
  • J. Guttag, J. Horning, +3 authors Jeannette M. Wing
  • Published in
    Texts and Monographs in…
    1993
  • Computer Science
  • 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. 
    LCLint: a tool for using specifications to check code
    • 277
    • PDF
    JML: A Notation for Detailed Design
    • 506
    • PDF
    JML: notations and tools supporting detailed design in Java
    • 172
    • Highly Influenced
    • PDF
    An overview of JML tools and applications
    • 540
    • PDF
    Data groups: specifying the modification of extended state
    • 187
    • PDF
    An overview of JML tools and applications
    • 406

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 91 REFERENCES
    The Semantics of CLEAR, A Specification Language
    • 474
    The Larch Family of Specification Languages
    • 317
    Formal specification as a design tool
    • 125
    A computational logic handbook
    • 802
    Writing Larch interface language specifications
    • 152
    • PDF
    A TWO-TIERED APPROACH TO SPECIFYING PROGRAMS
    • 110
    Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
    • 698
    • PDF
    An Overview of LP, The Larch Power
    • 119
    • PDF
    Report on the Larch Shared Language
    • 98