Fortran program specialization
- 1 April 1995
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 30 (4) , 61-70
- https://doi.org/10.1145/202176.202184
Abstract
We have developed and implemented a partial evaluator for a subset of Fortran 77. A partial evaluator is a tool for program transformation which takes as input a general program and a part of its input, and produces as output a specialized program. The goal is efficiency: a specialized program often runs an order of magnitude faster than the general program. The partial evaluator is based on the off-line approach and uses a binding-time analysis prior to the specialization phase. The source language includes multi-dimensional arrays, procedures and functions, as well as global storage. The system is presented and experimental results are given.Keywords
This publication has 12 references indexed in Scilit:
- Binding-time analysis and the taming of C pointersPublished by Association for Computing Machinery (ACM) ,1993
- Partial evaluation of general parsersPublished by Association for Computing Machinery (ACM) ,1993
- Partial evaluation of high-level imperative programming languages with applications in hard real-time systemsPublished by Association for Computing Machinery (ACM) ,1992
- Software specialization via symbolic executionIEEE Transactions on Software Engineering, 1991
- Compiling scientific code using partial evaluationComputer, 1990
- Partial evaluation applied to numerical computationPublished by Association for Computing Machinery (ACM) ,1990
- Comparative efficiency of general and residual parsersACM SIGPLAN Notices, 1990
- Converting interpreters into compilersSoftware: Practice and Experience, 1988
- Polyvariant mixed computation for analyzer programsActa Informatica, 1984
- Mixed computation: potential applications and problems for studyTheoretical Computer Science, 1982