Symbolic Analysis in the PROMIS Compiler

Nicholas Stavrakos,Hideki Saito,Constantine D Polychronopoulos ,Steven Carroll ,Alexandru Nicolau

doi:10.1007/3-540-44905-1_33

Symbolic Analysis in the PROMIS Compiler

Nicholas Stavrakos, Hideki Saito + Show 3 more

https://doi.org/10.1007/3-540-44905-1_33

Copy DOI

Publication Date: Jan 1, 2000

Citations: 6

Affiliation: University of Illinois Urbana-Champaign, University of California, Irvine

#Symbolic Analysis Framework #Symbolic Analysis + Show 8 more

Abstract
Full-Text PDF
Similar Papers

Abstract

PROMIS is a multilingual, parallelizing, and optimizing compiler which is being developed at the Univ. of Illinois with its optimizing ILP backend developed at Univ. of California at Irvine[4]. In PROMIS, symbolic analysis is performed through an abstract interpretation[2] of the input program. Abstract interpretation is a technique for approximating the execution of the program by mapping symbolic (closed form) values computed at compile time to the actual values computed at runtime. This paper describes the symbolic analysis framework in the PROMIS compiler, and its application to Java program optimizations.

Full Text