Year: 1995
Type: conference-abstract
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 optimization, examine some of its limitations, and consider ways in which they might be addressed.1
Author: Saumya Debray
Institution: University of Arizona
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze
OpenAlex ID: W1967255782