LEADER 04302nam  22007095  450 
001 9910483616903321
005 20251226200648.0
010   $a3-540-78969-3
024 7 $a10.1007/978-3-540-78969-7
035   $a(MiAaPQ)EBC6694630
035   $a(MiAaPQ)EBC4975651
035   $a(PPN)125218745
035   $a(CKB)1000000000490600
035   $a(Au-PeEL)EBL6694630
035   $a(OCoLC)233974063
035   $a(DE-He213)978-3-540-78969-7
035   $a(EXLCZ)991000000000490600
100   $a20100301d2008      u|         0
101 0 $aeng
135   $aurnn#---mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFunctional and Logic Programming $e9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings /$fedited by Jacques Garrigue, Manuel Hermenegildo
205   $a1st ed. 2008.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008.
215   $axi, 340p
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v4989
327   $aInvited 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.
330   $aThis book constitutes the refereed proceedings of the 9th International Symposium on Functional and Logic Programming, FLOPS 2008. The 20 revised full papers, together with 3 invited contributions were carefully reviewed and selected from 59 submissions.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v4989
606   $aCompilers (Computer programs)
606   $aComputer programming
606   $aComputer science
606   $aMachine theory
606   $aArtificial intelligence
606   $aCompilers and Interpreters
606   $aProgramming Techniques
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
606   $aArtificial Intelligence
615  0$aCompilers (Computer programs).
615  0$aComputer programming.
615  0$aComputer science.
615  0$aMachine theory.
615  0$aArtificial intelligence.
615 14$aCompilers and Interpreters.
615 24$aProgramming Techniques.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
615 24$aArtificial Intelligence.
676   $a005.115
702   $aGarrigue$b Jacques
702   $aHermenegildo$b Manuel
712 12$aFuji International Symposium on Functional and Logic Programming
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483616903321
996   $aFunctional and Logic Programming$9772537
997   $aUNINA