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
Member of
Cataloging source
DLC
Illustrations
illustrations
Index
index present
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
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1963-
http://library.link/vocab/relatedWorkOrContributorName
  • Middeldorp, Aart
  • Satō, Taisuke
http://library.link/vocab/subjectName
  • Functional programming (Computer science)
  • Logic programming
  • évaluation partielle
  • transformation programme
  • programmation fonctionnelle
  • programmation en logique
  • Programmation fonctionnelle
  • Programmation logique
  • Functional programming (Computer science)
  • Logic programming
  • Programmeren (computers)
  • Computadores (software)
  • Linguagem de programacao (outras)
  • Programmation fonctionnelle (informatique)
  • Programmation logique
  • Funktionale Programmierung
  • Kongress
  • Logische Programmierung
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
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
Specific material designation
remote
System control number
  • (OCoLC)42667894
  • (OCoLC)ocm42667894
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
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
Specific material designation
remote
System control number
  • (OCoLC)42667894
  • (OCoLC)ocm42667894

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...