Experiments in Optimizing FP

Authors:
Barbara G. Ryder;J. Stephen Pendergrast
Affiliations:
Rutgers University, New Brunswick, NJ;-
Venue:
IEEE Transactions on Software Engineering
Year:
1988

Citing 11
Cited 0

Compilers: principles, techniques, and tools

Compilers: principles, techniques, and tools
An execution architecture for FP

IBM Journal of Research and Development
The aggregate update problem in functional programming systems

POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

Communications of the ACM
Register allocation by priority-based coloring

SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Flow Analysis of Computer Programs

Flow Analysis of Computer Programs
From Function Level Semantics to Program Transformation and Optimization

CAAP '85 Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Volume 1: Colloquium on Trees in Algebra and Programming: Mathematical Foundations of Software Development
A simple optimizer for FP-like languages

FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Transformations of FP program schemes

FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Compile time type determination in SETL

ACM '74 Proceedings of the 1974 annual conference - Volume 1
Binding time optimization in programming languages: Some thoughts toward the design of an ideal language

POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

FPOPT, a globally optimizing compiler for FP, was built to study the efficiency of compiling a functional programming language by translating it into an intermediate language and then optimizing that intermediate language. This paper describes the FPOPT system, the design of the intermediate language and the optimizations performed. We have compared the relative effectiveness of these optimizations, singly and in combinations, using an instrumented version of FPOPT; we report our findings here.