Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | 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 |
Larch |
1993 |
DBLP BibTeX RDF |
|
1 | Gary Feldman, Joseph Wild |
The DECspec Project: Tools for Larch/C. |
Larch |
1992 |
DBLP BibTeX RDF |
|
1 | Yang Meng Tan |
Semantic analysis of Larch Interface Specifications. |
Larch |
1992 |
DBLP BibTeX RDF |
|
1 | Frédéric Voisin |
A New Front-End for the Larch Prover. |
Larch |
1992 |
DBLP BibTeX RDF |
|
1 | Michel Bidoit, Rolf Hennicker |
How to Prove Observational Theorems with LP. |
Larch |
1992 |
DBLP BibTeX RDF |
|
1 | Kevin D. Jones |
A Semantics for a Larch/Modula-3 Interface Language. |
Larch |
1992 |
DBLP BibTeX RDF |
|
1 | Gary T. Leavens, Yoonsik Cheon |
Preliminary Design of Larch/C++. |
Larch |
1992 |
DBLP BibTeX RDF |
|
1 | Christine Choppy, Michel Bidoit |
Integrating ASSPEGIQUE and LP. |
Larch |
1992 |
DBLP BibTeX RDF |
|
1 | Niels Mellergaard, Jørgen Staunstrup |
Generating Proof Obligations for Circuits. |
Larch |
1992 |
DBLP BibTeX RDF |
|
1 | John W. Baugh Jr. |
Is Engineering Software Amenable to Formal Specification? |
Larch |
1992 |
DBLP BibTeX RDF |
|
1 | Boutheina Chetali, Pierre Lescanne |
An Exercise in LP: The Proof of a Non Restoring Division Circuit. |
Larch |
1992 |
DBLP BibTeX RDF |
|
1 | James B. Saxe, John V. Guttag, James J. Horning, Stephen J. Garland |
Using Transformations and Verification in Circuit Design. |
Larch |
1992 |
DBLP BibTeX RDF |
|
1 | Urban Engberg, Peter Grønning, Leslie Lamport |
Mechanical Verification of Concurrent Systems with TLA. |
Larch |
1992 |
DBLP BibTeX RDF |
|
1 | Mark T. Vandevoorde |
Optimizing Programs with Partial Specifications. |
Larch |
1992 |
DBLP BibTeX RDF |
|
1 | David Guaspari, Carla Marceau, Wolfgang Polak |
Formal Verification of Ada Programs. |
Larch |
1992 |
DBLP BibTeX RDF |
|
1 | Jeannette M. Wing, Eugene J. Rollins, Amy Moormann Zaremski |
Thoughts on a Larch/ML and a New Application for LP. |
Larch |
1992 |
DBLP BibTeX RDF |
|
1 | Karl-Heinz Buth |
Using SOS Definitions in Term Rewriting Proofs. |
Larch |
1992 |
DBLP BibTeX RDF |
|
1 | E. A. Scott, K. J. Norrie |
Using LP to Study the Language PL+0. |
Larch |
1992 |
DBLP BibTeX RDF |
|