This book discusses issues concerning functional programming, logic programming, and integration of the two. The topics include language design, formal semantics, compilation techniques, program transformation, programming methods, integration of programming paradigms, constraint solving, and concurrency.Contents:Mathematica as a Rewrite Language (B Buchberger)Strong Completeness of a Lazy Conditional Narrowing Calculus (M Hamada & A Middeldorp)The Design and Implementation of Mondrian (E Meijer et al)A Functional Perspective of Array Primitives (T-R Chuang)Curry - A Truly Functional Logic Language (M Hanus)On the Inference of Structured Recursive Effects with Subtyping (M Debbabi et al)Temporal Semantics of a Concurrency Monad with Choice and Services (T Frauenstein et al)Interactive Functional Programming (H Barendregt)Algebraic Semantics for Higher-Order Functional-Logic Programming (M Hamana)Higher-Order Functional-Logic Programming: A Systematic Development (C Prehofer)Currying Multi Methods in a Merge Calculus (H Tsuiki)and other papersReadership: Scientists and engineers in computer science, software engineering/programming and theoretical foundations of computer science.
