Muutke küpsiste eelistusi

Functional And Logic Programming - Proceedings Of The Second Fuji International Workshop [Kõva köide]

Edited by (Univ Of Tokyo, Japan), Edited by (Jaist, Japan), Edited by (Univ Of Tesukuba, Japan)
  • Formaat: Hardback, 328 pages
  • Ilmumisaeg: 18-Mar-1997
  • Kirjastus: World Scientific Publishing Co Pte Ltd
  • ISBN-10: 9810229232
  • ISBN-13: 9789810229238
Teised raamatud teemal:
Functional And Logic Programming - Proceedings Of The Second Fuji International WorkshopSuurem pilt
  • Formaat: Hardback, 328 pages
  • Ilmumisaeg: 18-Mar-1997
  • Kirjastus: World Scientific Publishing Co Pte Ltd
  • ISBN-10: 9810229232
  • ISBN-13: 9789810229238
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9789810229238.html
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.
Foreword vii Invited talk (1) 1(13) Mathematica as a Rewrite Language 1(13) Bruno Buchberger (Univ. Linz) Rewriting and Constraint Solving 14(55) Strong Completeness of a Lazy Conditional Narrowing Calculus 14(19) Mohamed Hamada Aart Middeldorp (Univ. Tsukuba) Extension of WAM for a Linear Logic Programming Language 33(18) Naoyuki Tamura Yukio Kaneda (Kobe Univ.) A Computational Study of Two Cumulative Scheduling Problems 51(18) Hendrik C. R. Lock (Univ. Karlsruhe) Invited Talk (2) 69(2) The Design and Implementation of Mondrian 69(2) Erik Meijer (Oregon Graduate Inst. & Utrecht Univ.) Joost van Dijk (Utrecht Univ.) Koen Claessen (Oregon Graduate Inst. & Utrecht Univ.) Arjan van Yzendoorn (Utrecht Univ.) Functional Programming 71(52) A Functional Perspective of Array Primitives 71(20) Tyng-Ruey Chuang (Academia Sinica, Taiwan) An Extension of the Acid Rain Theorem 91(15) Zhenjiang Hu Hideya Iwasaki Masato Takeichi (Univ. Tokyo) A New Formulation of the Catch/Throw Mechanism 106(17) Yukiyoshi Kameyama (Kyoto Univ.) Tutorial Lecture Curry -- A Truly Functional Logic Language Michael Hanus (RWTH Aachen) Program Analysis 123(40) On the Inference of Structured Recursive Effects with Subtyping 123(20) Mourad Debbabi Zahia Aidoud Ali Faour (Laval Univ.) Slicing Concurrent Logic Programs 143(20) Jianjun Zhao Jingde Cheng Kazuo Ushijima (Kyushu Univ.) Concurrency 163(29) Temporal Semantics of a Concurrency Monad with Choice and Services 163(13) Thomas Frauenstein Wolfgang Grieskamp Mario Suedholt (Technical Univ. Berlin) Concurrent Programming Using Traces in HASKELL 176(16) Victor M. Gulias Juan J. Quintela Jose L. Freire (Univ. La Coruna) Invited Talk (3) 192(2) Interactive Functional Programming 192(2) Henk Barendregt (Univ. Nijmegen) Semantics and Logic 194(52) Algebraic Semantics for Higher-Order Functional-Logic Programming 194(16) Makoto Hamana (Univ. Tsukuba) Subtype Relations Yielding Filter Lambda-Models 210(20) Toshihiko Kurata (Tokyo Institute of Technology) Bohm Trees, Bisimulations and Observations in Lambda Calculus 230(16) Fer-Jan de Vries (ETL) Invited Talk (4) 246(20) Higher-Order Functional-Logic Programming: A Systematic Development 246(20) Christian Prehofer (Technical Univ. Munchen) Type Systems 266 Currying Multi Methods in a Merge Calculus 266(20) Hideki Tsuiki (Kyoto Sangyo Univ.) Type Inference for the Mixture of Matching and Implicit Subtyping 286(15) Koji Kagawa (Kagawa Univ.) Compilation Based on a Calculus for Explicit Type Passing 301 Yasuhiko Minamide (Kyoto Univ.)