Ebook: Functional and Logic Programming: 6th International Symposium, FLOPS 2002 Aizu, Japan, September 15–17, 2002 Proceedings

This book constitutes the refereed proceedings of the 6th International Symposium on Functional and Logic Programming, FLOPS 2002, held in Aizu, Japan, in September 2002.
The 15 revised full papers presented together with 3 full invited papers were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on constraint programming, program transformation and analysis, semantics, rewriting, compilation techniques, and programming methodology.

---

This book constitutes the refereed proceedings of the 6th International Symposium on Functional and Logic Programming, FLOPS 2002, held in Aizu, Japan, in September 2002.
The 15 revised full papers presented together with 3 full invited papers were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on constraint programming, program transformation and analysis, semantics, rewriting, compilation techniques, and programming methodology.
Content:
Front Matter....Pages I-X
Formal Methods in CafeOBJ....Pages 1-20
The Essence of XML (Preliminary Version)....Pages 21-46
To the Gates of HAL: A HAL Tutorial....Pages 47-66
Functional Logic Design Patterns....Pages 67-87
On Consistency and Width Notions for Constraint Programs with Algebraic Constraints....Pages 88-102
Solving Mixed Quantified Constraints over a Domain Based on $ mathcal{R} $ eal Numbers and $ mathcal{H} $ erbrand Terms....Pages 103-118
On the Correctness of the Factoring Transformation....Pages 119-133
Lambda-Lifting in Quadratic Time....Pages 134-151
The Well-Founded Semantics in Normal Logic Programs with Uncertainty....Pages 152-166
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus....Pages 167-182
Coinductive Interpreters for Process Calculi....Pages 183-197
Descendants and Head Normalization of Higher-Order Rewrite Systems....Pages 198-211
Narrowing Failure in Functional Logic Programming....Pages 212-227
The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation....Pages 228-244
Dynamic-Cut with Definitional Trees....Pages 245-258
The Head Condition and Polymorphic Recursion....Pages 259-274
Structural Abstraction and Application in Logic Programming....Pages 275-289
VM?: A Functional Calculus for Scientific Discovery....Pages 290-304
Back Matter....Pages 305-305

---

This book constitutes the refereed proceedings of the 6th International Symposium on Functional and Logic Programming, FLOPS 2002, held in Aizu, Japan, in September 2002.
The 15 revised full papers presented together with 3 full invited papers were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on constraint programming, program transformation and analysis, semantics, rewriting, compilation techniques, and programming methodology.
Content:
Front Matter....Pages I-X
Formal Methods in CafeOBJ....Pages 1-20
The Essence of XML (Preliminary Version)....Pages 21-46
To the Gates of HAL: A HAL Tutorial....Pages 47-66
Functional Logic Design Patterns....Pages 67-87
On Consistency and Width Notions for Constraint Programs with Algebraic Constraints....Pages 88-102
Solving Mixed Quantified Constraints over a Domain Based on $ mathcal{R} $ eal Numbers and $ mathcal{H} $ erbrand Terms....Pages 103-118
On the Correctness of the Factoring Transformation....Pages 119-133
Lambda-Lifting in Quadratic Time....Pages 134-151
The Well-Founded Semantics in Normal Logic Programs with Uncertainty....Pages 152-166
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus....Pages 167-182
Coinductive Interpreters for Process Calculi....Pages 183-197
Descendants and Head Normalization of Higher-Order Rewrite Systems....Pages 198-211
Narrowing Failure in Functional Logic Programming....Pages 212-227
The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation....Pages 228-244
Dynamic-Cut with Definitional Trees....Pages 245-258
The Head Condition and Polymorphic Recursion....Pages 259-274
Structural Abstraction and Application in Logic Programming....Pages 275-289
VM?: A Functional Calculus for Scientific Discovery....Pages 290-304
Back Matter....Pages 305-305
....