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 BibTeX

Invited Papers

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

Constraints I

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

Constructive Arithmetic

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

Dependent Types

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

Rewriting

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

Program Transformation

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

Logic and Lambda-Calculus

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

Types

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

Constraints II

Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz:
Quantitative Logic Programming Revisited. 272-288
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX

Debugging

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

Copyright © Sat May 16 23:12:13 2009 by Michael Ley (ley@uni-trier.de)