BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × Portugal
Collaborated with:
X.Feng Z.Shao
Talks about:
concurr (2) separ (2) logic (2) relationship (1) parameter (1) guarante (1) between (1) reason (1) memori (1) model (1)

Person: Rodrigo Ferreira

DBLP DBLP: Ferreira:Rodrigo

Contributed to:

ESOP 20102010
ESOP 20072007

Wrote 2 papers:

ESOP-2010-FerreiraFS #concurrent #logic #memory management #modelling
Parameterized Memory Models and Concurrent Separation Logic (RF, XF, ZS), pp. 267–286.
ESOP-2007-FengFS #concurrent #logic #on the #reasoning
On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning (XF, RF, ZS), pp. 173–188.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.