6. FLOPS 2002: Aizu, Japan

Zhenjiang Hu, Mario Rodríguez-Artalejo (Eds.): Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings. Lecture Notes in Computer Science 2441 Springer 2002, ISBN 3-540-44233-2 BibTeX

@proceedings{DBLP:conf/flops/2002,
  editor    = {Zhenjiang Hu and
               Mario Rodr\'{\i}guez-Artalejo},
  title     = {Functional and Logic Programming, 6th International Symposium,
               FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings},
  booktitle = {FLOPS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2441},
  year      = {2002},
  isbn      = {3-540-44233-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

Kokichi Futatsugi:
Formal Methods in CafeOBJ. 1-20
Electronic Edition (Springer LINK) BibTeX
Jérôme Siméon, Philip Wadler:
The Essence of XML (Preliminary Version). 21-46
Electronic Edition (Springer LINK) BibTeX
Maria J. García de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey:
To the Gates of HAL: A HAL Tutorial. 47-66
Electronic Edition (Springer LINK) BibTeX

Tutorial Paper

Sergio Antoy, Michael Hanus:
Functional Logic Design Patterns. 67-87
Electronic Edition (Springer LINK) BibTeX

Constraints

Klaus Meer:
On Consistency and Width Notions for Constraint Programs with Algebraic Constraints. 88-102
Electronic Edition (Springer LINK) BibTeX
Miguel García-Díaz, Susana Nieva:
Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms. 103-118
Electronic Edition (Springer LINK) BibTeX

Program Transformation and Analysis

Pascual Julián Iranzo:
On the Correctness of the Factoring Transformation. 119-133
Electronic Edition (Springer LINK) BibTeX
Olivier Danvy, Ulrik Pagh Schultz:
Lambda-Lifting in Quadratic Time. 134-151
Electronic Edition (Springer LINK) BibTeX

Semantics

Yann Loyer, Umberto Straccia:
The Well-Founded Semantics in Normal Logic Programs with Uncertainty. 152-166
Electronic Edition (Springer LINK) BibTeX
Masahito Hasegawa:
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus. 167-182
Electronic Edition (Springer LINK) BibTeX
Luís Soares Barbosa, José Nuno Oliveira:
Coinductive Interpreters for Process Calculi. 183-197
Electronic Edition (Springer LINK) BibTeX

Rewriting

Hideto Kasuya, Masahiko Sakai, Kiyoshi Agusa:
Descendants and Head Normalization of Higher-Order Rewrite Systems. 198-211
Electronic Edition (Springer LINK) BibTeX
Francisco Javier López-Fraguas, Jaime Sánchez-Hernández:
Narrowing Failure in Functional Logic Programming. 212-227
Electronic Edition (Springer LINK) BibTeX

Compilation Techniques

Mikael Pettersson, Konstantinos F. Sagonas, Erik Johansson:
The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation. 228-244
Electronic Edition (Springer LINK) BibTeX
Rafael Caballero, Francisco Javier López-Fraguas:
Dynamic-Cut with Definitional Trees. 245-258
Electronic Edition (Springer LINK) BibTeX

Programming Methodology

Jan-Georg Smaus:
The Head Condition and Polymorphic Recursion. 259-274
Electronic Edition (Springer LINK) BibTeX
António Porto:
Structural Abstraction and Application in Logic Programming. 275-289
Electronic Edition (Springer LINK) BibTeX
Eijiro Sumii, Hideo Bannai:
VM lambda: A Functional Calculusfor Scientific Discovery. 290-304
Electronic Edition (Springer LINK) BibTeX