default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1. International Workshop on Larch 1992: Dedham, Massachusetts, USA
- Ursula Martin, Jeannette M. Wing:
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 - John W. Baugh Jr.:
Is Engineering Software Amenable to Formal Specification? Larch 1992: 1-17 - Michel Bidoit, Rolf Hennicker:
How to Prove Observational Theorems with LP. Larch 1992: 18-35 - Karl-Heinz Buth:
Using SOS Definitions in Term Rewriting Proofs. Larch 1992: 36-54 - Boutheina Chetali, Pierre Lescanne:
An Exercise in LP: The Proof of a Non Restoring Division Circuit. Larch 1992: 55-68 - Christine Choppy, Michel Bidoit:
Integrating ASSPEGIQUE and LP. Larch 1992: 69-85 - Urban Engberg, Peter Grønning, Leslie Lamport:
Mechanical Verification of Concurrent Systems with TLA. Larch 1992: 86-97 - Gary Feldman, Joseph Wild:
The DECspec Project: Tools for Larch/C. Larch 1992: 98-103 - David Guaspari, Carla Marceau, Wolfgang Polak:
Formal Verification of Ada Programs. Larch 1992: 104-141 - Kevin D. Jones:
A Semantics for a Larch/Modula-3 Interface Language. Larch 1992: 142-158 - Gary T. Leavens, Yoonsik Cheon:
Preliminary Design of Larch/C++. Larch 1992: 159-184 - Niels Mellergaard, Jørgen Staunstrup:
Generating Proof Obligations for Circuits. Larch 1992: 185-200 - James B. Saxe, John V. Guttag, James J. Horning, Stephen J. Garland:
Using Transformations and Verification in Circuit Design. Larch 1992: 201-226 - E. A. Scott, K. J. Norrie:
Using LP to Study the Language PL+0. Larch 1992: 227-245 - Yang Meng Tan:
Semantic analysis of Larch Interface Specifications. Larch 1992: 246-261 - Mark T. Vandevoorde:
Optimizing Programs with Partial Specifications. Larch 1992: 262-281 - Frédéric Voisin:
A New Front-End for the Larch Prover. Larch 1992: 282-296 - Jeannette M. Wing, Eugene J. Rollins, Amy Moormann Zaremski:
Thoughts on a Larch/ML and a New Application for LP. Larch 1992: 297-312
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-25 20:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
