Hanne Riis Nielson

1954

• Principles of program analysis
• Formal Methods
• Coordination Models and Languages
• Programming Languages and Systems - Esop '96: 6th European Symposium on Programming Linkoping, Sweden, April 22-24, 1996
• Semantics with applications
• Semantics with applications
• Static Analysis
• Two-level functional languages
• Type and effect systems
• Static Analysis