Publications
Export 1 results:
Author Title Type [ Year
] Filters: Keyword is language security [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.