"Report on the Larch Shared Language, Version 2.3"

Thread View: comp.specification

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Jim Horning Tue, 10 Jul 1990 19:53

#141

Author: Jim Horning
Date: Tue, 10 Jul 1990 19:53

17 lines
1497 bytes

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.

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads