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

Invited Papers

Model-Based Knowledge Representation and Reasoning Via Answer Set Programming Torsten Schaub Schaub, Torsten 1

On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory Andreas Abel Abel, Andreas Thierry Coquand Coquand, Thierry Peter Dybjer Dybjer, Peter 3

Substructural Type Systems for Program Analysis Naoki Kobayashi Kobayashi, Naoki 14

Refereed Papers

Constraints I

Integrating Answer Set Reasoning with Constraint Solving Techniques Veena S. Mellarkod Mellarkod, Veena S. Michael Gelfond Gelfond, Michael 15

Optimizing Compilation of CHR with Rule Priorities Leslie De Koninck De Koninck, Leslie Peter J. Stuckey Stuckey, Peter J. Gregory J. Duck Duck, Gregory J. 32

Constructive Arithmetic

Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base Nicolas Julien Julien, Nicolas 48

Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl) Oleg Kiselyov Kiselyov, Oleg William E. Byrd Byrd, William E. Daniel P. Friedman Friedman, Daniel P. Chung-chieh Shan Shan, Chung-chieh 64

Dependent Types

On-Demand Refinement of Dependent Types Hiroshi Unno Unno, Hiroshi Naoki Kobayashi Kobayashi, Naoki 81

Proving Properties about Lists Using Containers Rawle Prince Prince, Rawle Neil Ghani Ghani, Neil Conor McBride McBride, Conor 97

Rewriting

Termination of Narrowing in Left-Linear Constructor Systems German Vidal Vidal, German 113

Complexity Analysis by Rewriting Martin Avanzini Avanzini, Martin Georg Moser Moser, Georg 130

Rewriting and Call-Time Choice: The HO Case Francisco Javier Lopez-Fraguas Lopez-Fraguas, Francisco Javier Juan Rodriguez-Hortala Rodriguez-Hortala, Juan JaimeSanchez-Hernandez Sanchez-Hernandez, Jaime 147

Program Transformation

Semantics and Pragmatics of New Shortcut Fusion Rules Janis Voigtlander Voigtlander, Janis 163

A Generalization of the Folding Rule for the Clark-Kunen Semantics Javier Alvez Alvez, Javier Paqui Lucio Lucio, Paqui 180

Logic and Lambda-Calculus

Types for Hereditary Head Normalizing Terms Makoto Tatsuta Tatsuta, Makoto 195

A New Translation for Semi-classical Theories - Backtracking without CPS Satoshi Kobayashi Kobayashi, Satoshi 210

Types

Undoing Dynamic Typing (Declarative Pearl) Nick Benton Benton, Nick 224

Typed Dynamic Control Operators for Delimited Continuations Yukiyoshi Kameyama Kameyama, Yukiyoshi Takuo Yonezawa Yonezawa, Takuo 239

Strictness Analysis Algorithms Based on an Inequality System for Lazy Types Hirofumi Yokouchi Yokouchi, Hirofumi 255

Constraints II

Quantitative Logic Programming Revisited Mario Rodriguez-Artalejo Rodriguez-Artalejo, Mario Carlos A. Romero-Diaz Romero-Diaz, Carlos A. 272

Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation Susana Nieva Nieva, Susana Jaime Sanchez-Hernandez Sanchez-Hernandez, Jaime Fernando Saenz-Perez Saenz-Perez, Fernando 289

Debugging

Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming Rafael Caballero Caballero, Rafael Mario Rodriguez Artalejo Artalejo, Mario Rodriguez Rafael del Vado Virseda Virseda, Rafael del Vado 305

EasyCheck - Test Data for Free Jan Christiansen Christiansen, Jan Sebastian Fischer Fischer, Sebastian 322

Author Index 337