default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9. FLOPS 2008: Ise, Japan
- Jacques Garrigue, Manuel V. Hermenegildo:
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 C. S. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-29 02:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
