Segueix
Rodrigo Ferreira
Rodrigo Ferreira
Afiliació desconeguda
Correu electrònic verificat a aya.yale.edu
Títol
Citada per
Citada per
Any
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
En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.
Articles 1–4