Travelled to:1 × Denmark
1 × Spain
2 × United Kingdom
Collaborated with:K.Hammond S.Jost M.Florido Á.J.R.Portillo H.Loidl H.R.Simões
Talks about:function (3) analysi (3) program (2) automat (2) recurs (2) infer (2) alloc (2) lazi (2) cost (2) polymorph (1)
Person: Pedro B. Vasconcelos
DBLP: Vasconcelos:Pedro_B=
Contributed to:
2015
2012
20032002Wrote 4 papers:
- ESOP-2015-VasconcelosJFH #analysis #functional #lazy evaluation #recursion #type system
- Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages (PBV, SJ, MF, KH), pp. 787–811.
- 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.
- IFL-2003-VasconcelosH #equation #functional #higher-order #polymorphism #recursion #source code
- Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs (PBV, KH), pp. 86–101.
- IFL-2002-PortilloHLV #automation #cost analysis #using
- Cost Analysis Using Automatic Size and Time Inference (ÁJRP, KH, HWL, PBV), pp. 232–248.