Principles of Program Analysis
Prijzen vanaf
VERGELIJK ALLE AANBIEDERS
(3)
Bol
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.
Lees meer
59,99
Uitgelicht
|
59,99 |
Naar shop
|
|
62,12 |
Naar shop
|
|
62,12 |
Naar shop
|
Beschrijving
Bol
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.
Bol
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.
AmazonPagina's: 473, Editie: 1999, Paperback, Springer