Advertisement

Semantik rekursiver Funktionsdefinitionen mit Striktheitsinformation

  • Klaus Indermark

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. [1]
    J.M. Cadiou. Recursive Definitions of Partial Functions and Their Computation. PhD thesis, Stanford University, 1972.Google Scholar
  2. [2]
    O. Chitil. The ς-semantics: A comprehensive semantics for functional programs. Fundamenta Informaticae, 31:253–294, 1997.MathSciNetzbMATHGoogle Scholar
  3. [3]
    J.W. deBakker. Least fixed points revisited. Theor. Computer Science, 2:155–181, 1976.MathSciNetCrossRefGoogle Scholar
  4. [4]
    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.MathSciNetzbMATHCrossRefGoogle Scholar
  5. [5]
    S.C. Kleene. Introduction to Metamathematics. North-Holland, Amsterdam, 1952.zbMATHGoogle Scholar
  6. [6]
    Z. Manna. Mathematical Theory of Computation. McGraw-Hill, New York, 1974.zbMATHGoogle Scholar
  7. [7]
    Z. Manna and J. Vuillemin. Fixpoint approach to the theory of computation. Comm. ACM, 15:528–536, 1972.MathSciNetzbMATHCrossRefGoogle Scholar
  8. [8]
    J. McCarthy. Recursive functions of symbolic expressions and their computation by machine, part i. Comm. ACM, 3:184–195, 1960.zbMATHCrossRefGoogle Scholar
  9. [9]
    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.Google Scholar
  10. [10]
    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.Google Scholar
  11. [11]
    G. Winskel. The Formal Semantics of Programming Languages. The MIT Press, Cambridge, Mass., 1993.zbMATHGoogle Scholar

Copyright information

© Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig/Wiesbaden 1999

Authors and Affiliations

  • Klaus Indermark
    • 1
  1. 1.Lehrstuhl für Informatik IIRWTH AachenDeutschland

Personalised recommendations