03584nam 22007695 450 991048371570332120200629191351.03-319-28228-X10.1007/978-3-319-28228-2(CKB)3780000000096457(SSID)ssj0001616846(PQKBManifestationID)16347063(PQKBTitleCode)TC0001616846(PQKBWorkID)14920363(PQKB)11750170(DE-He213)978-3-319-28228-2(MiAaPQ)EBC6280930(MiAaPQ)EBC5576676(Au-PeEL)EBL5576676(OCoLC)934801693(PPN)191705454(EXLCZ)99378000000009645720160108d2016 u| 0engurnn|008mamaatxtccrPractical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings /edited by Marco Gavanelli, John Reppy1st ed. 2016.Cham :Springer International Publishing :Imprint: Springer,2016.1 online resource (X, 187 p. 29 illus. in color.) Programming and Software Engineering ;9585Includes index.3-319-28227-1 This book constitutes the refereed proceedings of the 18th International Symposium on Practical Aspects of Declarative Languages, PADL 2016, held in St. Petersburg, FL, USA, in January 2016. The 11 revised papers presented were carefully reviewed and selected from 17 initial submissions for inclusion in the book. PADL is a forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc.Programming and Software Engineering ;9585Programming languages (Electronic computers)Computer programmingComputer logicSoftware engineeringAlgorithmsProgramming 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/I14029Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Programming languages (Electronic computers).Computer programming.Computer logic.Software engineering.Algorithms.Programming Languages, Compilers, Interpreters.Programming Techniques.Logics and Meanings of Programs.Software Engineering.Algorithm Analysis and Problem Complexity.005.131Gavanelli Marcoedthttp://id.loc.gov/vocabulary/relators/edtReppy Johnedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910483715703321Practical Aspects of Declarative Languages772495UNINA