Skip to main content
SpringerLink
Log in

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

  • Conference paper
  • First Online:
VDM '91 Formal Software Development Methods (VDM 1991)

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

Included in the following conference series:

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.

Unable to display preview. Download preview PDF.

Author information

Author notes

  1. John V. Guttag

    Present address: MIT LCS, 545 Technology Square, Cambridge, MA, USA

  2. James J. Horning

    Present address: DEC SRC, 130 Lytton Ave, Palo Alto, CA, USA

Authors and Affiliations

    Authors
    1. John V. Guttag
      View author publications

      You can also search for this author in PubMed Google Scholar

    2. 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

    © 1991 Springer-Verlag Berlin Heidelberg

    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:

    • 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

    Search

    Navigation