Abstract
This chapter describes much of LM3, version 1.1, and gives an informal description of its semantics. It skims somewhat rapidly over the role of the LSL specification tier, which is quite similar to that for LCL, as discussed in the previous chapter.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag New York, Inc.
About this chapter
Cite this chapter
Guttag, J.V., Horning, J.J., Garland, S.J., Jones, K.D., Modet, A., Wing, J.M. (1993). LM3: A Larch Interface Language for Modula-3. In: Larch: Languages and Tools for Formal Specification. Texts and Monographs in Computer Science. Springer, New York, NY. https://doi.org/10.1007/978-1-4612-2704-5_6
Download citation
DOI: https://doi.org/10.1007/978-1-4612-2704-5_6
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4612-7636-4
Online ISBN: 978-1-4612-2704-5
eBook Packages: Springer Book Archive