Filipe Militão

According to our database, Filipe Militão authored at least 4 papers between 2010 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2016

Composing Interfering Abstract Protocols.

Filipe Militão, Jonathan Aldrich, Luís Caires

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2014

Substructural typestates.

Filipe Militão, Jonathan Aldrich, Luís Caires

Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, 2014

Rely-Guarantee Protocols.

Filipe Militão, Jonathan Aldrich, Luís Caires

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2010

Aliasing control with view-based typestate.

Filipe Militão, Jonathan Aldrich, Luís Caires

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 2010