Shape analysis and applications

Thomas Reps, Mooly Sagiv, Reinhard Wilhelm

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review


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 languageEnglish
Title of host publicationThe Compiler Design Handbook
Subtitle of host publicationOptimizations and Machine Code Generation
PublisherCRC Press
Number of pages43
ISBN (Electronic)9781420040579
ISBN (Print)084931240X, 9780849312403
StatePublished - 1 Jan 2002


Dive into the research topics of 'Shape analysis and applications'. Together they form a unique fingerprint.

Cite this