Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings - Russo, Claudio; Zhou, Neng-Fa (Berlin, Heidelberg : Springer Berlin Heidelberg, 2012)
Keywords: Computer science; Computer programming; Software engineering; Programming languages (Electronic computers).; Computer logic; Mathematical logic; Artificial intelligence