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

Invited Papers

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

Tutorial Paper

Sergio Antoy, Michael Hanus:
Functional Logic Design Patterns. 67-87

Constraints

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

Program Transformation and Analysis

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

Semantics

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

Rewriting

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

Compilation Techniques

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

Programming Methodology

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

Last update Fri May 24 18:52:09 2013 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page