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 × France
1 × USA
Collaborated with:
J.O.Blanco L.Rearte
Talks about:
structur (1) abstract (1) analysi (1) reason (1) linear (1) share (1) shape (1) local (1) data (1) non (1)

Person: Renato Cherini

DBLP DBLP: Cherini:Renato

Contributed to:

SAS 20102010
SAC 20092009

Wrote 2 papers:

SAS-2010-CheriniRB #analysis #data type
A Shape Analysis for Non-linear Data Structures (RC, LR, JOB), pp. 201–217.
SAC-2009-CheriniB #abstraction #reasoning
Local reasoning for abstraction and sharing (RC, JOB), pp. 552–557.

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.