home
>
book reviews
> Hanne Riis Nielson
Google >
Hanne Riis Nielson
author : Hanne Riis Nielson
Books
Semantics with Applications
. 1992,
with
Flemming Nielson
Principles of Program Analysis
.
1999,
with
Flemming Nielson
,
Chris Hankin
Books : reviews
Hanne Riis Nielson, Flemming Nielson.
Semantics with Applications
: a formal introduction
.
Wiley. 1992
Flemming Nielson, Hanne Riis Nielson, Chris Hankin.
Principles of Program Analysis
.
Springer. 1999
(read but not reviewed)
Contents:
Introduction
Data Flow Analysis
Intra- and inter-procedural analysis monotone frameworks shape analysis
Constraint Based Analysis
Abstract Interpretation
Approximation of fixed points Galois connections
Type and Effect Systems
Type systems side effect analysis exception analysis
Algorithms