Semantik rekursiver Funktionsdefinitionen mit Striktheitsinformation

Klaus Indermark

           Die Eindeutigkeit rekursiver Funktionsdefinitionen erfordert
           eine Festlegung des Verhaltens bei nicht-definierten
           Funktionsargumenten.  Unter Ber{\"u}cksichtigung dieser
           Zusatzinformation entwickeln wir eine algebraische Darstellung
           von Fixpunkt- und Reduktionssemantik und beweisen ihre
           {\"A}quivalenz. Wir stellen ferner eine deterministische
           Auswertungsstrategie vor, welche die bekannten call-by-name
           und call-by-value Strategien verallgemeinert.