Cover Image

First International Workshop on Larch : proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 /

Show other versions (1)

The Larch family of formal specification languages and tools was originally developed in the USA. Its user community has now spread to Europe and several industrial firms are interested in using it in their system development programs. It differs from the other "higher profile" languages s...

Full description

Bibliographic Details
Corporate Authors: International Workshop on Larch Dedham, Mass., SpringerLink (Online service)
Other Authors: Martin, Ursula, 1953-, Wing, Jeannette Marie
Format: Conference Proceeding eBook
Language:English
Published: London ; New York : Springer-Verlag, [1993]
Series:Workshops in computing.
Subjects:
Larch prover > Congresses.
Larch prover.
Automatic theorem proving > Congresses.
LARCH.
Dedham <Mass., 1992>.
Automatic theorem proving.
Electronic books.
Dedham (Mass., 1992)
Conference proceedings.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • Is engineering software amenable to formal specification? / J.W. Baugh Jr.
  • How to prove observational theorems with LP / M. Bidoit and R. Hennicker
  • Using SOS definitions in term rewriting proofs / K.-H. Buth
  • An exercise in LP : the proof of a non restoring division circuit / B. Chetali and P. Lescanne
  • Integrating ASSPEGIQUE and LP / C. Choppy and M. Bidoit
  • Mechanical verification of concurrent systems with TLA / U. Engberg, P. Grønning and L. Lamport
  • The DECspec project : tools for Larch/C / G. Feldman and J. Wild
  • Formal verification of Ada programs / D. Guaspari, C. Marceau and W. Polak
  • A semantics for Larch/Modula-3 interface language / K.D. Jones
  • Preliminary design of Larch/C++ / G.T. Leavens and Y. Cheon
  • Generating proof obligations for circuits / N. Mellergaard and J. Staunstrup
  • Using transformations and verification in circuit design / J.B. Saxe [and others]
  • Using LP to study the language PL[+ over o] / E.A. Scott and K.J. Norrie
  • Semantic analysis of Larch interface specifications / Y.M. Tan
  • Optimizing programs with partial specifications / M.T. Vandevoorde
  • A new front-end for the Larch Prover / F. Voisin
  • Thoughts on a Larch/ML and a new application for LP / J.M. Wing, E. Rollins and A. Moormann Zaremski.