Conferences in DBLP

International Workshop on Larch (larch)
1992 (conf/larch/1992)

1. John W. Baugh Jr.
   Is Engineering Software Amenable to Formal Specification? [Citation Graph (0, 0)][DBLP]
   Larch, 1992, pp:1-17 [Conf]
   
2. Michel Bidoit, Rolf Hennicker
   How to Prove Observational Theorems with LP. [Citation Graph (0, 0)][DBLP]
   Larch, 1992, pp:18-35 [Conf]
   
3. Karl-Heinz Buth
   Using SOS Definitions in Term Rewriting Proofs. [Citation Graph (0, 0)][DBLP]
   Larch, 1992, pp:36-54 [Conf]
   
4. Boutheina Chetali, Pierre Lescanne
   An Exercise in LP: The Proof of a Non Restoring Division Circuit. [Citation Graph (0, 0)][DBLP]
   Larch, 1992, pp:55-68 [Conf]
   
5. Christine Choppy, Michel Bidoit
   Integrating ASSPEGIQUE and LP. [Citation Graph (0, 0)][DBLP]
   Larch, 1992, pp:69-85 [Conf]
   
6. Urban Engberg, Peter Grønning, Leslie Lamport
   Mechanical Verification of Concurrent Systems with TLA. [Citation Graph (0, 0)][DBLP]
   Larch, 1992, pp:86-97 [Conf]
   
7. Gary Feldman, Joseph Wild
   The DECspec Project: Tools for Larch/C. [Citation Graph (0, 0)][DBLP]
   Larch, 1992, pp:98-103 [Conf]
   
8. David Guaspari, Carla Marceau, Wolfgang Polak
   Formal Verification of Ada Programs. [Citation Graph (0, 0)][DBLP]
   Larch, 1992, pp:104-141 [Conf]
   
9. Kevin D. Jones
   A Semantics for a Larch/Modula-3 Interface Language. [Citation Graph (0, 0)][DBLP]
   Larch, 1992, pp:142-158 [Conf]
   
10. Gary T. Leavens, Yoonsik Cheon
    Preliminary Design of Larch/C++. [Citation Graph (0, 0)][DBLP]
    Larch, 1992, pp:159-184 [Conf]
    
11. Niels Mellergaard, Jørgen Staunstrup
    Generating Proof Obligations for Circuits. [Citation Graph (0, 0)][DBLP]
    Larch, 1992, pp:185-200 [Conf]
    
12. James B. Saxe, John V. Guttag, James J. Horning, Stephen J. Garland
    Using Transformations and Verification in Circuit Design. [Citation Graph (0, 0)][DBLP]
    Larch, 1992, pp:201-226 [Conf]
    
13. E. A. Scott, K. J. Norrie
    Using LP to Study the Language PL⁺₀. [Citation Graph (0, 0)][DBLP]
    Larch, 1992, pp:227-245 [Conf]
    
14. Yang Meng Tan
    Semantic analysis of Larch Interface Specifications. [Citation Graph (0, 0)][DBLP]
    Larch, 1992, pp:246-261 [Conf]
    
15. Mark T. Vandevoorde
    Optimizing Programs with Partial Specifications. [Citation Graph (0, 0)][DBLP]
    Larch, 1992, pp:262-281 [Conf]
    
16. Frédéric Voisin
    A New Front-End for the Larch Prover. [Citation Graph (0, 0)][DBLP]
    Larch, 1992, pp:282-296 [Conf]
    
17. Jeannette M. Wing, Eugene J. Rollins, Amy Moormann Zaremski
    Thoughts on a Larch/ML and a New Application for LP. [Citation Graph (0, 0)][DBLP]
    Larch, 1992, pp:297-312 [Conf]