Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Reasoning About Program Transformations

Name: Reasoning About Program Transformations
Brand: Springer-Verlag New York Inc.
SKU: 01384384
Price: 21647 HUF
Availability: InStock
Author: J.-F. Collard
ISBN: 9780387953915

Imperative Programming and Flow of Data

J.-F. Collard

Language

English

Book Hardback

Libristo code: 01384384

Publishers Springer-Verlag New York Inc., October 2002

The book focuses on analyses that extract the flow of data, which imperative programming hides throu... Full description

Libristo code: 01384384

145 b

21 647 Ft

Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

Customers also purchased

Puzzle Panorama 1000 Compact Disney Classics 39871

Jigsaw puzzle

3 207 Ft

AA Road Map Brittany

Map

2 953 Ft

El Universo Riaza Morales

Hardback

8 590 Ft

Restschuldversicherung und Liquiditätssicherung Udo Reifner

Hardback

10 570 Ft

Multiversum verstehen: Eine Reise durch die Parallelwelten der Physik Gaia A.I. Sauge

Paperback

10 095 Ft

Kredki Bambino Pusheen 12 kolorów

binding.

837 Ft

Therapie funktioneller Stimmstörungen Walburga Brügge

Paperback

11 139 Ft

Freiwilliges Engagement in Deutschland. Freiwilligensurvey 1999 Bernhard von Rosenbladt

Paperback

14 134 Ft

Jours d'épreuve Paul Margueritte

Paperback

4 669 Ft

Handbuch Soziale Arbeit und Einsamkeit Michael Noack

Hardback

22 620 Ft

Comment l'Esprit Vient Aux Electeurs Sans Auteur

Paperback

5 619 Ft

Ravensburger Kinderpuzzle - 09237 Mein Reiterhof - Puzzle für Kinder ab 5 Jahren, mit 3x49 Teilen

Game

4 862 Ft

Вьюрки Дарья Бобылева

Hardback

10 048 Ft

Le doloromètre universel Gontier

Paperback

4 471 Ft

Du haut d'un brin d'herbe, on voit bien la Terre Antoine Paje

Paperback

4 100 Ft

La linguistique textuelle - 4e éd. Jean-Michel Adam

Paperback

12 149 Ft

Négykezes plazmára és energiavetőre Anthony Sheenard

Paperback

4 455 Ft

Bear Grylls Dobrodružství ve velehorách Bear Grylls

Hardback

2 699 Ft

No Me Hables del Cielo: Revisitaciones a Un Hombre Sincero de Donde Crece La Palma. Angel Velazquez Callejas

Paperback

3 949 Ft

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 analyses, to do this task. In addition, it 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.