Functional and Logic Programming: Proceedings of the Second Fuji International Workshop, Shonan Village Center, Japan, 1-4 November 1996

Functional and Logic Programming: Proceedings of the Second Fuji International Workshop, Shonan Village Center, Japan, 1-4 November 1996

By: M. Takeichi (editor), A. Ohori (editor), T. Ida (volume_editor), etc. (volume_editor)Hardback

Up to 2 WeeksUsually despatched within 2 weeks

Description

This book discusses issues concerning functional programming, logic programming and integration of the two. The topics include language design, formal semantics, compilation techniques, programme transformation, programming methods, integration of programming paradigms, constraint solving and concurrency.

Contents

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).

Product Details

  • ISBN13: 9789810229238
  • Format: Hardback
  • Number Of Pages: 328
  • ID: 9789810229238
  • ISBN10: 9810229232

Delivery Information

  • Saver Delivery: Yes
  • 1st Class Delivery: Yes
  • Courier Delivery: Yes
  • Store Delivery: Yes

Prices are for internet purchases only. Prices and availability in WHSmith Stores may vary significantly

Close