£35.46

Springer Reasoning About Program Transformations: Imperative Programming and Flow of Data

Price data last checked 45 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

This is the usual price. Wait for it to drop, or tell us your number.

£35 today · usual range £33–£35 · best ever £33

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 46 days · 46 data points (no recent data)

Historical
Generating forecast…
£35.49 £32.92 £33.48 £34.04 £34.60 £35.16 £35.72 24 May 2026 04 June 2026 15 June 2026 26 June 2026 08 July 2026

Price Distribution

Price distribution over 46 days • 3 price levels

Days at Price
Current Price
1 day 13 days 32 days · current 0 8 16 24 32 £33 £34 £35 Days at Price

Price Analysis

Most common price: £35 (32 days, 69.6%)

Price range: £33 - £35

Price levels: 3 different prices over 46 days

Description

The text contains a detailed and current presentation of the program analyses and transformations that extract the flow of data in computer memory systems. The emphasis is on a framework for the optimization of code for imperative programs and greater computer systems efficiency. In addition, the author shows that correctness of program transformations is guaranteed by the conservation of data flow. Professionals and researchers in software engineering, computer engineering, program design analysis, and compiler design will benefit from its presentation of data-flow methods and memory optimization of compilers.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
16 October 2002
Listed Since
16 December 2006

Barcode

No barcode data available

Similar Products You Might Like

Programming Languages: Principles and Paradigms (Undergraduate Topics in Computer Science)
95% match

Programming Languages: Principles and Paradigms (Undergraduate Topics in Computer Science)

Springer

£42.80 01 Jul 2026
Understanding Programming Languages
95% match

Understanding Programming Languages

Springer

£50.87 13 Jul 2026
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)
95% match

Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

Springer

£108.00 14 Jul 2026
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
95% match

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Springer

£59.67 03 Jul 2026
Programming Language Explorations
95% match

Programming Language Explorations

Chapman and Hall/CRC

£108.76 09 Jul 2026
Programming Language Explorations
95% match

Programming Language Explorations

Chapman and Hall/CRC

£48.44 23 Jun 2026
Compiler Design: Analysis and Transformation
95% match

Compiler Design: Analysis and Transformation

Springer

£55.39 03 Jul 2026
Compiler Design: Analysis and Transformation
95% match

Compiler Design: Analysis and Transformation

Springer

£53.10 04 Jul 2026
Scheduling and Automatic Parallelization
95% match

Scheduling and Automatic Parallelization

Birkhauser

£88.00 10 Jul 2026
Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization: 2628 (Lecture Notes in Computer Science, 2628)
95% match

Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization: 2628 (Lecture Notes in Computer Science, 2628)

Springer

£44.99 08 Jul 2026
Function/Architecture Optimization and Co-Design of Embedded Systems: 585 (The Springer International Series in Engineering and Computer Science, 585)
95% match

Function/Architecture Optimization and Co-Design of Embedded Systems: 585 (The Springer International Series in Engineering and Computer Science, 585)

Springer

£67.77 01 Jul 2026
Programmierstil in Pascal, Cobol, Fortran, Basic, PL/I (Springer Compass)
95% match

Programmierstil in Pascal, Cobol, Fortran, Basic, PL/I (Springer Compass)

Springer

£41.42 08 Jul 2026
Thinking About Programs (ACM Books)
94% match

Thinking About Programs (ACM Books)

Wiley

£41.62 24 Jun 2026
Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings: 3125 (Lecture Notes in Computer Science, 3125)
94% match

Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings: 3125 (Lecture Notes in Computer Science, 3125)

Springer

£44.82 08 Jul 2026
Novice Programming Environments: Explorations in Human-Computer Interaction and Artificial Intelligence (Routledge Library Editions: Artificial Intelligence)
94% match

Novice Programming Environments: Explorations in Human-Computer Interaction and Artificial Intelligence (Routledge Library Editions: Artificial Intelligence)

Routledge

£125.25 11 Jul 2026
Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques (Advanced Information and Knowledge Processing)
94% match

Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques (Advanced Information and Knowledge Processing)

Springer

£76.41 16 Jul 2026
Functional Programming, Glasgow 1994: Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12–14 September 1994 (Workshops in Computing)
94% match

Functional Programming, Glasgow 1994: Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12–14 September 1994 (Workshops in Computing)

Springer

£76.90 14 Jul 2026
Shape Analysis (Foundations and Trends® in Programming Languages)
94% match

Shape Analysis (Foundations and Trends® in Programming Languages)

Now Publishers Inc

Price unavailable
Essentials of Programming Languages 3e (OIP) (The MIT Press)
94% match

Essentials of Programming Languages 3e (OIP) (The MIT Press)

MIT Press

£70.00 19 Jun 2026
Understanding Control Flow: Concurrent Programming Using μC++
94% match

Understanding Control Flow: Concurrent Programming Using μC++

Springer

£40.95 08 Jul 2026
A Programming Approach to Computability (Monographs in Computer Science)
94% match

A Programming Approach to Computability (Monographs in Computer Science)

Springer

£53.10 09 Jul 2026
Concurrent and Real-time Systems: The CSP Approach (Worldwide Series in Computer Science)
94% match

Concurrent and Real-time Systems: The CSP Approach (Worldwide Series in Computer Science)

Wiley

£55.89 15 Jul 2026
Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and ... (Lecture Notes in Computer Science, 2986)
94% match

Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and ... (Lecture Notes in Computer Science, 2986)

Springer

£103.97 09 Jul 2026
Operations Research mit BASIC auf Commodore 2000/3000, 4000/8000: 12 vollständige Programme
94% match

Operations Research mit BASIC auf Commodore 2000/3000, 4000/8000: 12 vollständige Programme

Gabler Verlag

£46.71 12 Jul 2026