Invited Papers |
Formal Methods in CafeOBJ / Kokichi Futatsugi |
The Essence of XML (Preliminary Version) / Jérôme Siméon ; Philip Wadler |
To the Gates of HAL: A HAL Tutorial / MarÃa GarÃa de la Banda ; Bart Demoen ; Kim Marriott ; Peter J. Stuckey |
Tutorial Paper |
Functional Logic Design Patterns / Sergio Antoy ; Michael Hanus |
Constraints |
On Consistency and Width Notions for Constraint Programs with Algebraic Constraints / Klaus Meer |
Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms / Miguel GarcÃa-DÃaz ; Susana Nieva |
Program Transformation and Analysis |
On the Correctness of the Factoring Transformation / Pascual Julián Iranzo |
Lambda-Lifting in Quadratic Time / Olivier Danvy ; Ulrik P. Schultz |
Semantics |
The Well-Founded Semantics in Normal Logic Programs with Uncertainty / Yann Loyer ; Umberto Straccia |
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus / Masahito Hasegawa |
Coinductive Interpreters for Process Calculi / LuÃs Soares Barbosa ; José Nuno Oliveira |
Rewriting |
Descendants and Head Normalization of Higher-Order Rewrite Systems / Hideto Kasuya ; Masahiko Sakai ; Kiyoshi Agusa |
Narrowing Failure in Functional Logic Programming / Francisco Javier López-Fraguas ; Jaime Sánchez-Hernández |
Compilation Techniques |
The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation / Mikael Pettersson ; Konstantinos Sagonas ; Erik Johansson |
Dynamic-Cut with Definitional Trees / Rafael Caballero |
Programming Methodology |
The Head Condition and Polymorphic Recursion / Jan-Georg Smaus |
Structural Abstraction and Application in Logic Programming / António Porto |
VM?: A Functional Calculus for Scientific Discovery / Eijiro Sumii ; Hideo Bannai |
Author Index |
Invited Papers |
Formal Methods in CafeOBJ / Kokichi Futatsugi |
The Essence of XML (Preliminary Version) / Jérôme Siméon ; Philip Wadler |
To the Gates of HAL: A HAL Tutorial / MarÃa GarÃa de la Banda ; Bart Demoen ; Kim Marriott ; Peter J. Stuckey |
Tutorial Paper |
Functional Logic Design Patterns / Sergio Antoy ; Michael Hanus |