Artículos relacionados a Principles of Program Analysis
Sinopsis
Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing an overview of the four major approaches to program analysis: data flow analysis, constraint-based analysis, abstract interpretation, and type and effect systems. The presentation illustrates the extensive similarities between the approaches, helping readers to choose the best one to utilize.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
Flemming Nielson and Hanne Riis Nielson are full professors at the Technical University of Denmark (DTU), where they research formal methods for safe and secure systems in the Dept. of Applied Mathematics and Computer Science. They have written successful textbooks, including the Springer titles "Semantics with Applications: An Appetizer" and "Principles of Program Analysis", and they have lectured on these topics at Aalborg University, Aarhus University, the University of Kiel, Saarland University, and the Technical University of Denmark.
De la contraportada
Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between data representation (for solving problems such as the Y2K problem). This book is unique in giving an overview of the four major approaches to program analysis: data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems. The presentation demonstrates the extensive similarities between the approaches; this will aid the reader in choosing the right approach and in enhancing it with insights from the other approaches. The book covers basic semantic properties as well as more advanced algorithmic techniques. The book is aimed at M.Sc. and Ph.D. students but will be valuable also for experienced researchers and professionals.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Principles of Program Analysis
Imagen del vendedor
Principles of Program Analysis
Librería: Goodwill of Silicon Valley, SAN JOSE, CA, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: good. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear. Nº de ref. del artículo: GWSVV.3540654100.G
Comprar usado
EUR 34,63
Envío por EUR 3,61
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Principles of Program Analysis
Librería: medimops, Berlin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. Nº de ref. del artículo: M03540654100-G
Comprar usado
EUR 29,57
Envío por EUR 10,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Principles of Program Analysis
Publicado por
Springer Berlin / Heidelberg, 1999
ISBN 10: 3540654100
ISBN 13: 9783540654100
Antiguo o usado
Tapa dura
Librería: Better World Books Ltd, Dunfermline, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Very Good. 1 Edition. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Nº de ref. del artículo: 13743127-20
Comprar usado
EUR 35,40
Envío por EUR 5,99
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Principles of Program Analysis
Librería: GoldBooks, Denver, CO, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: new. New Copy. Customer Service Guaranteed. Nº de ref. del artículo: 7E40_34_3540654100
Comprar nuevo
EUR 78,09
Envío por EUR 4,98
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Principles of Program Analysis
Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: New. In shrink wrap. Looks like an interesting title! Nº de ref. del artículo: Q-3540654100
Comprar nuevo
EUR 81,11
Envío por EUR 6,29
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Principles of Program Analysis
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 574580-n
Comprar nuevo
EUR 85,11
Envío por EUR 2,39
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Principles of Program Analysis
Librería: Studibuch, Stuttgart, Alemania
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: Sehr gut. 473 Seiten; 9783540654100.2 Gewicht in Gramm: 1. Nº de ref. del artículo: 1331016
Comprar usado
EUR 29,99
Envío por EUR 62,30
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Principles of Program Analysis
Librería: AproposBooks&Comics, London, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Hardcover. Condición: As New. Nº de ref. del artículo: 040426/putbroham/bed10/1HCVC
Comprar usado
EUR 83,18
Envío por EUR 17,90
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Principles of Program Analysis
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 574580
Comprar usado
EUR 101,64
Envío por EUR 2,39
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Principles of Program Analysis
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 574580
Comprar usado
EUR 86,81
Envío por EUR 17,96
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles