horning@src.dec.com (Jim Horning) (07/11/90)
The following report will shortly be available. Single copies at no charge may be requested by mail to src-report@src.dec.com. DEC Systems Research Center Report 58 "Report on the Larch Shared Language, Version 2.3" John Guttag, James Horning, Andres Modet ABSTRACT: The Larch family of languages is used to specify program interfaces in a two-tiered definitional style. Each Larch specification has components written in two languages: one that is designed for a specific programming language and another that is independent of any programming language. The former are the Larch interface languages, and the latter is the Larch Shared Language (LSL). Version 2.3 of LSL is similar to previous versions, but contains a number of refinements based on experience writing specifications and developing tools to support the specification process. This report contains an informal introduction and a self-contained language definition.