Seguir
Rodrigo Ferreira
Rodrigo Ferreira
Afiliação desconhecida
E-mail confirmado em aya.yale.edu
Título
Citado por
Citado por
Ano
On the relationship between concurrent separation logic and assume-guarantee reasoning
X Feng, R Ferreira, Z Shao
European Symposium on Programming, 173-188, 2007
1752007
Parameterized memory models and concurrent separation logic
R Ferreira, X Feng, Z Shao
European Symposium on Programming, 267-286, 2010
352010
Parameterized memory models and concurrent separation logic (extended version)
R Ferreira, X Feng, Z Shao
Technical Report YALEU/DCS/TR-1422, Department of Computer Science, Yale …, 2009
12009
Memory Consistency and Program Verification
R Ferreira
Yale University, 2010
2010
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–4