Abstract
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’.
This work was supported in part by an SERC grant.
Chapter PDF
Similar content being viewed by others
Keywords
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
Beeson M.J., Foundations of Constructive Mathematics, Springer-Verlag, 1985
Cartwright R. and Donahue J., The Semantics of Lazy (and Industrious) Evaluation, ACM Symposium on Lisp and Functional Programming (1982), pp 253–264
Henderson P., Functional Programming: Application and Implementation, Prentice-Hall International, 1980
Henderson P., me too — a Language for Software Specification and Model Building, Report FPN-9, Department of Computing Science, University of Stirling
Paulson L., The Revised Logic PPLAMBDA: A Reference Manual, Technical Report No. 36, Computer Laboratory, University of Cambridge, 1983
Stoy J.E., Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, 1977
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Naftalin, M. (1986). An experiment in practical semantics. In: Robinet, B., Wilhelm, R. (eds) ESOP 86. ESOP 1986. Lecture Notes in Computer Science, vol 213. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16442-1_11
Download citation
DOI: https://doi.org/10.1007/3-540-16442-1_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16442-5
Online ISBN: 978-3-540-39782-3
eBook Packages: Springer Book Archive