Variations on Constants: Flow Analysis of Sequential and Parallel Programs: 3800 (Programming and Software Engineering) - Tapa blanda

M??ller-Olm, Markus

 
9783540453857: Variations on Constants: Flow Analysis of Sequential and Parallel Programs: 3800 (Programming and Software Engineering)

Sinopsis

This monograph focuses on optimal flow analysis of sequential and parallel programs. It studies algorithmic properties of various versions of the well-known constant-propagation problem, combining techniques from such diverse areas as linear algebra, computable ring theory, abstract interpretation, program verification and complexity theory. This combination of techniques is the key to further progress in automatic analysis and constant-propagation illustrates this point in a theoretical study.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

This monograph focuses on optimal flow analysis of sequential and parallel programs. It studies algorithmic properties of various versions of the well-known constant-propagation problem, combining techniques from such diverse areas as linear algebra, computable ring theory, abstract interpretation, program verification and complexity theory. This combination of techniques is the key to further progress in automatic analysis and constant-propagation illustrates this point in a theoretical study.

"Sobre este título" puede pertenecer a otra edición de este libro.