[Prev][Next][Index]

Re: MS Thesis on formal object transformations using Larch

Catherine,

The largest repository of Larch tools (with documentation) is available for
anonymous FTP from MIT, specifically, node larch.lcs.mit.edu, directory
pub/Larch.  (Start with the README file.)  You will find there full
implementations of the Larch Shared Language and LCL (a Larch/C interface
language), LCLint (a tool for static analysis checking C code against
specifications), and LP (the Larch Prover).

If you have access to the World-Wide Web (e.g., through Mosaic or Lynx),
the Larch Home Page is at URL

    http://larch-www.lcs.mit.edu:8001/larch/

There are also a couple of books that you might find helpful:

@book{GHGJMW93,
	title = 	"Larch: Languages and Tools for Formal Specification",
	author = 	"John V. Guttag and James J. Horning,
                         with S.J. Garland, K.D. Jones, A. Modet,
                         and J. M. Wing",
	year = 		1993,
	publisher = 	"Springer-Verlag",
	series = 	"Texts and Monographs in Computer Science",
	note = 		"{ISBN 0-387-94006-5/ISBN 3-540-94006-5}"
}
@book{MW92,
	title = 	"First International Workshop on Larch, Dedham 1992",
	author = 	"Ursula Martin and Jeannette M. Wing (Eds.)",
	year = 		1993,
	publisher = 	"Springer-Verlag",
	series = 	"Workshops in Computing",
	note = 		"{ISBN 3-540-19804-0/ISBN 0-387-19804-0}"
}

Hope this is of use,

Jim H.