"Report on the Larch Shared Language, Version 2.3"

Article View: comp.specification

Article #141

Back to comp.specification Previous Next

#141

From: 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.

Technical Details

Message-ID: <1990Jul10.125310.16887@src.dec.com>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!watserv1!watmath!att!bellcore!rutgers!mailrus!wuarchive!decwrl!bacchus.pa.dec.com!jumbo!jumbo!horning

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!watserv1!watmath!att!bellcore!rutgers!mailrus!wuarchive!decwrl!bacchus.pa.dec.com!jumbo!jumbo!horning
From: horning@src.dec.com (Jim Horning)
Newsgroups: comp.specification
Subject: "Report on the Larch Shared Language, Version 2.3"
Keywords: Larch, algebraic specification, formal methods.
Message-ID: <1990Jul10.125310.16887@src.dec.com>
Date: 10 Jul 90 19:53:10 GMT
Sender: horning@src.dec.com (Jim Horning)
Followup-To: src-report@src.dec.com
Organization: DEC Systems Research Center, Palo Alto
Lines: 17