Travelled to:
1 × Spain
1 × USA
Collaborated with:
S.Khoo B.Luca S.Andrei
Talks about:
transform (1) approxim (1) regular (1) program (1) termin (1) recurr (1) domain (1) chang (1) bound (1) solv (1)
Person: Hugh Anderson
DBLP: Anderson:Hugh
Contributed to:
Wrote 2 papers:
- PEPM-2010-AndersonK #approximate #bound #termination
- Regular approximation and bounded domains for size-change termination (HA, SCK), pp. 53–62.
- PEPM-2006-LucaAAK #program transformation
- Program transformation by solving recurrences (BL, SA, HA, SCK), pp. 121–129.