03940nam 22007335 450 99620000520331620200706082445.03-319-19686-310.1007/978-3-319-19686-2(CKB)3710000000422590(SSID)ssj0001547037(PQKBManifestationID)16141397(PQKBTitleCode)TC0001547037(PQKBWorkID)14796243(PQKB)10874007(DE-He213)978-3-319-19686-2(MiAaPQ)EBC6295082(MiAaPQ)EBC5577353(Au-PeEL)EBL5577353(OCoLC)911179871(PPN)186399375(EXLCZ)99371000000042259020150513d2015 u| 0engurnn#008mamaatxtccrPractical Aspects of Declarative Languages[electronic resource] 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings /edited by Enrico Pontelli, Tran Cao Son1st ed. 2015.Cham :Springer International Publishing :Imprint: Springer,2015.1 online resource (X, 149 p. 29 illus.)Programming and Software Engineering ;9131Includes index.3-319-19685-5 Ontology-Driven Data Semantics Discovery for Cyber-Security -- State Space Planning Using Transaction Logic -- On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule -- Declaratively Solving Google Code Jam Problems with Picat -- Reactive Single-Page Applications with Dynamic Dataflow -- CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry -- Implementation and Performance of Probabilistic Inference -- A Haskell Implementation of a Rule-Based Program Transformation for C Programs -- On Logic Programming Representations of Lambda Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization -- Programming Microcontrollers in OCaml: the OCaPICProject.This book constitutes the refereed proceedings of the 17th International Symposium on Practical Aspects of Declarative Languages, PADL 2015, held in Portland, OR, USA, in June 2015. The 10 revised papers presented were carefully reviewed and selected from numerous submissions. The papers cover all forms of declarative concepts, including, functional, logic, constraints, etc.Programming and Software Engineering ;9131Programming languages (Electronic computers)Computer programmingComputer logicSoftware engineeringProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming languages (Electronic computers).Computer programming.Computer logic.Software engineering.Programming Languages, Compilers, Interpreters.Programming Techniques.Logics and Meanings of Programs.Software Engineering.005.13Pontelli Enricoedthttp://id.loc.gov/vocabulary/relators/edtSon Tran Caoedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996200005203316Practical Aspects of Declarative Languages772495UNISA