Publications
Export 1 results:
[ Author] Title Type Year Filters: Keyword is object oriented languages [Clear All Filters]
2005. A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract). Electronic Notes in Theoretical Computer Science. 131:111-124.