Zusammenfassung
Die Eindeutigkeit rekursiver Funktionsdefinitionen erfordert eine Festlegung des Verhaltens bei nichtdefinierten Funktionsargumenten. Unter Berücksichtigung dieser Zusatzinformation entwickeln wir eine algebraische Darstellung von Fixpunkt- und Reduktionssemantik und beweisen ihre Äquivalenz. Wir stellen ferner eine deterministische Auswertungsstrategie vor, welche die bekannten call-by-name und call-by-value Strategien verallgemeinert.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Literatur
J.M. Cadiou. Recursive Definitions of Partial Functions and Their Computation. PhD thesis, Stanford University, 1972.
O. Chitil. The ς-semantics: A comprehensive semantics for functional programs. Fundamenta Informaticae, 31:253–294, 1997.
J.W. deBakker. Least fixed points revisited. Theor. Computer Science, 2:155–181, 1976.
J.A. Goguen, J.W. Thatcher, E.G. Wagner, and J.B. Wright. Initial algebra semantics and continuous algebras. Journal ACM, 24:68–95, 1977.
S.C. Kleene. Introduction to Metamathematics. North-Holland, Amsterdam, 1952.
Z. Manna. Mathematical Theory of Computation. McGraw-Hill, New York, 1974.
Z. Manna and J. Vuillemin. Fixpoint approach to the theory of computation. Comm. ACM, 15:528–536, 1972.
J. McCarthy. Recursive functions of symbolic expressions and their computation by machine, part i. Comm. ACM, 3:184–195, 1960.
D. Scott. Outline of a mathematical theory of computation. In Proc. of the 4th Annual Princeton Conference on Information Sciences and Systems, pages 169-176, Princeton, 1970.
D. Scott and C. Strachey. Towards a mathematical semantics for computer languages. In J. Fox, editor, Proc. Symp. Computers and Automata, pages 19-46, 1971.
G. Winskel. The Formal Semantics of Programming Languages. The MIT Press, Cambridge, Mass., 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1999 Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig/Wiesbaden
About this chapter
Cite this chapter
Indermark, K. (1999). Semantik rekursiver Funktionsdefinitionen mit Striktheitsinformation. In: Horster, P. (eds) Angewandte Mathematik, insbesondere Informatik. Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-322-83092-0_7
Download citation
DOI: https://doi.org/10.1007/978-3-322-83092-0_7
Publisher Name: Vieweg+Teubner Verlag
Print ISBN: 978-3-528-05720-6
Online ISBN: 978-3-322-83092-0
eBook Packages: Springer Book Archive