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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Larch ![Springer, 3-540-19804-0 The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Gary Feldman, Joseph Wild |
The DECspec Project: Tools for Larch/C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Larch ![In: First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992, pp. 98-103, 1992, Springer, 3-540-19804-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Yang Meng Tan |
Semantic analysis of Larch Interface Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Larch ![In: First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992, pp. 246-261, 1992, Springer, 3-540-19804-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Frédéric Voisin |
A New Front-End for the Larch Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Larch ![In: First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992, pp. 282-296, 1992, Springer, 3-540-19804-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Michel Bidoit, Rolf Hennicker |
How to Prove Observational Theorems with LP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Larch ![In: First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992, pp. 18-35, 1992, Springer, 3-540-19804-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Kevin D. Jones |
A Semantics for a Larch/Modula-3 Interface Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Larch ![In: First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992, pp. 142-158, 1992, Springer, 3-540-19804-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Gary T. Leavens, Yoonsik Cheon |
Preliminary Design of Larch/C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Larch ![In: First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992, pp. 159-184, 1992, Springer, 3-540-19804-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Christine Choppy, Michel Bidoit |
Integrating ASSPEGIQUE and LP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Larch ![In: First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992, pp. 69-85, 1992, Springer, 3-540-19804-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Niels Mellergaard, Jørgen Staunstrup |
Generating Proof Obligations for Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Larch ![In: First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992, pp. 185-200, 1992, Springer, 3-540-19804-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | John W. Baugh Jr. |
Is Engineering Software Amenable to Formal Specification? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Larch ![In: First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992, pp. 1-17, 1992, Springer, 3-540-19804-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Boutheina Chetali, Pierre Lescanne |
An Exercise in LP: The Proof of a Non Restoring Division Circuit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Larch ![In: First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992, pp. 55-68, 1992, Springer, 3-540-19804-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | James B. Saxe, John V. Guttag, James J. Horning, Stephen J. Garland |
Using Transformations and Verification in Circuit Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Larch ![In: First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992, pp. 201-226, 1992, Springer, 3-540-19804-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Urban Engberg, Peter Grønning, Leslie Lamport |
Mechanical Verification of Concurrent Systems with TLA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Larch ![In: First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992, pp. 86-97, 1992, Springer, 3-540-19804-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Mark T. Vandevoorde |
Optimizing Programs with Partial Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Larch ![In: First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992, pp. 262-281, 1992, Springer, 3-540-19804-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | David Guaspari, Carla Marceau, Wolfgang Polak |
Formal Verification of Ada Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Larch ![In: First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992, pp. 104-141, 1992, Springer, 3-540-19804-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Larch ![In: First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992, pp. 297-312, 1992, Springer, 3-540-19804-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Karl-Heinz Buth |
Using SOS Definitions in Term Rewriting Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Larch ![In: First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992, pp. 36-54, 1992, Springer, 3-540-19804-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | E. A. Scott, K. J. Norrie |
Using LP to Study the Language PL+0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Larch ![In: First International Workshop on Larch, Proceedings of the first First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992, pp. 227-245, 1992, Springer, 3-540-19804-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|