Tools

LEADER 04174cam 22004574a 4500

001 ocm42667894;

003 OCoLC;

005 20141212140952.0;

008 991007s1999 gw a b 101 0 eng ;

010 a| 99052202;

015 a| GB99-82488;

020 a| 354066677X (softcover : alk. paper);

035 a| (Sirsi) o42667894;

035 a| (OCoLC)42667894;

042 a| pcc;

049 a| EREE;

050 00 a| QA76.62b| .F85 1999;

072 7 a| QA2| lcco;

082 00 a| 005.1/142| 21;

111 2 a| Fuji International Symposium on Functional and Logic Programmingn| (4th :d| 1999 :c| Tsukuba Kenkyū Gakuen Toshi, Japan)?| UNAUTHORIZED;

245 10 a| Functional and logic programming :b| 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings /c| Aart Middeldorp, Taisuke Sato (eds.).;

300 a| x, 368 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 1722;

504 a| Includes bibliographical references and index.;

505 0 a| Semantics and types in functional logic programming / J.C. González-Moreno, M.T. Hortalá-González and M. Rodríguez-Artalejo -- Polytypic programming with ease (extended abstract) / Ralf Hinze -- Type inference for overloading without restrictions, declarations or annotations / Carlos Camarão and Lucí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. Ló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 Kühnemann -- Automatic verification based on abstract interpretation / Mizuhito Ogawa -- A transformation system for lazy functional logic programs / Marí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. Ferná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 Frédéric Malé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.;

650 0 a| Functional programming (Computer science)v| Congresses.=| ^A234260;

650 0 a| Logic programmingv| Congresses.=| ^A205684;

700 1 a| Middeldorp, Aart,d| 1963-=| ^A441699;

700 1 a| Satō, Taisuke.=| ^A441700;

830 0 a| Lecture notes in computer sciencev| 1722.=| ^A466336;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har000744073c| 86.00 DEM;

980 a| 2000-02-23b| 62d| 3.12e| 52.08f| 156865;

596 a| 1;

998 a| 714511;

999 a| QA76.62 .F85 1999w| LCc| 1i| 30372010702212d| 2/13/2013f| 2/13/2013g| 1l| JGESm| JOYNERp| $52.08r| Ys| Yt| JGESBKu| 3/3/2000x| BOOKz| JSTACKSo| .STAFF. 0;

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

Author/creator	Fuji International Symposium on Functional and Logic Programming
Other author	Middeldorp, Aart, 1963-
Other author	Satō, Taisuke.
Format	Book
Publication Info	Berlin ; New York : Springer, ©1999.
Description	x, 368 pages : illustrations ; 24 cm.
Subjects	Functional programming (Computer science)--Congresses. Logic programming--Congresses.

Series	Lecture notes in computer science ; 1722 Lecture notes in computer science 1722. ^A466336
Contents	Semantics and types in functional logic programming / J.C. González-Moreno, M.T. Hortalá-González and M. Rodríguez-Artalejo -- Polytypic programming with ease (extended abstract) / Ralf Hinze -- Type inference for overloading without restrictions, declarations or annotations / Carlos Camarão and Lucí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. Ló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 Kühnemann -- Automatic verification based on abstract interpretation / Mizuhito Ogawa -- A transformation system for lazy functional logic programs / Marí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. Ferná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 Frédéric Malé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.
Bibliography note	Includes bibliographical references and index.
LCCN	99052202
ISBN	354066677X (softcover : alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.62 .F85 1999	✔ Available	Place Hold

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

Click here for more information about this title

Availability