Garrigue, Jacques. <br/><br/>
Functional and Logic Programming  9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings /  [electronic resource] : 
edited by Jacques Garrigue, Manuel V. Hermenegildo. 
 - XI, 340 p.  online resource. 
 - Lecture Notes in Computer Science,  4989  0302-9743 ; .
 - Lecture Notes in Computer Science,  4989 .
<br/><br/>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. 
<br/><br/>ZDB-2-SCS ZDB-2-LNC 
<br/><br/><label>ISBN: </label>9783540789697 
<br/><br/><label>Standard No.: </label>10.1007/978-3-540-78969-7  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Logic design.<br/>Artificial intelligence.<br/>Computer Science.<br/>Programming Techniques.<br/>Programming Languages, Compilers, Interpreters.<br/>Logics and Meanings of Programs.<br/>Mathematical Logic and Formal Languages.<br/>Artificial Intelligence (incl. Robotics).
<br/><br/><label>LC Class. No.: </label>QA76.6-76.66 
<br/><br/><label>Dewey Class. No.: </label>005.11