Maria João Gomes Frade


AuthID: R-000-BWB

Confirmed Publications: 17



11
TITLE: Verification conditions for source-level imperative programs
AUTHORS: Maria João Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2011, SOURCE: Comput. Sci. Rev., VOLUME: 5, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef: 19
12
TITLE: Bidirectional data-flow analyses, type-systematically
AUTHORS: Frade, MJ ; Saabas, A; Uustalu, T;
PUBLISHED: 2009, SOURCE: 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09 in Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09
INDEXED IN: Scopus CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
13
TITLE: Foundational certification of data-flow analyses
AUTHORS: Maria Joao Frade ; Ando Saabas; Tarmo Uustalu;
PUBLISHED: 2007, SOURCE: 1st IEEE/IFIP International Symposium on Theoretical Aspects of Softwave Engineering in TASE 2007: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, Proceedings
INDEXED IN: Scopus WOS CrossRef: 4
IN MY: ORCID | CIÊNCIAVITAE
14
TITLE: Structural proof theory as rewriting
AUTHORS: Santo, JE ; Frade, MJ ; Pinto, L ;
PUBLISHED: 2006, SOURCE: 17th International Conference on Rewriting Techniques and Applications in TERM REWRITING AND APPLICATIONS, PROCEEDINGS, VOLUME: 4098
INDEXED IN: Scopus WOS CrossRef: 3
IN MY: ORCID | CIÊNCIAVITAE
15
TITLE: Type-based termination of recursive definitions
AUTHORS: Barthe, G; Frade, MJ ; Gimenez, E; Pinto, L; Uustalu, T;
PUBLISHED: 2004, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 14, ISSUE: 1
INDEXED IN: Scopus WOS DBLP
16
TITLE: Constructor subtyping
AUTHORS: Barthe, G; Frade, MJ ;
PUBLISHED: 1999, SOURCE: Joint European Conference on Theory and Practice of Software (ETAPS 99) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 1576
INDEXED IN: Scopus WOS DBLP CrossRef: 9
17
TITLE: Type-based termination of recursive definitions
AUTHORS: BARTHE, G; FRADE, MJ ; GIMNEZ, E; PINTO, L; UUSTALU, T;
PUBLISHED: 1999, SOURCE: Mathematical Structures in Computer Science - Math. Struct. Comp. Sci., VOLUME: 14, ISSUE: 1
INDEXED IN: CrossRef
Page 2 of 2. Total results: 17.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service