SRC Research Report 58

Report on the Larch Shared Language: Version 2.3

John V. Guttag, James J. Horning, Andres Modet

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.

This report supersedes Pieces II and III of Larch in Five Easy Pieces, SRC Report 5, by J. Guttag, J. Horning, and J. Wing.

Back to the SRC Research Reports main page.

• PostScript compressed with UNIX compress -- 96 Kbytes
  
• PostScript compressed with GNU compress (gzip) -- 72 Kbytes
  
• PostScript compressed with ZIP -- 73 Kbytes
  
• PostScript -- 248 Kbytes
  
• Portable Document Format (PDF) -- 256 Kbytes