Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
Share This Author
Larch: Languages and Tools for Formal Specification
- J. Guttag, J. Horning, Stephen J. Garland, K. Jones, A. Modet, Jeannette M. Wing
- Computer ScienceTexts and Monographs in Computer Science
- 1993
TLDR
LCL: A Larch Interface Language for C
- J. Guttag, J. Horning, Stephen J. Garland, K. Jones, A. Modet, Jeannette M. Wing
- Computer Science
- 1993
TLDR
LSL: The Larch Shared Language
- J. Guttag, J. Horning, Stephen J. Garland, K. Jones, A. Modet, Jeannette M. Wing
- Education
- 1993
This chapter provides a tutorial introduction the the Larch Shared Language (LSL). It begins by systematically working through the features of the language, illustrating each with a short example. It…
Using LP to Debug LSL Specifications
- J. Guttag, J. Horning, Stephen J. Garland, Kevin D. Jones, A. Modet, Jeannette M. Wing
- Computer Science
- 1993
In earlier chapters, we have attempted to show how Larch can be used to write precise specifications. However, it is not sufficient for specifications to be precise; they should also accurately…
A Little Bit of Logic
- J. Guttag, J. Horning, Stephen J. Garland, K. Jones, A. Modet, Jeannette M. Wing
- Philosophy
- 1993
TLDR
An Introduction to Larch
- J. Guttag, J. Horning, Stephen J. Garland, K. Jones, A. Modet, Jeannette M. Wing
- Biology
- 1993
TLDR
Specifications in Program Development
- J. Guttag, J. Horning, Stephen J. Garland, K. Jones, A. Modet, Jeannette M. Wing
- Economics, Computer Science
- 1993
TLDR