H
Hanne Riis Nielson
1954
8 works on record
Works

Semantics with applications

Type and effect systems

Formal Methods

Coordination Models and Languages

Two-level functional languages

Principles of program analysis

Programming Languages and Systems - Esop '96: 6th European Symposium on Programming Linkoping, Sweden, April 22-24, 1996
Static Analysis
Static Analysis