BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Frade:Maria_Jo=atilde=o

Facilitated 1 volumes:


Contributed to:

SAC 20122012
PEPM 20092009
RTA 20062006
ESOP 19991999
ESOP 20162016

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.