LIBRISTO
LIBROAMANTO
mandatory
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
0
Austrian Post 5.99 € GLS courier 5.49 € DPD courier 4.99 € DPD point 3.99 €

Reasoning About Program Transformations

Imperative Programming and Flow of Data

Language EnglishEnglish
Book Hardback
Book Reasoning About Program Transformations J.-F. Collard
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
? points 122 b
49.89 € VAT included
In stock at our supplier Shipping in 10-13 days
Austria Delivery to Austria

Up to 30 days for returns


Customers also purchased


Dynasty. Assassin's Creed Xu Xianzhe / Book Paperback
common.buy 10.79 €
Therapie funktioneller Stimmstörungen Walburga Brügge / Book Paperback
common.buy 29.90 €
Top
Pohlaď si mě Zvířata na vsi Gražyna Wasilewicz / Book Board book
common.buy 7.79 €
Handbuch Soziale Arbeit und Einsamkeit Michael Noack / Book Hardback
common.buy 61.00 €
Le doloromètre universel Gontier / Book Paperback
common.buy 10.29 €
La linguistique textuelle - 4e éd. Jean-Michel Adam / Book Paperback
common.buy 42.69 €
Négykezes plazmára és energiavetőre Anthony Sheenard / Book Paperback
common.buy 11.19 €
Messiah HWV 56 / Audio Audio CD
common.buy 48.59 €
Comment l'Esprit Vient Aux Electeurs Sans Auteur / Book Paperback
common.buy 14.69 €
Jours d'épreuve Paul Margueritte / Book Paperback
common.buy 11.49 €
Jornada de Fe Para Adultos, Catecumenado Redemptorist Pastoral Publication / Book Sheet
common.buy 8.79 €
El Universo Riaza Morales / Book Hardback
common.buy 23.49 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Reasoning About Program Transformations
Author J.-F. Collard
Language English
Binding Book - Hardback
Date of issue 2002
Number of pages 238
EAN 9780387953915
ISBN 0387953914
Libristo code 01384384
Weight 1210
Dimensions 155 x 235 x 19
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in


Modern Compiler Implementation in ML Andrew W Appel / Book Paperback
common.buy 91.39 €
Programming Languages and Systems David Sands / Book Paperback
common.buy 51.09 €
Alice in Wonderland Adult Coloring Book Joe Brusha / Book Paperback
common.buy 14.79 €
Functional Programming, Glasgow 1992 John Launchbury / Book Paperback
common.buy 51.09 €
C2 Compiler Concepts Bernd Teufel / Book Paperback
common.buy 51.09 €
Debugging with GDB RICHARD STALLMAN / Book Paperback
common.buy 33.19 €
Top
Metaprogramming Elixir Chris McCord / Book Paperback
common.buy 15.69 €
Moxie Jennifer Mathieu / Book Paperback
common.buy 7.19 €
Nemesis Kincaid / Book Hardback
common.buy 18.40 €
military journals of two private soldiers, 1758-1775 Abraham Tomlinson / Book Paperback
common.buy 17.49 €
Top
Roman Republican Coinage 2 Volume Paperback Set Michael H. Crawford / Book Paperback
common.buy 122.49 €
Beast Quest: Krotax the Tusked Destroyer Adam Blade / Book Paperback
common.buy 6.09 €
Introduction to Programming with Fortran Ian Chivers / Book Hardback
common.buy 139.29 €
Australian Policies and Attitudes Toward China Henry Stephen Albinski / Book Hardback
common.buy 261.99 €
The Ballerina's First Dance Jimmy Badavino / Book Paperback
common.buy 12.99 €
Kissed By Karma D Brown-Newton / Book Paperback
common.buy 11.69 €
School Earth For The Soul Tom Elliott / Book Paperback
common.buy 7.29 €
Oman Inc. IBP / Book Paperback
common.buy 72.99 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?