Abstract Interpretation and Low-Level Code Optimization

Interpretation and Low-Level Code Optimization Saumya Debray Department of Computer Science University of Arizona Tucson, AZ 85715 Abstract 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 optimizations,examinesome of its limitations,and consider ways in which they might be addressed.

• Type: Conference
• Year: 1995
• Where: PEPM
• Authors: Saumya K. Debray
• Keywords: Abstract Interpretation, Low-Level Code Optimization, Low-level Compiler Optimizations, PEPM 1995, Software Engineering