«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Reasoning About Program Transformations

Imperative Programming and Flow of Data

Idioma InglésInglés
Libro Tapa dura
Libro Reasoning About Program Transformations J.-F. Collard
Código Libristo: 01384384
Editores Springer-Verlag New York Inc., octubre 2002
The book focuses on analyses that extract the flow of data, which imperative programming hides throu... Descripción completa
? points 136 b
55.49 €
Almacenamiento externo Envío en 10-13 días

Política de devolución de 30 días

Clientes que también han comprado

Kredki Bambino Pusheen 12 kolorów / Libro binding.
common.buy 2.69 €
AA Road Map Brittany / Artículos impresos Mapa
common.buy 8.29 €
El Universo Riaza Morales / Libro Tapa dura
common.buy 25.09 €
Puzzle Panorama 1000 Compact Disney Classics 39871 / Juego/Juguete Rompecabezas
common.buy 8.89 €
Вьюрки Дарья Бобылева / Libro Tapa dura
common.buy 30.69 €
Du haut d'un brin d'herbe, on voit bien la Terre Antoine Paje / Libro Tapa blanda
common.buy 11.59 €
La linguistique textuelle - 4e éd. Jean-Michel Adam / Libro Tapa blanda
common.buy 31.49 €
Négykezes plazmára és energiavetőre Anthony Sheenard / Libro Tapa blanda
common.buy 12.29 €
Jours d'épreuve Paul Margueritte / Libro Tapa blanda
common.buy 12.39 €
Comment l'Esprit Vient Aux Electeurs Sans Auteur / Libro Tapa blanda
common.buy 17.09 €
Restschuldversicherung und Liquiditätssicherung Udo Reifner / Libro Tapa dura
common.buy 29.59 €

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Reasoning About Program Transformations
Autor J.-F. Collard
Idioma Inglés
Encuadernación Libro - Tapa dura
Fecha de publicación 2002
Número de páginas 238
EAN 9780387953915
ISBN 0387953914
Código Libristo 01384384
Editores Springer-Verlag New York Inc.
Peso 1210
Dimensiones 155 x 235 x 19

Categorías

Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Ciencias de la computación
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Modern Compiler Implementation in ML Andrew W Appel / Libro Tapa blanda
common.buy 100.99 €
Programming Languages and Systems David Sands / Libro Tapa blanda
common.buy 56.59 €
Popular
Alice in Wonderland Adult Coloring Book Joe Brusha / Libro Tapa blanda
common.buy 14.89 €
Functional Programming, Glasgow 1992 John Launchbury / Libro Tapa blanda
common.buy 56.59 €
C2 Compiler Concepts Bernd Teufel / Libro Tapa blanda
common.buy 56.59 €
Ethereum: The Definitive Guide to Investing in Ethereum & Blockchain Cryptocurrency: Includes Blueprint Fintech Contracts Artemis Caro / Libro Tapa blanda
common.buy 16.39 €
Debugging with GDB RICHARD STALLMAN / Libro Tapa blanda
common.buy 35.69 €
Metaprogramming Elixir Chris McCord / Libro Tapa blanda
common.buy 18.99 €
Popular
Modern X86 Assembly Language Programming Daniel Kusswurm / Libro Tapa blanda
common.buy 55.19 €
Learning Your Computer Through Pictures Elaine Ray / Libro Tapa blanda
common.buy 25.99 €
The Ballerina's First Dance Jimmy Badavino / Libro Tapa blanda
common.buy 13.99 €
A Moment with Monet Sima Levy / Libro Tapa blanda
common.buy 13.39 €
Introduction to Programming with Fortran Ian Chivers / Libro Tapa dura
common.buy 154.79 €
Alfred Nobel: The Life and Legacy of the Famous Scientist and the Nobel Prizes Charles River Editors / Libro Tapa blanda
common.buy 10.99 €
Nemesis Kincaid / Libro Tapa dura
common.buy 19.89 €
Best 500+ Non Profit Organizations for Prisoners and their Families Garry W. Johnson / Libro Tapa blanda
common.buy 22.89 €
Power and Deterrence: Iran's Rise and Its Geostrategic Rivalry with the Us in Iraq, Lebanon, Syria and Yemen MILANI MOHSEN M / Libro Tapa dura
common.buy 33.89 €
Wood's Illustrated Plant Record: With King's Check Tablets, for the Rapid and Systematic Analysis of Plants: Adapted to Any American Botany Alphonso Wood / Libro Tapa dura
common.buy 27.89 €
Lauri's Pocket Posh Journal, Mum Andrews McMeel Publishing / Libro Tapa blanda
common.buy 8.09 €
Popular
Career Paths. Facilities Maintenance. Student's Book + kod DigiBook Express Publishing (obra colectiva) / Libro Tapa blanda
common.buy 26.59 €
Popular
The Wheel of Time Box Set 3 Robert Jordan / Libro Tapa blanda
common.buy 34.49 €
Popular
Tokyo Revengers (Omnibus) Vol. 5-6 Wakui / Libro Tapa blanda
common.buy 18.89 €
Pitbull - Mr. Worldwide C. Duthel / Libro Tapa blanda
common.buy 31.09 €
Oman Inc. IBP / Libro Tapa blanda
common.buy 84.79 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?