Strategies and analysis techniques in functional program optimization

Issue title: STAIRS 2002

Article type: Other

Authors: Escobar, Santiago

Affiliations: Dep. de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Camino de Vera, s/n, E‐46022 Valencia, Spain E‐mail: sescobar@dsic.upv.es

Abstract: This paper abstracts the contents of the PhD dissertation which has been recently defended by the author. Functional programs are commonly modelled by term rewriting systems. The execution of such programs often gives rise to useless, dangerous, and inefficient evaluation sequences which must be avoided in order to improve their computational behaviour. The thesis presents novel methods and techniques to optimize term rewriting systems either by defining new strategies to execute programs or by analyzing and transforming programs in order to improve their computational behaviour.

Keywords: Functional and logic programming, term rewriting systems, rewriting (narrowing) strategies, program analysis and transformation

Journal: AI Communications, vol. 17, no. 1, pp. 35-37, 2004