ACM Fellows
Canada - 2009
citation
For contributions to program analysis of procedural, object-oriented and aspect-oriented programming languages.
citation
For contributions to program analysis of procedural, object-oriented and aspect-oriented programming languages.