Anders Moller

• Proceedings of the 4th ACM SIGPLAN International Workshop on State of the Art in Program Analysis