Preliminary Report on The Larch Shared Language (1983)
by
J. V. Guttag
,
J. J. Horning
| Citations: | 4 - 0 self |
BibTeX
@TECHREPORT{Guttag83preliminaryreport,
author = {J. V. Guttag and J. J. Horning},
title = {Preliminary Report on The Larch Shared Language},
institution = {},
year = {1983}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Each member of the Larch family of formal specification languages has a component derived from a programming language and another component common to all programming languages. We call the former interface languages, and the latter the Larch Shared Language.
Citations
| 130 | Putting theories together to make specifications - Burstall, Goguen - 1977 |
| 1 | Initial Algebra Approach to tht Specification, Correcmess, and Implementation of Abstract Dnta Types - Ooguen, Thatcher, et al. - 1978 |
| 1 | An Informal Introduction to Specifications Using CIF. AR - Bumall, Goguen - 1981 |
