Travelled to:
1 × USA
Collaborated with:
S.Andrei H.Anderson S.Khoo
Talks about:
transform (1) program (1) recurr (1) solv (1)
Person: Beatrice Luca
DBLP: Luca:Beatrice
Contributed to:
Wrote 1 papers:
- PEPM-2006-LucaAAK #program transformation
- Program transformation by solving recurrences (BL, SA, HA, SCK), pp. 121–129.