Functional and logic programming : 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings, Aart Middeldorp, Taisuke Sato (eds.)

Resource Information

The instance Functional and logic programming : 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings, Aart Middeldorp, Taisuke Sato (eds.) represents a material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries. This resource is a combination of several types including: Instance, Electronic.

Image

http://covers.openlibrary.org/b/isbn/9783540666776-M.jpg?default=false

Label

Functional and logic programming : 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings, Aart Middeldorp, Taisuke Sato (eds.)

Title remainder

4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings

Statement of responsibility

Aart Middeldorp, Taisuke Sato (eds.)

Instantiates

• Functional and logic programming : 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings

Publication

• Berlin | New York, Springer, ©1999

Bibliography note

Includes bibliographical references and index

Carrier category

volume

Carrier category code

• nc

Carrier MARC source

rdacarrier

Content category

text

Content type code

• txt

Content type MARC source

rdacontent

Contents

Semantics and types in functional logic programming / J.C. González-Moreno, M.T. Hortalá-González and M. Rodríguez-Artalejo -- Polytypic programming with ease (extended abstract) / Ralf Hinze -- Type inference for overloading without restrictions, declarations or annotations / Carlos Camarão and Lucília Figueiredo -- Partial evaluation and non-interference for object calculi / Gilles Barthe and Bernard P. Serpette -- Lazy lexing is fast / Manuel M.T. Chakravarty -- A functional-logic perspective of parsing / Rafael Caballero and Francisco J. López-Fraguas -- Implementing encapsulated search for a lazy functional logic language / Wolfgang Lux -- Comparison of deforestation techniques for functional programs and for tree transducers / Armin Kühnemann -- Automatic verification based on abstract interpretation / Mizuhito Ogawa -- A transformation system for lazy functional logic programs / María Alpuente ... [et al.] -- Termination analysis of tabled logic programs using mode and type information / Sofie Verbaeten and Danny De Schreye -- On quasi-reductive and quasi-simplifying deterministic conditional rewrite systems / Enno Ohlebusch -- An interval lattice-based constraint solving framework for lattices / Antonio J. Fernández and Patricia M. Hill -- Higher order matching for program transformation / Oege de Moor and Ganesh Sittampalam -- Automated generalisation of function definitions / Adam Bakewell and Colin Runciman -- An extensional characterization of lambda-lifting and lambda-dropping / Olivier Danvy -- Using types as approximations for type checking Prolog programs / Christoph Beierle and Gregor Meyer -- Typed static analysis : application to groundness analysis of PROLOG and [lambda]PROLOG / Olivier Ridoux, Patrice Boizumault and Frédéric Malésieux -- A space efficient engine for subsumption-based tabled evaluation of logic programs / Ernie Johnson ... [et al.] -- The logical abstract machine : a Curry-Howard isomorphism for machine code / Atsushi Ohori -- On reducing the search space of higher-order lazy narrowing / Mircea Marin, Tetsuo Ida and Taro Suzuki -- Typed higher-order narrowing without higher-order strategies / Sergio Antoy and Andrew Tolmach -- A semantics for program analysis in narrowing-based functional logic languages / Michael Hanus and Salvador Lucas

Dimensions

24 cm.

Dimensions

unknown

Extent

x, 368 pages

Isbn

9783540666776

Lccn

99052202

Media category

unmediated

Media MARC source

rdamedia

Media type code

• n

Other physical details

illustrations

Record ID

99176858740001161

Specific material designation

remote

System control number

• (OCoLC)42667894
• (OCoLC)ocm42667894