Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings

Torsten Schaub (auth.), Jacques Garrigue, Manuel V. Hermenegildo (eds.)3540789685, 9783540789680

This book constitutes the refereed proceedings of the 9th International Symposium on Functional and Logic Programming, FLOPS 2008, held in Ise, Japan, in April 2008.

The 20 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 59 submissions. The papers are organized in topical sections on constraints, constructive arithmetic, dependent types, rewriting, program transformation, logic and lambda-calculus, types, and debugging.

---

Table of contents :
Front Matter….Pages –
Model-Based Knowledge Representation and Reasoning Via Answer Set Programming….Pages 1-2
On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory….Pages 3-13
Substructural Type Systems for Program Analysis….Pages 14-14
Integrating Answer Set Reasoning with Constraint Solving Techniques….Pages 15-31
Optimizing Compilation of CHR with Rule Priorities….Pages 32-47
Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base….Pages 48-63
Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)….Pages 64-80
On-Demand Refinement of Dependent Types….Pages 81-96
Proving Properties about Lists Using Containers….Pages 97-112
Termination of Narrowing in Left-Linear Constructor Systems….Pages 113-129
Complexity Analysis by Rewriting….Pages 130-146
Rewriting and Call-Time Choice: The HO Case….Pages 147-162
Semantics and Pragmatics of New Shortcut Fusion Rules….Pages 163-179
A Generalization of the Folding Rule for the Clark-Kunen Semantics….Pages 180-194
Types for Hereditary Head Normalizing Terms….Pages 195-209
A New Translation for Semi-classical Theories — Backtracking without CPS….Pages 210-223
Undoing Dynamic Typing (Declarative Pearl)….Pages 224-238
Typed Dynamic Control Operators for Delimited Continuations….Pages 239-254
Strictness Analysis Algorithms Based on an Inequality System for Lazy Types….Pages 255-271
Quantitative Logic Programming Revisited….Pages 272-288
Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation….Pages 289-304
Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming….Pages 305-321
EasyCheck — Test Data for Free….Pages 322-336
Back Matter….Pages –