Research Catalog

Title

Fuji International Workshop on functional and logic programming : Susono, Japan, July 17-19, 1995 / editors, Masato Takeichi, Tetsuo Ida.

Author

Fuji International Workshop on Functional and Logic Programming (1995 : Susono-shi, Japan)

Publication

Singapore ; New Jersey : World Scientific, [1995], ©1995.

Items in the Library & Off-site

Details

Additional Authors

• Takeichi, Masato.
• Ida, Tetsuo.

Description

x, 329 pages : illustrations; 23 cm

Alternative Title

Functional and logic programming

Subjects

• Functional programming (Computer science) > Congresses
• Logic programming > Congresses

Bibliography (note)

• Includes bibliographical references.

Contents

• Concurrency in Functional and Logic Programming / Silvia Breitinger, Rita Loogen and Yolanda Ortega Mallen -- Towards a Denotational Semantics for Concurrent State Transformers / Peter Thiemann -- Dynamic Binding and Lexical Binding in a Transformation Calculus / Jacques Garrigue -- Conservative Extensions of Polymorphic PCF / Yohji Akama -- A [lambda]-calculus with Overloading and Inheritance / Daisuke Suzuki -- Type Inference for Simply-Typed Environment Calculus with Shadowing / Shin-ya Nishizaki -- Functional Counterparts of Some Logic Programming Techniques / Tatsuru Matsushita and Colin Runciman -- A Deterministic Lazy Narrowing Calculus / Aart Middeldorp and Satoshi Okui -- Completeness of Narrowing for Orthogonal Conditional Rewrite Systems / Taro Suzuki -- Using First-Order Narrowing to Solve Goals of Higher-order Patterns / Jun Liu and Zhenyu Qian --
• Equivalence Between the Quotient Term Model and the Least Complete Herbrand Model for a Functional-Logic Language / Makoto Hamana -- An Efficient Calculus for Constraint Functional-Logic Programming Languages / Shigeo Sasaki -- Fusion and Tupling Transformations: Synergies and Conflicts / Wei-Ngan Chin -- Promotional Transformation of Monadic Programs / Zhenjiang Hu and Hideya Iwasaki -- A Tabulation Transformation Tactic Using Haskell Arrays / Cristobal Pareja-Flores, Ricardo Pena-Mari and J. Angel Velazquez-Iturbide -- Efficient Call-by-value Evaluation of Primitive Recursive Program Schemes / Andrea Mossle and Heiko Vogler -- The Generation of a Higher-Order Online Partial Evaluator / Peter Thiemann and Robert Gluck -- Binding Time Analysis for Data Type Specialization / Masami Hagiya and Kouhei Iino -- Parallel Functional Implementations: Graphbased vs. Stackbased Reduction / Guido Hogen -- A Throw-away Compiler for a Lazy Functional Language / David Wakeling --
• Generating Fast Garbage Collection Methods for Declarative Languages / Hendrik C. R. Lock, Gabriele Keller and Manuel M. T. Chakravarty -- Compiling Programs of an Applicative Narrowing Calculus / Koji Nakagawa, Tomoyuki Nishioka and Taro Suzuki.

ISBN

9810224370

LCCN

95042802

OCLC

• 33207837
• ocm33207837

Owning Institutions

Columbia University Libraries