Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008311696/catalog> ?p ?o. }

• catalog abstract "This volume contains the papers presented at the 4th Fuji International S- posium on Functional and Logic Programming (FLOPS’99) held in Tsukuba, Japan, November 11–13, 1999, and hosted by the Electrotechnical Laboratory (ETL). FLOPS is a forum for presenting and discussing all issues concerning functional programming, logic programming, and their integration. The sym- sium takes place about every 1.5 years in Japan. Previous FLOPS meetings were held in Fuji Susuno (1995), Shonan Village (1996), and Kyoto (1998). 1 There were 51 submissions from Austria ( ),Belgium (2),Brazil(3),China 3 3 1 7 (1), Denmark (2), France (3 ), Germany (8), Ireland (1), Israel ( ), Italy (1 ), 4 3 12 1 Japan (9 ), Korea (1), Morocco (1), The Netherlands (1), New Zealand (1), 3 1 1 3 5 Portugal ( ), Singapore ( ), Slovakia (1), Spain (4 ), Sweden (1), UK (4 ), 2 3 4 6 1 and USA (2 ), of which the program committee selected 21 for presentation. In 4 addition, this volume contains full papers by the two invited speakers, Atsushi Ohori and Mario Rodr´?guez-Artalejo.".
• catalog contributor b11567852.
• catalog contributor b11567853.
• catalog contributor b11567854.
• catalog created "c1999.".
• catalog date "1999".
• catalog date "c1999.".
• catalog dateCopyrighted "c1999.".
• catalog description "Includes bibliographical references and index.".
• catalog description "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".
• catalog description "This volume contains the papers presented at the 4th Fuji International S- posium on Functional and Logic Programming (FLOPS’99) held in Tsukuba, Japan, November 11–13, 1999, and hosted by the Electrotechnical Laboratory (ETL). FLOPS is a forum for presenting and discussing all issues concerning functional programming, logic programming, and their integration. The sym- sium takes place about every 1.5 years in Japan. Previous FLOPS meetings were held in Fuji Susuno (1995), Shonan Village (1996), and Kyoto (1998). 1 There were 51 submissions from Austria ( ),Belgium (2),Brazil(3),China 3 3 1 7 (1), Denmark (2), France (3 ), Germany (8), Ireland (1), Israel ( ), Italy (1 ), 4 3 12 1 Japan (9 ), Korea (1), Morocco (1), The Netherlands (1), New Zealand (1), 3 1 1 3 5 Portugal ( ), Singapore ( ), Slovakia (1), Spain (4 ), Sweden (1), UK (4 ), 2 3 4 6 1 and USA (2 ), of which the program committee selected 21 for presentation. In 4 addition, this volume contains full papers by the two invited speakers, Atsushi Ohori and Mario Rodr´?guez-Artalejo.".
• catalog description "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.".
• catalog extent "x, 368 p. :".
• catalog identifier "354066677X (softcover : alk. paper)".
• catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 1722".
• catalog issued "1999".
• catalog issued "c1999.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog subject "005.1/14 21".
• catalog subject "Artificial intelligence.".
• catalog subject "Computer science.".
• catalog subject "Functional programming (Computer science) Congresses.".
• catalog subject "Logic design.".
• catalog subject "Logic programming Congresses.".
• catalog subject "QA76.62 F85 1999".
• catalog tableOfContents "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".
• catalog tableOfContents "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.".
• catalog title "Functional and logic programming : 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings / Aart Middeldorp, Taisuke Sato (eds.).".
• catalog type "text".