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

Garrigue, Jacques

ISBN 10: 3540789685 / ISBN 13: 9783540789680

Editore: Springer 2008-03, 2008

Riguardo questo articolo

Codice articolo 6666-IUK-9783540789680

Dati bibliografici

Titolo: Functional and Logic Programming: 9th ...

Casa editrice: Springer 2008-03

Data di pubblicazione: 2008

Legatura: PF

Condizione: New

Descrizione articolo

Riassunto:

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.

Contenuti:

Invited Papers.- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming.- On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory.- Substructural Type Systems for Program Analysis.- Refereed Papers.- Integrating Answer Set Reasoning with Constraint Solving Techniques.- Optimizing Compilation of CHR with Rule Priorities.- Constructive Arithmetic.- Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base.- Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl).- Dependent Types.- On-Demand Refinement of Dependent Types.- Proving Properties about Lists Using Containers.- Rewriting.- Termination of Narrowing in Left-Linear Constructor Systems.- Complexity Analysis by Rewriting.- Rewriting and Call-Time Choice: The HO Case.- Program Transformation.- Semantics and Pragmatics of New Shortcut Fusion Rules.- A Generalization of the Folding Rule for the Clark-Kunen Semantics.- Logic and Lambda-Calculus.- Types for Hereditary Head Normalizing Terms.- A New Translation for Semi-classical Theories — Backtracking without CPS.- Types.- Undoing Dynamic Typing (Declarative Pearl).- Typed Dynamic Control Operators for Delimited Continuations.- Strictness Analysis Algorithms Based on an Inequality System for Lazy Types.- Constraints II.- Quantitative Logic Programming Revisited.- Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation.- Debugging.- Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming.- EasyCheck — Test Data for Free.