Ursula Martin, Jeannette M. Wing (Eds.):
First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992.
Workshops in Computing Springer 1993, ISBN 3-540-19804-0 
@proceedings{DBLP:conf/larch/1992,
editor = {Ursula Martin and
Jeannette M. Wing},
title = {First International Workshop on Larch, Proceedings of the first
First International Workshop on Larch, Dedham, Massachusetts,
USA, 13-15 July 1992},
booktitle = {Larch},
publisher = {Springer},
series = {Workshops in Computing},
year = {1993},
isbn = {3-540-19804-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- John W. Baugh Jr.:
Is Engineering Software Amenable to Formal Specification?
1-17
- Michel Bidoit, Rolf Hennicker:
How to Prove Observational Theorems with LP.
18-35
- Karl-Heinz Buth:
Using SOS Definitions in Term Rewriting Proofs.
36-54
- Boutheina Chetali, Pierre Lescanne:
An Exercise in LP: The Proof of a Non Restoring Division Circuit.
55-68
- Christine Choppy, Michel Bidoit:
Integrating ASSPEGIQUE and LP.
69-85
- Urban Engberg, Peter Grønning, Leslie Lamport:
Mechanical Verification of Concurrent Systems with TLA.
86-97
- Gary Feldman, Joseph Wild:
The DECspec Project: Tools for Larch/C.
98-103
- David Guaspari, Carla Marceau, Wolfgang Polak:
Formal Verification of Ada Programs.
104-141
- Kevin D. Jones:
A Semantics for a Larch/Modula-3 Interface Language.
142-158
- Gary T. Leavens, Yoonsik Cheon:
Preliminary Design of Larch/C++.
159-184
- Niels Mellergaard, Jørgen Staunstrup:
Generating Proof Obligations for Circuits.
185-200
- James B. Saxe, John V. Guttag, James J. Horning, Stephen J. Garland:
Using Transformations and Verification in Circuit Design.
201-226
- E. A. Scott, K. J. Norrie:
Using LP to Study the Language PL+0.
227-245
- Yang Meng Tan:
Semantic analysis of Larch Interface Specifications.
246-261
- Mark T. Vandevoorde:
Optimizing Programs with Partial Specifications.
262-281
- Frédéric Voisin:
A New Front-End for the Larch Prover.
282-296
- Jeannette M. Wing, Eugene J. Rollins, Amy Moormann Zaremski:
Thoughts on a Larch/ML and a New Application for LP.
297-312
Last update Fri May 25 08:25:00 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
