lclint-interest message 95

From Mon Jul 22 12:36:53 1996
Date: Mon, 22 Jul 96 12:25:05 -0400
From: (David Evans)
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[.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

Previous Message Next Message Archive Summary LCLint Home Page David Evans
University of Virginia, Computer Science