Abstract interpretation and low-level code optimization

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

3 Citations (Scopus)

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
VolumePart F129370
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

Other

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

Fingerprint

Semantics

ASJC Scopus subject areas

  • Software

Cite this

Debray, S. K. (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 (Vol. Part F129370, pp. 111-121). Association for Computing Machinery. https://doi.org/10.1145/215465.215571

Abstract interpretation and low-level code optimization. / Debray, Saumya K.

Proceedings of the 1995 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1995. Vol. Part F129370 Association for Computing Machinery, 1995. p. 111-121.

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

Debray, SK 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. vol. Part F129370, Association for Computing Machinery, pp. 111-121, 1995 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1995, San Diego, United States, 6/21/95. https://doi.org/10.1145/215465.215571
Debray SK. 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. Vol. Part F129370. Association for Computing Machinery. 1995. p. 111-121 https://doi.org/10.1145/215465.215571
Debray, Saumya K. / Abstract interpretation and low-level code optimization. Proceedings of the 1995 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1995. Vol. Part F129370 Association for Computing Machinery, 1995. pp. 111-121
@inproceedings{5bab95ed282a4baba309604ff7bb838f,
title = "Abstract interpretation and low-level code optimization",
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.",
author = "Debray, {Saumya K}",
year = "1995",
month = "6",
day = "23",
doi = "10.1145/215465.215571",
language = "English (US)",
volume = "Part F129370",
pages = "111--121",
booktitle = "Proceedings of the 1995 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1995",
publisher = "Association for Computing Machinery",

}

TY - GEN

T1 - Abstract interpretation and low-level code optimization

AU - Debray, Saumya K

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

VL - Part F129370

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

ER -