12th European Conference on Machine Learning (ECML'01) and 5th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD'01).September 3-7, 2001, Freiburg, Germany.
A generator for LR(k) and SLR(k) parsers in Scheme. The generated parsers perform error recovery, and are highly efficient. They result from the general parser by an automatic program transformation called partial evaluation. This guarantees consisten...
A partial evaluation system for Scheme: Given a program P and a specification of which of the inputs are known in advance, PGG outputs a program generator which accepts the known inputs of P and outputs a specialized version of P. PGG is fully automat...
A partial evaluation system for Scheme: Given a program P and a specification of which of the inputs are known in advance, PGG outputs a program generator which accepts the known inputs of P and outputs a specialized version of P.
Professor of Computer Science at the University of Freiburg and head of the research lab for Autonomous Intelligent Systems. Areas of interest lie in Artificial Intelligence and mobile robots.