A tutorial on Larch and LCL, a Larch/C interface language

Guttag, John V.; Horning, James J.

doi:10.1007/BFb0019995

John V. Guttag^nAff1 &
James J. Horning^nAff2

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 552))

Included in the following conference series:

International Symposium of VDM Europe

159 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Author information

John V. Guttag
Present address: MIT LCS, 545 Technology Square, Cambridge, MA, USA
James J. Horning
Present address: DEC SRC, 130 Lytton Ave, Palo Alto, CA, USA

Authors and Affiliations

Authors

John V. Guttag
View author publications
You can also search for this author in PubMed Google Scholar
James J. Horning
View author publications
You can also search for this author in PubMed Google Scholar

Editor information

Søren Prehn Hans Toetenel

Rights and permissions

Reprints and permissions

Copyright information

About this paper

Cite this paper

Guttag, J.V., Horning, J.J. (1991). A tutorial on Larch and LCL, a Larch/C interface language. In: Prehn, S., Toetenel, H. (eds) VDM '91 Formal Software Development Methods. VDM 1991. Lecture Notes in Computer Science, vol 552. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0019995

Download citation

DOI: https://doi.org/10.1007/BFb0019995
Published: 11 June 2005
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54868-3
Online ISBN: 978-3-540-46456-3
eBook Packages: Springer Book Archive

Publish with us

Policies and ethics