Name: Path-Oriented Program Analysis (en Inglés)
Price: 32810.00 CLP
Availability: InStock
Author: Huang, J. C.
ISBN: 9780521882866

portada Path-Oriented Program Analysis (en Inglés)

Path-Oriented Program Analysis (en Inglés)

Formato

Libro Físico

Autor

J. C. Huang

Editorial

Cambridge University Press

Año

2007

Idioma

Inglés

N° páginas

208

Encuadernación

Tapa Dura

Dimensiones

23.1 x 16.2 x 1.9 cm

Peso

0.40 kg.

ISBN

0521882869

ISBN13

9780521882866

Categorías

Programación informática/desarrollo de software

Path-Oriented Program Analysis (en Inglés)

J. C. Huang (Autor) · Cambridge University Press · Tapa Dura

Libro UsadoBuen Estado Importado

Envío: 14 a 19 días háb.

$ 32.810

Costos de importación incluídos en el precio ✅

Libro Usado(Buen Estado)

Última Unidad

$ 32.810

Llega entre el 31 Jul y el 07 Ago a Santiago, Región Metropolitana. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Path-Oriented Program Analysis (en Inglés)"

This book presents a unique method for decomposing a computer program along its execution paths, for simplifying the subprograms so produced, and for recomposing a program from its subprograms. This method enables us to divide and conquer the complexity involved in understanding the computation performed by a program by decomposing it into a set of subprograms and then simplifying them to the furthest extent possible. The resulting simplified subprograms are generally more understandable than the original program as a whole. The method may also be used to simplify a piece of source code by following the path-oriented method of decomposition, simplication, and recomposition. The analysis may be carried out in such a way that the derivation of the analysis result constitutes a correctness proof. The method can be applied to any source code (or portion thereof) that prescribes the computation to be performed in terms of assignment statements, conditional statements, and loop constructs, regardless of the language or paradigm used.