Publications

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: Keyword is object oriented languages  [Clear All Filters]
Journal Articles
Skalka C, Smith S, Van Horn D.  2005.  A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract). Electronic Notes in Theoretical Computer Science. 131:111-124.