 | 2011 |
|---|
| 6 |       | Maria João Frade,
Jorge Sousa Pinto:
Verification conditions for source-level imperative programs.
Computer Science Review 5(3): 252-277 (2011) |
| 2009 |
|---|
| 5 | | Maria João Frade,
Ando Saabas,
Tarmo Uustalu:
Bidirectional data-flow analyses, type-systematically.
PEPM 2009: 141-150 |
| 2007 |
|---|
| 4 | | Maria João Frade,
Ando Saabas,
Tarmo Uustalu:
Foundational certification of data-flow analyses.
TASE 2007: 107-116 |
| 2006 |
|---|
| 3 | | José Espírito Santo,
Maria João Frade,
Luis Pinto:
Structural Proof Theory as Rewriting.
RTA 2006: 197-211 |
| 2004 |
|---|
| 2 | | Gilles Barthe,
Maria João Frade,
E. Giménez,
Luis Pinto,
Tarmo Uustalu:
Type-based termination of recursive definitions.
Mathematical Structures in Computer Science 14(1): 97-141 (2004) |
| 1999 |
|---|
| 1 | | Gilles Barthe,
Maria João Frade:
Constructor Subtyping.
ESOP 1999: 109-127 |
Data released under the ODC-BY 1.0 license — See also our legal information page