| |
| 2003 | ||
|---|---|---|
| 2 | EE | Adolfo Duran, Ana Cavalcanti, Augusto Sampaio: A Strategy for Compiling Classes, Inheritance, and Dynamic Binding. FME 2003: 301-320 |
| 2002 | ||
| 1 | EE | Adolfo Duran, Ana Cavalcanti, Augusto Sampaio: Refinement Algebra for Formal Bytecode Generation. ICFEM 2002: 347-358 |
| 1 | Ana Cavalcanti | [1] [2] |
| 2 | Augusto Sampaio | [1] [2] |