Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings - Hendren, Laurie; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2008)
Keywords: Computer science; Software engineering; Logic design; Artificial intelligence; Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Engineering; Artificial Intelligence (incl. Robotics).