00519nam a2200133Ia 4500008004100000020002200041041001200063100004200075245004700117260003200164440003800196650002100234650013000255231221s9999 xx 000 0 und d a978-3-540-30557-6 aEnglish aManuel V. Hermenegildo, Daniel Cabeza 0aPractical Aspects of Declarative Languages c2005bSpringer USaNew York aLecture Notes in Computer Science aComputer Science aProgramming Languages, Compilers, Interpreters; Programming Techniques; Logics and Meanings of Programs; Software Engineering