Travelled to:
1 × Italy
1 × The Netherlands
2 × USA
Collaborated with:
J.S.Pinto G.Barthe D.C.d.Cruz A.Saabas T.Uustalu J.E.Santo L.Pinto C.B.Lourenço
Talks about:
program (2) assign (2) verif (2) singl (2) constructor (1) systemat (1) structur (1) bidirect (1) approach (1) complet (1)
♀ Person: Maria João Frade
DBLP: Frade:Maria_Jo=atilde=o
Facilitated 1 volumes:
Contributed to:
Wrote 5 papers:
- SAC-2012-CruzFP #source code #verification
- Verification conditions for single-assignment programs (DCdC, MJF, JSP), pp. 1264–1270.
- PEPM-2009-FradeSU #analysis #bidirectional #data flow
- Bidirectional data-flow analyses, type-systematically (MJF, AS, TU), pp. 141–150.
- RTA-2006-SantoFP #proving
- Structural Proof Theory as Rewriting (JES, MJF, LP), pp. 197–211.
- ESOP-1999-BartheF #type system
- Constructor Subtyping (GB, MJF), pp. 109–127.
- ESOP-2016-LourencoFP #adaptation #approach #formal method #verification
- Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach (CBL, MJF, JSP), pp. 41–67.