Maria João Gomes Frade


AuthID: R-000-BWB

Confirmed Publications: 19



11
TITLE: Verification conditions for source-level imperative programs  Full Text
AUTHORS: Frade, MJ ; Pinto, JS ;
PUBLISHED: 2011, SOURCE: Computer Science Review, VOLUME: 5, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef: 13
IN MY: ORCID
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
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: 2
IN MY: ORCID
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
15
TITLE: Type-based termination of recursive definitions
AUTHORS: Gilles Barthe; Maria João Frade ; Eduardo Giménez; Luís Pinto; Tarmo Uustalu;
PUBLISHED: 2004, SOURCE: Math. Struct. Comput. Sci., VOLUME: 14, ISSUE: 1
INDEXED IN: DBLP
16
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
IN MY: ORCID
17
TITLE: Constructor subtyping  Full Text
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: WOS
IN MY: ORCID
18
TITLE: Constructor Subtyping
AUTHORS: Gilles Barthe; Maria João Frade ;
PUBLISHED: 1999, SOURCE: 8th European Symposium on Programming, ESOP 1999 in Programming Languages and Systems, 8th European Symposium on Programming, ESOP'99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings, VOLUME: 1576
INDEXED IN: Scopus DBLP CrossRef
19
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
IN MY: ORCID
Page 2 of 2. Total results: 19.

footer slogan

Useful Links

Get Help

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