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].
|Title of host publication||The Compiler Design Handbook|
|Subtitle of host publication||Optimizations and Machine Code Generation|
|Number of pages||43|
|ISBN (Print)||084931240X, 9780849312403|
|State||Published - 1 Jan 2002|