Resultados da pesquisa para:
Filtrar os seus resultados
0 Resultados
Maria João Frade
Investigador Sénior
Publicações
Constructor subtyping
Barthe, G;Frade, MJ;
1999
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Type-based termination of recursive definitions
BARTHE, G;FRADE, MJ;GIMNEZ, E;PINTO, L;UUSTALU, T;
1999
Mathematical Structures in Computer Science - Math. Struct. Comp. Sci.
Bidirectional data-flow analyses, type-systematically
Frade, MJ;Saabas, A;Uustalu, T;
2009
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09
Foundational certification of data-flow analyses
Frade, MJ;Saabas, A;Uustalu, T;
2007
TASE 2007: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, Proceedings
Teses Supervisionadas
An MLIR-Compatible DSL and IR for Structural Representation
Manuel de Magalhães Carvalho Cerqueira da Silva
M - 2023
UP-FEUP
