Volgen
Rodrigo Ferreira
Rodrigo Ferreira
Onbekend partnerschap
Geverifieerd e-mailadres voor aya.yale.edu
Titel
Geciteerd door
Geciteerd door
Jaar
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–4