Travelled to:
1 × USA
Collaborated with:
P.A.Abdulla A.Bouajjani F.Haziza A.Rezine
Talks about:
abstract (1) program (1) monoton (1) memori (1) dynam (1) heap (1)
Person: Jonathan Cederberg
DBLP: Cederberg:Jonathan
Contributed to:
Wrote 1 papers:
- CAV-2008-AbdullaBCHR #abstraction #memory management #source code
- Monotonic Abstraction for Programs with Dynamic Memory Heaps (PAA, AB, JC, FH, AR), pp. 341–354.