11
TÍTULO: Verification conditions for source-level imperative programs  Full Text
AUTORES: Frade, MJ ; Pinto, JS ;
PUBLICAÇÃO: 2011, FONTE: Computer Science Review, VOLUME: 5, NÚMERO: 3
INDEXADO EM: Scopus DBLP CrossRef: 13
NO MEU: ORCID
12
TÍTULO: Bidirectional data-flow analyses, type-systematically
AUTORES: Frade, MJ ; Saabas, A; Uustalu, T;
PUBLICAÇÃO: 2009, FONTE: 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
INDEXADO EM: Scopus CrossRef: 1
NO MEU: ORCID
13
TÍTULO: Foundational certification of data-flow analyses
AUTORES: Maria Joao Frade ; Ando Saabas; Tarmo Uustalu;
PUBLICAÇÃO: 2007, FONTE: 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
INDEXADO EM: Scopus WOS CrossRef: 2
NO MEU: ORCID
14
TÍTULO: Structural proof theory as rewriting
AUTORES: Santo, JE ; Frade, MJ ; Pinto, L ;
PUBLICAÇÃO: 2006, FONTE: 17th International Conference on Rewriting Techniques and Applications in TERM REWRITING AND APPLICATIONS, PROCEEDINGS, VOLUME: 4098
INDEXADO EM: Scopus WOS CrossRef: 3
NO MEU: ORCID
15
TÍTULO: Type-based termination of recursive definitions
AUTORES: Gilles Barthe; Maria João Frade ; Eduardo Giménez; Luís Pinto; Tarmo Uustalu;
PUBLICAÇÃO: 2004, FONTE: Math. Struct. Comput. Sci., VOLUME: 14, NÚMERO: 1
INDEXADO EM: DBLP
16
TÍTULO: Type-based termination of recursive definitions
AUTORES: Barthe, G; Frade, MJ ; Gimenez, E; Pinto, L; Uustalu, T;
PUBLICAÇÃO: 2004, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 14, NÚMERO: 1
INDEXADO EM: Scopus WOS
NO MEU: ORCID
17
TÍTULO: Constructor subtyping
AUTORES: Barthe, G; Frade, MJ ;
PUBLICAÇÃO: 1999, FONTE: 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
INDEXADO EM: Scopus CrossRef: 6
NO MEU: ORCID
18
TÍTULO: Constructor Subtyping
AUTORES: Gilles Barthe; Maria João Frade ;
PUBLICAÇÃO: 1999, FONTE: 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
INDEXADO EM: DBLP
19
TÍTULO: Constructor subtyping  Full Text
AUTORES: Barthe, G; Frade, MJ ;
PUBLICAÇÃO: 1999, FONTE: Joint European Conference on Theory and Practice of Software (ETAPS 99) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 1576
INDEXADO EM: WOS
NO MEU: ORCID
20
TÍTULO: Type-based termination of recursive definitions
AUTORES: BARTHE, G; FRADE, MJ ; GIMNEZ, E; PINTO, L; UUSTALU, T;
PUBLICAÇÃO: 1999, FONTE: Mathematical Structures in Computer Science - Math. Struct. Comp. Sci., VOLUME: 14, NÚMERO: 1
INDEXADO EM: CrossRef
NO MEU: ORCID
Página 2 de 2. Total de resultados: 20.