Practical aspects of declarative languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010 : proceedings / [electronic resource] : PADL 2010 edited by Manuel Carro, Ricardo Pena. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010. - 1online resource (296 pages) : illustrations, digital. - Lecture notes in computer science, 5937 0302-9743 ; .

9783642115035


Declarative programming languages--Congresses.
Declarative programming--Congresses.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.