9. FLOPS 2008: Ise, Japan

Jacques Garrigue, Manuel V. Hermenegildo (Eds.): Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings. Lecture Notes in Computer Science 4989 Springer 2008, ISBN 978-3-540-78968-0

Invited Papers

Torsten Schaub:
Model-Based Knowledge Representation and Reasoning Via Answer Set Programming. 1-2
Andreas Abel, Thierry Coquand, Peter Dybjer:
On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory. 3-13
Naoki Kobayashi:
Substructural Type Systems for Program Analysis. 14

Constraints I

Veena S. Mellarkod, Michael Gelfond:
Integrating Answer Set Reasoning with Constraint Solving Techniques. 15-31
Leslie De Koninck, Peter J. Stuckey, Gregory J. Duck:
Optimizing Compilation of CHR with Rule Priorities. 32-47

Constructive Arithmetic

Nicolas Julien:
Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base. 48-63
Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan:
Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl). 64-80

Dependent Types

Hiroshi Unno, Naoki Kobayashi:
On-Demand Refinement of Dependent Types. 81-96
Rawle Prince, Neil Ghani, Conor McBride:
Proving Properties about Lists Using Containers. 97-112

Rewriting

Germán Vidal:
Termination of Narrowing in Left-Linear Constructor Systems. 113-129
Martin Avanzini, Georg Moser:
Complexity Analysis by Rewriting. 130-146
Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández:
Rewriting and Call-Time Choice: The HO Case. 147-162

Program Transformation

Janis Voigtländer:
Semantics and Pragmatics of New Shortcut Fusion Rules. 163-179
Javier Álvez, Paqui Lucio:
A Generalization of the Folding Rule for the Clark-Kunen Semantics. 180-194

Logic and Lambda-Calculus

Makoto Tatsuta:
Types for Hereditary Head Normalizing Terms. 195-209
Satoshi Kobayashi:
A New Translation for Semi-classical Theories - Backtracking without CPS. 210-223

Types

Nick Benton:
Undoing Dynamic Typing (Declarative Pearl). 224-238
Yukiyoshi Kameyama, Takuo Yonezawa:
Typed Dynamic Control Operators for Delimited Continuations. 239-254
Hirofumi Yokouchi:
Strictness Analysis Algorithms Based on an Inequality System for Lazy Types. 255-271

Constraints II

Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz:
Quantitative Logic Programming Revisited. 272-288
Susana Nieva, Jaime Sánchez-Hernández, Fernando Sáenz-Pérez:
Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation. 289-304

Debugging

Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda:
Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming. 305-321
Jan Christiansen, Sebastian Fischer:
EasyCheck - Test Data for Free. 322-336

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