Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings / [electronic resource] :
edited by Jacques Garrigue, Manuel Hermenegildo.
- 1st ed. 2008.
- XI, 340 p. online resource.
- Programming and Software Engineering, 4989 2945-9168 ; .
- Programming and Software Engineering, 4989 .
Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming -- On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory -- Substructural Type Systems for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques -- Optimizing Compilation of CHR with Rule Priorities -- Constructive Arithmetic -- Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base -- Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl) -- Dependent Types -- On-Demand Refinement of Dependent Types -- Proving Properties about Lists Using Containers -- Rewriting -- Termination of Narrowing in Left-Linear Constructor Systems -- Complexity Analysis by Rewriting -- Rewriting and Call-Time Choice: The HO Case -- Program Transformation -- Semantics and Pragmatics of New Shortcut Fusion Rules -- A Generalization of the Folding Rule for the Clark-Kunen Semantics -- Logic and Lambda-Calculus -- Types for Hereditary Head Normalizing Terms -- A New Translation for Semi-classical Theories - Backtracking without CPS -- Types -- Undoing Dynamic Typing (Declarative Pearl) -- Typed Dynamic Control Operators for Delimited Continuations -- Strictness Analysis Algorithms Based on an Inequality System for Lazy Types -- Constraints II -- Quantitative Logic Programming Revisited -- Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation -- Debugging -- Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming -- EasyCheck - Test Data for Free.
9783540789697
10.1007/978-3-540-78969-7 doi
Compilers (Computer programs).
Computer programming.
Computer science.
Machine theory.
Artificial intelligence.
Compilers and Interpreters.
Programming Techniques.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Artificial Intelligence.
QA76.76.C65
005.45
Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming -- On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory -- Substructural Type Systems for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques -- Optimizing Compilation of CHR with Rule Priorities -- Constructive Arithmetic -- Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base -- Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl) -- Dependent Types -- On-Demand Refinement of Dependent Types -- Proving Properties about Lists Using Containers -- Rewriting -- Termination of Narrowing in Left-Linear Constructor Systems -- Complexity Analysis by Rewriting -- Rewriting and Call-Time Choice: The HO Case -- Program Transformation -- Semantics and Pragmatics of New Shortcut Fusion Rules -- A Generalization of the Folding Rule for the Clark-Kunen Semantics -- Logic and Lambda-Calculus -- Types for Hereditary Head Normalizing Terms -- A New Translation for Semi-classical Theories - Backtracking without CPS -- Types -- Undoing Dynamic Typing (Declarative Pearl) -- Typed Dynamic Control Operators for Delimited Continuations -- Strictness Analysis Algorithms Based on an Inequality System for Lazy Types -- Constraints II -- Quantitative Logic Programming Revisited -- Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation -- Debugging -- Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming -- EasyCheck - Test Data for Free.
9783540789697
10.1007/978-3-540-78969-7 doi
Compilers (Computer programs).
Computer programming.
Computer science.
Machine theory.
Artificial intelligence.
Compilers and Interpreters.
Programming Techniques.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Artificial Intelligence.
QA76.76.C65
005.45