03222nam 22007815 450 99646555470331620230222175725.03-642-29822-210.1007/978-3-642-29822-6(CKB)3400000000085264(SSID)ssj0000697503(PQKBManifestationID)11415413(PQKBTitleCode)TC0000697503(PQKBWorkID)10692334(PQKB)10666377(DE-He213)978-3-642-29822-6(MiAaPQ)EBC3070958(PPN)168315394(Association for Computing Machinery)10.5555/2342685(EXLCZ)99340000000008526420120519d2012 u| 0engurnn#008mamaatxtccrFunctional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings /edited by Tom Schrijvers, Peter Thiemann1st ed. 2012.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2012.1 online resource (X, 333 p. 69 illus.)Theoretical Computer Science and General Issues,2512-2029 ;7294International conference proceedings.3-642-29821-4 Includes bibliographical references and author index.This book constitutes the refereed proceedings of the 11th International Symposium on Functional and Logic Programming, FLOPS 2012, held in Kobe, Japan, in May 2012. The 19 research papers and 3 system demonstrations presented in this volume were carefully reviewed and selected from 39 submissions. They deal with declarative programming, including functional programming and logic programming.Theoretical Computer Science and General Issues,2512-2029 ;7294FLOPS'12Software 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.1Schrijvers Tomedthttp://id.loc.gov/vocabulary/relators/edtThiemann Peteredthttp://id.loc.gov/vocabulary/relators/edtBOOK996465554703316Functional and Logic Programming772537UNISA