Second Fuji International Workshop on Functional and Logic Programming : Shonan Village Center, Japan, Nov 1-4, 1996
著者
書誌事項
Second Fuji International Workshop on Functional and Logic Programming : Shonan Village Center, Japan, Nov 1-4, 1996
World Scientific, c1997
大学図書館所蔵 件 / 全6件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references
内容説明・目次
内容説明
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.
目次
- 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).
「Nielsen BookData」 より