Shape analysis and applications

Thomas Reps; Mooly Sagiv; Reinhard Wilhelm

doi:10.1201/9781420040579

Shape analysis and applications

Thomas Reps, Mooly Sagiv, Reinhard Wilhelm

School of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

12 Scopus citations

Abstract

Pointers and heap-allocated storage are features of all modern imperative programming languages. However, they are ignored in most formal treatments of the semantics of imperative programming languages because their inclusion complicates the semantics of assignment statements: an assignment through a pointer variable (or through a pointer-valued component of a record) may have far-reaching side effects. Work that has treated the semantics of pointers includes [2, 26-28].

Original language	English
Title of host publication	The Compiler Design Handbook
Subtitle of host publication	Optimizations and Machine Code Generation
Publisher	CRC Press
Pages	175-217
Number of pages	43
ISBN (Electronic)	9781420040579
ISBN (Print)	084931240X, 9780849312403
DOIs	https://doi.org/10.1201/9781420040579
State	Published - 1 Jan 2002

Access to Document

10.1201/9781420040579

Cite this

@inbook{8d2e337603e046ca95e2250e01124ea9,

title = "Shape analysis and applications",

abstract = "Pointers and heap-allocated storage are features of all modern imperative programming languages. However, they are ignored in most formal treatments of the semantics of imperative programming languages because their inclusion complicates the semantics of assignment statements: an assignment through a pointer variable (or through a pointer-valued component of a record) may have far-reaching side effects. Work that has treated the semantics of pointers includes [2, 26-28].",

author = "Thomas Reps and Mooly Sagiv and Reinhard Wilhelm",

note = "Publisher Copyright: {\textcopyright} 2003 by CRC Press LLC.",

year = "2002",

month = jan,

day = "1",

doi = "10.1201/9781420040579",

language = "אנגלית",

isbn = "084931240X",

pages = "175--217",

booktitle = "The Compiler Design Handbook",

publisher = "CRC Press",

}

TY - CHAP

T1 - Shape analysis and applications

AU - Reps, Thomas

AU - Sagiv, Mooly

AU - Wilhelm, Reinhard

PY - 2002/1/1

Y1 - 2002/1/1

N2 - Pointers and heap-allocated storage are features of all modern imperative programming languages. However, they are ignored in most formal treatments of the semantics of imperative programming languages because their inclusion complicates the semantics of assignment statements: an assignment through a pointer variable (or through a pointer-valued component of a record) may have far-reaching side effects. Work that has treated the semantics of pointers includes [2, 26-28].

AB - Pointers and heap-allocated storage are features of all modern imperative programming languages. However, they are ignored in most formal treatments of the semantics of imperative programming languages because their inclusion complicates the semantics of assignment statements: an assignment through a pointer variable (or through a pointer-valued component of a record) may have far-reaching side effects. Work that has treated the semantics of pointers includes [2, 26-28].

UR - http://www.scopus.com/inward/record.url?scp=37049005338&partnerID=8YFLogxK

U2 - 10.1201/9781420040579

DO - 10.1201/9781420040579

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.chapter???

AN - SCOPUS:37049005338

SN - 084931240X

SN - 9780849312403

SP - 175

EP - 217

BT - The Compiler Design Handbook

PB - CRC Press

ER -

Shape analysis and applications

Abstract

Access to Document

Other files and links

Fingerprint

Cite this