Partial evaluation of multi‐paradigm declarative languages

Abstract

This paper abstracts the contents of a PhD dissertation entitled ‘Partial evaluation of multi‐paradigm declarative languages: foundations, control, algorithms and efficiency’ which has been recently defended. Partial evaluation is an automatic technique for program optimization whose range of potential applications covers a wide spectrum of problem‐specific optimizations. For instance, there are successful experiences in the field of artificial intelligence, like the optimization (by partial evaluation) on simulators for neural network training. The thesis presents novel methods and techniques for the partial evaluation of multi‐paradigm declarative languages, which integrate features from functional and logic programming.