Travelled to:
1 × Portugal
Collaborated with:
P.Cenciarelli A.Knapp
Talks about:
axiomat (1) memori (1) model (1) denot (1) oper (1) java (1)
Person: Eleonora Sibilio
DBLP: Sibilio:Eleonora
Contributed to:
Wrote 1 papers:
- ESOP-2007-CenciarelliKS #axiom #java #memory management
- The Java Memory Model: Operationally, Denotationally, Axiomatically (PC, AK, ES), pp. 331–346.