Travelled to:1 × Denmark
Collaborated with:P.B.Vasconcelos M.Florido S.Jost K.Hammond
Talks about:function (1) program (1) automat (1) analysi (1) amortis (1) memori (1) dynam (1) alloc (1) lazi (1)
Person: Hugo R. Simões
DBLP: Sim=otilde=es:Hugo_R=
Contributed to:
2012Wrote 1 papers:
- ICFP-2012-SimoesVFJH #analysis #automation #functional #lazy evaluation #memory management #source code
- Automatic amortised analysis of dynamic memory allocation for lazy functional programs (HRS, PBV, MF, SJ, KH), pp. 165–176.