1 citations · 1 across the 3 of their papers we have counts for
3 papers
Program Analysis (an Appetizer)
Flemming Nielson, Hanne Riis Nielson
This book is an introduction to program analysis that is meant to be considerably more elementary than our advanced book Principles of Program Analysis (Springer, 2005). Rather tha…
Design-Efficiency in Security
Ender Yüksel, Hanne Riis Nielson, Flemming Nielson
In this document, we present our applied results on balancing security and performance using a running example, which is based on sensor networks. These results are forming a basis…
Lattice based Least Fixed Point Logic
Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson
As software systems become more complex, there is an increasing need for new static analyses. Thanks to the declarative style, logic programming is an attractive formalism for spec…