9. FLOPS 2008: Ise, Japan

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