Reasoning about program transformations : imperative programming and flow of data /
The book focuses on analyses that extract the flow of data, which imperative programming hides through its use and reuse of memory in computer systems and compilers. It details some program transformations that conserve this data flow and introduces a family of analyses, called reaching definition a...
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York :
Springer,
2003
New York : c2003 New York : [2003] |
| Subjects: |
Internet
Stanford University
| Call Number: |
QA76.7 .C645 2003 |
|---|
Yale University
| Call Number: |
QA76.7 C645 2003 (LC) |
|---|
University of Chicago
| Call Number: |
QA76.7 .C645 2003 |
|---|
Massachusetts Institute of Technology
| Call Number: |
QA76.7.C645 2003 |
|---|
Johns Hopkins University
| Call Number: |
QA76.7.C645 2003 |
|---|
Cornell University
| Call Number: |
QA76.7 .C645 2003 |
|---|
Columbia University
| Call Number: |
QA76.7 .C645 2003 |
|---|
University of Pennsylvania
| Call Number: |
QA76.7 .C645 2003 |
|---|