Variations on constants [electronic resource] : flow analysis of sequential and parallel programs / Markus Müller-Olm.

Program analysis is concerned with techniques that automatically determine run-time properties of given programs prior to run-time. It is used for validation in order to ensure that programs serve their intended purpose and in further processing for efficient execution such as in optimizing compiler...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Main Author:	Müller-Olm, Markus
Format:	Electronic eBook
Language:	English
Published:	Berlin ; New York : Springer, 2006.
Series:	Lecture notes in computer science ; 3800. LNCS sublibrary. Programming and software engineering.
Subjects:	Parallel programming (Computer science) Sequential processing (Computer science) Mathematical constants. Variables (Mathematics) Computer programs > Correctness.