On functional logic programming and its application to testing [Elektronische Ressource] / Sebastian Fischer

On Functional Logic Programmingand its Application to TestingDissertationzur Erlangung des akademischen GradesDoktor der Naturwissenschaften(Dr. rer. nat.)der Technischen Fakultätder Christian-Albrechts-Universität zu KielSebastian FischerKiel, 20101. Gutachter Prof. Dr. Michael Hanus2. Gutachter Prof. Dr. Herbert Kuchen3. Gutachter Priv.-Doz. Dr. Frank HuchDatum der mündlichen Prüfung 27. Mai 2010iiIn Deiner Sprache saßen andere Augen.Klavki, †2009iiiivContents1 Introduction 11.1 Syntax of programs . . . . . . . . . . . . . . . . . . . . . . . 11.2 Organisational remarks . . . . . . . . . . . . . . . . . . . . . 42 Declarative Programming 52.1 Functional programming . . . . . . . . . . . . . . . . . . . . 62.1.1 Type polymorphism and higher-order functions . . . . 72.1.2 Lazy evaluation . . . . . . . . . . . . . . . . . . . . . 92.1.3 Class-based overloading . . . . . . . . . . . . . . . . 112.1.4 Summary . . . . . . . . . . . . . . . . . . . . . . . . 192.2 Functional logic programming . . . . . . . . . . . . . . . . . 192.2.1 Logic variables . . . . . . . . . . . . . . . . . . . . . 202.2.2 Nondeterminism . . . . . . . . . . . . . . . . . . . . 212.2.3 Lazy nondeterminism . . . . . . . . . . . . . . . . . . 232.2.4 Call-time choice . . . . . . . . . . . . . . . . . . . . . 252.2.5 Search . . . . . . . . . . . . . . . . . . . . . . . . . . 292.2.6 Constraints . . . . . . . . . . . . . . . . . . . . . . . 312.2.7 Summary . . . . . . . . .