Partial evaluation of multi‐paradigm declarative languages

Article type: Other

Authors: Albert, Elvira

Affiliations: Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Camino de Vera s/n, E‐46022 Valencia, Spain E‐mail: [email protected]

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.

Keywords: Automatic programming, program transformation, partial evaluation, functional logic programming

Journal: AI Communications, vol. 14, no. 4, pp. 235-237, 2001