Strategies and analysis techniques in functional program optimization

Authors:
Santiago Escobar
Affiliations:
Dep. de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Camino de Vera, s/n, E-46022 Valencia, Spain
Venue:
AI Communications - STAIRS 2002
Year:
2004

Citing 10
Cited 0

Compilers: principles, techniques, and tools

Compilers: principles, techniques, and tools
The mythical man-month (anniversary ed.)

The mythical man-month (anniversary ed.)
A needed narrowing strategy

Journal of the ACM (JACM)
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Three great challenges for half-century-old computer science

Journal of the ACM (JACM)
The verifying compiler: A grand challenge for computing research

Journal of the ACM (JACM)
Problems and projections in CS for the next 49 years

Journal of the ACM (JACM)
Removing Redundant Arguments of Functions

AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
UPV-CURRY: An Incremental CURRY Interpreter

SOFSEM '99 Proceedings of the 26th Conference on Current Trends in Theory and Practice of Informatics on Theory and Practice of Informatics
Refining weakly outermost-needed rewriting and narrowing

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming

Quantified Score

Hi-index	0.00

Visualization

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.