An experiment in practical semantics

  • Maurice Naftalin
Part of the Lecture Notes in Computer Science book series (LNCS, volume 213)


me too is a functional language in which executable specifications of software components are constructed from abstract models and operations defined on them. The principal data type provided by the language is the set. This paper examines in detail the extent to which the objects manipulated by me too programs do in fact behave like the mathematical ideal of sets. It draws conclusions about the design of the language, and about the feasibility of such projects in ‘applied semantics’.


Type Scheme Proof Assistant Denotational Semantic Finite Function Execution Semantic 
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.

8 References

  1. [Beeson 85]
    Beeson M.J., Foundations of Constructive Mathematics, Springer-Verlag, 1985Google Scholar
  2. [Cartwright 82]
    Cartwright R. and Donahue J., The Semantics of Lazy (and Industrious) Evaluation, ACM Symposium on Lisp and Functional Programming (1982), pp 253–264Google Scholar
  3. [Henderson 80]
    Henderson P., Functional Programming: Application and Implementation, Prentice-Hall International, 1980Google Scholar
  4. [Henderson 84]
    Henderson P., me too — a Language for Software Specification and Model Building, Report FPN-9, Department of Computing Science, University of StirlingGoogle Scholar
  5. [Paulson 83]
    Paulson L., The Revised Logic PPLAMBDA: A Reference Manual, Technical Report No. 36, Computer Laboratory, University of Cambridge, 1983Google Scholar
  6. [Stoy 77]
    Stoy J.E., Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, 1977Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Maurice Naftalin
    • 1
  1. 1.Department of Computing ScienceUniversity of StirlingStirlingScotland

Personalised recommendations