TY - GEN TY - GEN T1 - Practical Aspects of Declarative Languages 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings T2 - Programming and Software Engineering ; A2 - Pontelli, Enrico. A2 - Pontelli, Enrico. A2 - Son, Tran Cao. A2 - Son, Tran Cao. LA - English PP - Cham PB - Springer International Publishing : Imprint: Springer YR - 2015 ED - 1st ed. 2015. UL - http://discoverylib.upm.edu.my/discovery/Record/978-3-319-19686-2 AB - 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. OP - 149 CN - QA76.7-76.73 SN - 9783319196862 KW - Programming languages (Electronic computers). KW - Computer programming. KW - Computer logic. KW - Software engineering. KW - Programming Languages, Compilers, Interpreters. KW - Programming Techniques. KW - Logics and Meanings of Programs. KW - Software Engineering. ER -