Travelled to:1 × France
1 × USA
Collaborated with:R.Cherini 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: Javier O. Blanco
DBLP: Blanco:Javier_O=
Contributed to:
2010
2009Wrote 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.