phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł ORLEN Paczka 10.99 zł Poczta Polska 18.99 zł
phone Kontakt phoneJak kupować

Reasoning About Program Transformations

Język AngielskiAngielski
Książka Twarda
Książka Reasoning About Program Transformations J.-F. Collard
Kod Libristo: 01384384
Wydawnictwo Springer-Verlag New York Inc., październik 2002
The book focuses on analyses that extract the flow of data, which imperative programming hides throu... Cały opis
? points 154 b
262.97 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

TOP
Modern X86 Assembly Language Programming Daniel Kusswurm / Miękka
common.buy 242.33 zł
Debugging with GDB RICHARD STALLMAN / Miękka
common.buy 156.74 zł
Metaprogramming Elixir Chris McCord / Miękka
common.buy 63.03 zł
Language Implementation Patterns Terence Parr / Miękka
common.buy 123.46 zł
Writing Compilers and Interpreters - A Software Engineering Approach Mak / Miękka
common.buy 368.91 zł
Alice in Wonderland Adult Coloring Book Joe Brusha / Miękka
common.buy 50.40 zł
Ethereum: The Definitive Guide to Investing in Ethereum & Blockchain Cryptocurrency: Includes Blueprint Fintech Contracts Artemis Caro / Miękka
common.buy 75.46 zł
Programming Languages: Principles and Paradigms Maurizio Gabbrielli / Miękka
common.buy 261.67 zł
Functional Programming, Glasgow 1992 John Launchbury / Miękka
common.buy 262.97 zł
Programming Languages and Systems David Sands / Miękka
common.buy 262.97 zł
C2 Compiler Concepts Bernd Teufel / Miękka
common.buy 262.97 zł
Modern Compiler Implementation in ML Andrew W Appel / Miękka
common.buy 376.22 zł
Introduction to Programming with Fortran Ian Chivers / Twarda
common.buy 751.15 zł
Beginning C++ Compilers Ademi Ospanova / Miękka
common.buy 174.58 zł

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.

Informacje o książce

Pełna nazwa Reasoning About Program Transformations
Autor J.-F. Collard
Język Angielski
Oprawa Książka - Twarda
Data wydania 2002
Liczba stron 238
EAN 9780387953915
ISBN 0387953914
Kod Libristo 01384384
Wydawnictwo Springer-Verlag New York Inc.
Waga 1210
Wymiary 155 x 235 x 19

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka)
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo