29 citations · 51 across the 18 of their papers we have counts for
4 papers · 1 filter
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…
A Theory of Available-by-Design Communicating Systems
Hugo A. López, Flemming Nielson, Hanne Riis Nielson
Choreographic programming is a programming-language design approach that drives error-safe protocol development in distributed systems. Starting from a global specification (choreo…
Pushdown Systems for Monotone Frameworks
Michal Terepeta, Hanne Riis Nielson, Flemming Nielson
Monotone frameworks is one of the most successful frameworks for intraprocedural data flow analysis extending the traditional class of bitvector frameworks (like live variables and…
Secondary use of data in EHR systems
Fan Yang, Chris Hankin, Flemming Nielson +1
We show how to use aspect-oriented programming to separate security and trust issues from the logical design of mobile, distributed systems. The main challenge is how to enforce va…