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
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
INDEXADO EM: Scopus DBLP CrossRef: 3
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
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
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
INDEXADO EM: Scopus DBLP CrossRef: 13