03447nam 22006975 450 99646537360331620230406053210.03-642-20775-810.1007/978-3-642-20775-4(CKB)2670000000083931(SSID)ssj0000536946(PQKBManifestationID)11369514(PQKBTitleCode)TC0000536946(PQKBWorkID)10550842(PQKB)10376377(DE-He213)978-3-642-20775-4(MiAaPQ)EBC3066749(PPN)153860464(EXLCZ)99267000000008393120110521d2011 u| 0engurnn|008mamaatxtccrFunctional and Constraint Logic Programming[electronic resource] 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers /edited by Julio Marino1st ed. 2011.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2011.1 online resource (IX, 175 p.) Theoretical Computer Science and General Issues,2512-2029 ;6559Bibliographic Level Mode of Issuance: Monograph3-642-20774-X Includes bibliographical references and index.This book contains a selection of the papers presented at the 19th International Workshop on Functional and Constraint Logic Programming, WFLP 2010, held in Madrid, Spain, in January 2010, as part of the ACM-SIGPLAN Principles of Programming Languages event, POPL 2010. From the 15 papers submitted, 12 were accepted for presentation at the workshop. The 8 regular papers presented in this volume were selected following a second round of reviewing, which took place after the event. They are complemented  by a full-length invited talk by the workshop’s guest speaker, Mariangiola Dezani-Ciancaglini. All current issues in the areas of functional and constraint logic programming are covered including foundational aspects, language design, implementation, transformation and analysis, software engineering, integration of paradigms, and applications.Theoretical Computer Science and General Issues,2512-2029 ;6559Computer scienceMachine theoryCompilers (Computer programs)Artificial intelligenceComputer science—MathematicsComputer Science Logic and Foundations of ProgrammingFormal Languages and Automata TheoryCompilers and InterpretersArtificial IntelligenceSymbolic and Algebraic ManipulationComputer science.Machine theory.Compilers (Computer programs).Artificial intelligence.Computer science—Mathematics.Computer Science Logic and Foundations of Programming.Formal Languages and Automata Theory.Compilers and Interpreters.Artificial Intelligence.Symbolic and Algebraic Manipulation.005.1015113Marino Julioedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465373603316Functional and Constraint Logic Programming1936242UNISA