Principles of Program Analysis

Name: Principles of Program Analysis
Author: Chris Hankin

Chris Hankin, Flemming Nielson, Hanne R. Nielson

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Knihu koupíte v 1 e-shopu

Bookshop.cz

1 469 Kč

Není skladem

Do obchodu

Krátký popis

Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. 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.

Výběr knih vydavatele Springer-Verlag Berlin and Heidelberg GmbH & Co. KG