04263nam a22005895i 4500 978-3-540-78969-7 DE-He213 20210625012604.0 cr nn 008mamaa 100301s2008 gw | s |||| 0|eng d 9783540789697 978-3-540-78969-7 10.1007/978-3-540-78969-7 doi QA76.7-76.73 QA76.76.C65 UMX bicssc COM051010 bisacsh UMX thema UMC thema 005.13 23 Functional and Logic Programming [electronic resource] : 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings / edited by Jacques Garrigue, Manuel Hermenegildo. 1st ed. 2008. Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008. XI, 340 p. online resource. text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda 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. Programming languages (Electronic computers). Computer programming. Computer logic. Mathematical logic. Artificial intelligence. Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies/product-market-codes/I14037 Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010 Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market-codes/I1603X Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product-market-codes/I16048 Artificial Intelligence. https://scigraph.springernature.com/ontologies/product-market-codes/I21000 Garrigue, Jacques. editor. edt http://id.loc.gov/vocabulary/relators/edt Hermenegildo, Manuel. editor. edt http://id.loc.gov/vocabulary/relators/edt SpringerLink (Online service) Springer Nature eBook Printed edition: 9783540849643 Printed edition: 9783540789680 Programming and Software Engineering ; 4989 https://doi.org/10.1007/978-3-540-78969-7 ZDB-2-SCS ZDB-2-SXCS ZDB-2-LNC Computer Science (SpringerNature-11645) Computer Science (R0) (SpringerNature-43710)