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

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

Label
Functional and logic programming : 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings
Title
Functional and logic programming
Title remainder
4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings
Statement of responsibility
Aart Middeldorp, Taisuke Sato (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the 4th Fuji International Symposium on Functional and Logic Programming, FLOPS'99, held in Tsukuba, Japan, in November 1999. The 23 revised full papers presented were carefully reviewed and selected from a total of 51 submissions. The papers are devoted to various current aspects of functional and logic programming as well as to the integration of these two paradigms. Among the topics addressed are typing, partial evaluation, program transformations, parsing, formal verification, program analysis, static analysis, narrowing, etc
Member of
Cataloging source
COO
Dewey number
005.1/14
Illustrations
illustrations
Index
index present
Language note
English
LC call number
QA76.62
LC item number
F85 1999
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1999
http://bibfra.me/vocab/lite/meetingName
Fuji International Symposium on Functional and Logic Programming
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1963-
http://library.link/vocab/relatedWorkOrContributorName
  • Middeldorp, Aart
  • Satō, Taisuke
Series statement
Lecture notes in computer science,
Series volume
1722
http://library.link/vocab/subjectName
  • Functional programming (Computer science)
  • Logic programming
  • Functional programming (Computer science)
  • Logic programming
  • Programming Techniques
  • Programming Languages, Compilers, Interpreters
  • Logics and Meanings of Programs
  • Artificial Intelligence
Label
Functional and logic programming : 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings, Aart Middeldorp, Taisuke Sato (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
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 [and others] -- 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 [and others] -- 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
Control code
321319969
Dimensions
unknown
Extent
1 online resource (x, 368 pages)
Form of item
online
Isbn
9783540479505
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/10705424
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)321319969
Label
Functional and logic programming : 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings, Aart Middeldorp, Taisuke Sato (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
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 [and others] -- 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 [and others] -- 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
Control code
321319969
Dimensions
unknown
Extent
1 online resource (x, 368 pages)
Form of item
online
Isbn
9783540479505
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/10705424
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)321319969

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...