Maria João Gomes Frade


AuthID: R-000-BWB

Confirmed Publications: 20



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
AUTHORS: Barthe, G; Frade, MJ ;
PUBLISHED: 1999, SOURCE: 8th European Symposium on Programming, ESOP 1999 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1576
INDEXED IN: Scopus CrossRef: 6
IN MY: ORCID
18
TITLE: Constructor Subtyping
AUTHORS: Gilles Barthe; Maria João Frade ;
PUBLISHED: 1999, SOURCE: 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: DBLP
19
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
20
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: 20.

A place for researchers and their institutions

Useful Links

Get Help

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