Travelled to:
1 × Canada
1 × USA
Collaborated with:
Y.A.Liu
Talks about:
languag (2) automat (2) analysi (2) bound (2) time (2) higher (1) order (1) level (1) accur (1) high (1)
Person: Gustavo Gomez
DBLP: Gomez:Gustavo
Contributed to:
Wrote 2 papers:
- PEPM-2002-GomezL #analysis #automation #bound #higher-order
- Automatic time-bound analysis for a higher-order language (GG, YAL), pp. 75–86.
- LCTES-1998-LiuG #analysis #automation #bound
- Automatic Accurate Time-Bound Analysis for High-Level Languages (YAL, GG), pp. 31–40.