Category: Compilers

View Categories / Computers & the Internet / Compilers

Sort

Showing 1-2 of 2

Reasoning About Program Transformations: Imperative Programming and Flow of Data

By: Collard, Jean-Francois

Price: $48.76

Publisher: Springer: 2002-10-16

Seller ID: M0387953914Z3

ISBN: 0387953914

Condition: Good

Overview The motivation of this text lies in what we believe is the inadequacy of current frameworks to reason about the ?ow of data in imperative programs. This inadequacy clearly shows up when dealing with the individual side effects of loop iterations. - deed, we face a paradoxical situation where, on the one hand, a typical program spends most of its execution time iterating or recursing on a few lines of codes, and, on the other hand, current optimization frameworks are clumsy when trying to capture the effects of each incarnation of these few lines--frameworks we inherited from designs m...
View More...

An introduction to elementary computer and compiler design

By: Steele, Dennis R

Price: $22.91

Publisher: North-Holland New York: 1978-01-01

Seller ID: M044400243XZ2

ISBN: 044400243X

Condition: VeryGood

Standard-sized. VG - Crisp, clean, unread book with some shelfwear/edgewear, may have a remainder mark - NICE
View More...

$0.00 (0 Items)

Category: Compilers

Reasoning About Program Transformations: Imperative Programming and Flow of Data

An introduction to elementary computer and compiler design