03162nam 22007815 450 991048339270332120251226204032.03-319-07151-310.1007/978-3-319-07151-0(CKB)3710000000119150(DE-He213)978-3-319-07151-0(SSID)ssj0001242896(PQKBManifestationID)11727249(PQKBTitleCode)TC0001242896(PQKBWorkID)11262136(PQKB)10240251(MiAaPQ)EBC3093331(PPN)17878284X(EXLCZ)99371000000011915020140522d2014 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierFunctional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /edited by Michael Codish, Eijiro Sumii1st ed. 2014.Cham :Springer International Publishing :Imprint: Springer,2014.1 online resource (XVI, 353 p. 81 illus.)Theoretical Computer Science and General Issues,2512-2029 ;8475Bibliographic Level Mode of Issuance: Monograph3-319-07150-5 This book constitutes the refereed proceedings of the 12th International Symposium on Functional and Logic Programming, FLOPS 2014, held in Kanazawa, Japan, in June 2014. The 21 full papers and 3 invited talks presented in this volume were carefully reviewed and selected from 41 submissions. They deal with declarative programming, including functional programming and logic programming.Theoretical Computer Science and General Issues,2512-2029 ;8475Software engineeringComputer scienceCompilers (Computer programs)Machine theoryArtificial intelligenceComputer programmingSoftware EngineeringComputer Science Logic and Foundations of ProgrammingCompilers and InterpretersFormal Languages and Automata TheoryArtificial IntelligenceProgramming TechniquesSoftware engineering.Computer science.Compilers (Computer programs).Machine theory.Artificial intelligence.Computer programming.Software Engineering.Computer Science Logic and Foundations of Programming.Compilers and Interpreters.Formal Languages and Automata Theory.Artificial Intelligence.Programming Techniques.005.114Codish Michaeledthttp://id.loc.gov/vocabulary/relators/edtSumii Eijiroedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910483392703321Functional and Logic Programming772537UNINA