lclint-interest message 95

From evans@cs.virginia.edu Mon Jul 22 12:36:53 1996
Date: Mon, 22 Jul 96 12:25:05 -0400
From: evans@cs.virginia.edu (David Evans)
To: lclint-interest@larch.lcs.mit.edu
Cc: oh@cis.ohio-state.edu
In-Reply-To: Seung-Hong Oh's message of Sat, 20 Jul 1996 21:21:33 -0400 (EDT) 
Subject: Docs for LCL?


There is a syntax for LCL in
   ftp://ftp.sds.lcs.mit.edu/pub/lclint/lcl-syntax.ps[.gz].

The definitive reference on LCL is:

   Tan, Yang Meng.  Formal Specification Techniques for
   Engineering Modular C, Kluwer International Series in Software
   Engineering, Volume 1, Kluwer Academic Publishers, Boston, 1995.

There is also a chapter on LCL as well as an overview of the Larch
family of specification languages in:

   Guttag, John V. and Horning, James J., with Stephen J. Garland, 
   Kevin D. Jones, Andreas Modet, and Jeannette M. Wing, Larch:
   Languages and Tools for Formal Specification, Springer-Verlag, 
   Texts and Monographs in Computer Science, 1993.

(Sorry, neither of these is available electronically because of
publisher's copyrights.)

--- Dave