Functional And Logic Programming - Proceedings Of The Second Fuji International Workshop
Will be published approx. on 18. March 1997
Book
Hardback
328 pages
978-981-02-2923-8 (ISBN)
Description
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.
More details
Language
English
Place of publication
Singapore
Singapore
Target group
College/higher education
Professional and scholarly
Product notice
sewn/stitched
Cloth over boards
ISBN-13
978-981-02-2923-8 (9789810229238)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Persons
Content
Mathematics as a rewrite language, B. Buchberger; strong completeness of a lazy conditional narrowing calculus, M. Hamada and A. Middledorp; 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 multimethods in a merge calculus, H. Tsuiki. (Part contents).