Abstract interpretation and low-level code optimization

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations

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.

Original languageEnglish (US)
Title of host publicationProceedings of the 1995 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1995
PublisherAssociation for Computing Machinery
Pages111-121
Number of pages11
ISBN (Electronic)0897917200
DOIs
StatePublished - Jun 23 1995
Event1995 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1995 - San Diego, United States
Duration: Jun 21 1995Jun 23 1995

Publication series

NameProceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation
VolumePart F129370

Other

Other1995 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1995
CountryUnited States
CitySan Diego
Period6/21/956/23/95

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Abstract interpretation and low-level code optimization'. Together they form a unique fingerprint.

  • Cite this

    Debray, S. (1995). Abstract interpretation and low-level code optimization. In Proceedings of the 1995 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1995 (pp. 111-121). (Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation; Vol. Part F129370). Association for Computing Machinery. https://doi.org/10.1145/215465.215571