A Semantics for a Larch/Modula-3 Interface Language

  • Kevin D. Jones
Conference paper
Part of the Workshops in Computing book series (WORKSHOPS COMP.)

Abstract

We describe a method for giving a semantics to a Larch interface language specification by a translation of the specification into typed first-order logic. This is illustrated using LM3, a Larch/Modula-3 interface language.

We show that a side effect of this approach to semantics gives an easy way of using existing Larch tools to check the type/sort correctness of a specification in the interface language.

Keywords

Global State State Component Object Type Interface Specification Entire Variable 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    S.J. Garland and J.V. Guttag. “ An Overview of LP, The Larch Prover”, Proceedings of the Third International Conference on Rewriting. Techniques and Applications, Chapel Hill, N.C. Lecture Notes in Computer Science 355, Springer-Verlag, 1989, 137–151.Google Scholar
  2. [2]
    J.V. Guttag, J.J. Horning (eds.). Larch: Languages and Tools for Formal Specification. Springer-Verlag, 1993 (forthcoming)MATHCrossRefGoogle Scholar
  3. [3]
    J.V. Guttag and J.J. Horning. LCL: A Larch Interface Language for C. Report 74, DEC Systems Research Center, Palo Alto, CA, Jul. 1991.Google Scholar
  4. [4]
    J.V. Guttag, J.J. Horning, and Andrés Modet. Report on the Larch Shared Language: Version 2.3. Report 58, DEC Systems Research Center, Palo Alto, CA, Apr. 14, 1990.Google Scholar
  5. [5]
    Samuel P. Harbison. Modula-3. Prentice Hall, 1992Google Scholar
  6. [6]
    Kevin D. Jones. LM3: A Larch Interface Language for Modula-3: Version 1.0. Report 72, DEC Systems Research Center, Palo Alto, CA, Jun. 1991.Google Scholar
  7. [7]
    Kevin D. Jones, LM3 Reference Manual, in preparation.Google Scholar
  8. [8]
    Greg Nelson (ed.). Systems Programming with Modula-3. Prentice Hall, Englewood Cliffs, 1991.Google Scholar
  9. [9]
    J.M. Wing. A Two-Tiered Approach to Specifying Programs. Technical Report MIT/LCS/TR-299, MIT, 1983. Ph.D. thesis, MIT EECS, May 1983.Google Scholar
  10. [10]
    A Larch Shared Language Handbook. in [2]Google Scholar

Copyright information

© Springer-Verlag London 1993

Authors and Affiliations

  • Kevin D. Jones
    • 1
  1. 1.Systems Research CenterDigital Equipment Corp.Palo AltoUSA

Personalised recommendations