TY - GEN
T1 - Abstract interpretation and low-level code optimization
AU - Debray, Saumya
N1 - Publisher Copyright:
© 1995 ACM.
PY - 1995/6/23
Y1 - 1995/6/23
N2 - Interpretation is widely accepted as a natural framework for semantics-based analysis of program properties. However, most formulations of abstract interpretation are in terms of high-level semantic entities that do not adequately address the needs of lowlevel optimizations. In this paper we discuss the role of abstract interpretation in low-level compiler optimization, examine some of its limitations, and consider ways in which they might be addressed.
AB - Interpretation is widely accepted as a natural framework for semantics-based analysis of program properties. However, most formulations of abstract interpretation are in terms of high-level semantic entities that do not adequately address the needs of lowlevel optimizations. In this paper we discuss the role of abstract interpretation in low-level compiler optimization, examine some of its limitations, and consider ways in which they might be addressed.
UR - http://www.scopus.com/inward/record.url?scp=38349057151&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=38349057151&partnerID=8YFLogxK
U2 - 10.1145/215465.215571
DO - 10.1145/215465.215571
M3 - Conference contribution
AN - SCOPUS:38349057151
T3 - Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation
SP - 111
EP - 121
BT - Proceedings of the 1995 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1995
PB - Association for Computing Machinery
T2 - 1995 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1995
Y2 - 21 June 1995 through 23 June 1995
ER -