关注
Rodrigo Ferreira
Rodrigo Ferreira
未知所在单位机构
在 aya.yale.edu 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
系统目前无法执行此操作，请稍后再试。
文章 1–4