Download (1405Kb)

LITERATURVERZEICHNIS 183
[Dow&Se76] P. J. Downey, R. Sethi: Correct Computation Rules for Recursive Languages;
SIAM J. Comput., Vol. 5, No. 3, September 1976, S. 378 – 401.
[Fehr89] E. Fehr: Semantik von Programmiersprachen, Kapitel 3: Mathematische Grundlagen;
Springer-Verlag, 1989.
[Fie&Har88] A. F. Field, P.G. Harrison: Functional Programming; Addison-Wesley, 1988.
[Gue81] I. Guessarian: Algebraic Semantics ; LNCS 99, 1981.
[Gut77] J. V. Guttag: Abstract Data Types and the Development of Data Structures;
Comm. ACM 20 (6), Juni 1977, S. 396 – 404.
[Gut&Hor78] J. V. Guttag, J. J. Horning: The Algebraic Specification of Abstract Data Types ;
Acta Informatica 10, 1978, S. 27 – 52.
[Hermes78] H. Hermes: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit; Springer-Verlag,
3. Auflage, 1978.
[Hof&Kut89] D. Hofbauer, R.-D. Kutsche: Grundlagen des maschinellen Beweisens ; Vieweg
Verlag, 2. Auflage, 1991, S. 113 – 154.
[Huet&Lank78] G. Huet, D. Lankford: On the uniform halting problem for term rewriting systems
; Rapport de Recherche N o 283, INRIA, März 1978.
[Huet&Lévy79] G. Huet, J.-J. Lévy: Computations in Orthogonal Rewriting Systems I + II ; J.-L.
Lassez, G. Plotkin (ed.): Computational Logic – Essays in Honor of Alan Robinson,
MIT Press, 1991, S. 395 – 443; Orginalversion: Call by Need Computations
in Non-Ambiguous Term Rewriting Systems, Report 359, INRIA, 1979.
[Huet80] G. Huet: Confluent Reductions: Abstract Properties and Applications to Term
Rewriting Systems ; JACM , Vol. 27, Nr. 4, 1980, S. 797 – 821.
[Huet&Op80] G. Huet, D.C. Oppen: Equations and Rewrite Rules: A Survey; in: R. Book
(ed.): Formal Language Theory: Perspectives and Open Problems, Academic
Press, 1980, S. 349 – 405.
[Hup78] U. L. Hupbach: Rekursive Funktionen in mehrsortigen Peano-Algebren; Elektronische
Informationsverarbeitung und Kybernetik 14 (10), 1978, S. 491 – 506.
[Ind90] K. Indermark: Universelle Algebra; Vorlesungsskript, SS 1990.
[Ind93] K. Indermark: Funktionale Programmierung; Vorlesungsskript, SS 1993.
[Ind94] K. Indermark: Programmschemata; Vorlesungsskript, SS 1994.
[Jou&Kir91] J.-P. Jouannaud, C. Kirchner: Solving Equations in Abstract Algebras: A Rule-
Based Survey of Unification ; J.-L. Lassez, G. Plotkin (ed.): Computational Logic
– Essays in Honor of Alan Robinson, MIT Press, 1991, S. 257 – 321.
[Kahn&Plot78] G. Kahn, G. Plotkin: Concrete Domains ; Theoretical Computer Science 121 (1-
2), 1993, S. 187 – 277; Orginalversion: Structures de données conrètes; Rapport
IRIA-LABORIA 336, 1978.