TY - GEN TY - GEN T1 - Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings T2 - Programming and Software Engineering ; A2 - Hanus, Michael. A2 - Hanus, Michael. LA - English PP - Berlin, Heidelberg PB - Springer Berlin Heidelberg : Imprint: Springer YR - 2007 ED - 1st ed. 2007. UL - http://discoverylib.upm.edu.my/discovery/Record/978-3-540-69611-7 OP - 342 CN - QA76.7-76.73 SN - 9783540696117 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 -