Filipe David Oliveira Militão
AuthID: R-001-NSA
1
TÃTULO: Composing Interfering Abstract Protocols
AUTORES: Filipe Militão; Jonathan Aldrich; Luís Caires ;
PUBLICAÇÃO: 2016, FONTE: 30th European Conference on Object-Oriented Programming, ECOOP 2016 in 30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy, VOLUME: 56
AUTORES: Filipe Militão; Jonathan Aldrich; Luís Caires ;
PUBLICAÇÃO: 2016, FONTE: 30th European Conference on Object-Oriented Programming, ECOOP 2016 in 30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy, VOLUME: 56
INDEXADO EM: Scopus DBLP
2
TÃTULO: Substructural typestates
AUTORES: Militao, F; Aldrich, J; Caires, L ;
PUBLICAÇÃO: 2014, FONTE: 2014 8th ACM SIGPLAN Workshop on Programming Languages Meets Program Verification, PLPV 2014 - Co-located with POPL 2014 in PLPV 2014 - Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages Meets Program Verification, Co-located with POPL 2014
AUTORES: Militao, F; Aldrich, J; Caires, L ;
PUBLICAÇÃO: 2014, FONTE: 2014 8th ACM SIGPLAN Workshop on Programming Languages Meets Program Verification, PLPV 2014 - Co-located with POPL 2014 in PLPV 2014 - Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages Meets Program Verification, Co-located with POPL 2014
3
TÃTULO: Rely-Guarantee Protocols
AUTORES: Filipe Militao; Jonathan Aldrich; Luis Caires ;
PUBLICAÇÃO: 2014, FONTE: 28th European Conference on Object-Oriented Programming (ECOOP) in ECOOP 2014 - OBJECT-ORIENTED PROGRAMMING, VOLUME: 8586
AUTORES: Filipe Militao; Jonathan Aldrich; Luis Caires ;
PUBLICAÇÃO: 2014, FONTE: 28th European Conference on Object-Oriented Programming (ECOOP) in ECOOP 2014 - OBJECT-ORIENTED PROGRAMMING, VOLUME: 8586
4
TÃTULO: Aliasing control with view-based typestate
AUTORES: Militao, F; Aldrich, J; Caires, L ;
PUBLICAÇÃO: 2010, FONTE: 24th European Conference on Object-Oriented Programming, ECOOP 2010 - 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP'10 in 24th European Conference on Object-Oriented Programming, ECOOP 2010 Workshop Proceedings - Workshop 5:12th Workshop on Formal Techniques for Java-Like Programs, FTFJP'10
AUTORES: Militao, F; Aldrich, J; Caires, L ;
PUBLICAÇÃO: 2010, FONTE: 24th European Conference on Object-Oriented Programming, ECOOP 2010 - 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP'10 in 24th European Conference on Object-Oriented Programming, ECOOP 2010 Workshop Proceedings - Workshop 5:12th Workshop on Formal Techniques for Java-Like Programs, FTFJP'10