Travelled to:1 × China
3 × USA
Collaborated with:N.D.Jones J.E.Bardram P.Bjørn T.Pederson
Talks about:program (3) generat (3) analysi (3) termin (3) time (3) bind (3) copenhagen (1) research (1) interact (1) abstract (1)
Person: Arne J. Glenstrup
DBLP: Glenstrup:Arne_J=
Contributed to:
2011
2002
2002
2002Wrote 4 papers:
- CSCW-2011-BardamBGP #interactive #research
- The global interaction research initiative at the IT university of Copenhagen, Denmark (JEB, PB, AJG, TP), pp. 489–496.
- GPCE-2002-JonesG #analysis #generative #termination
- Program Generation, Termination, and Binding-Time Analysis (NDJ, AJG), pp. 1–31.
- ICFP-2002-JonesG #analysis #generative #termination
- Program generation, termination, and binding-time analysis (NDJ, AJG), p. 283.
- PPDP-2002-JonesG #analysis #generative #termination
- Abstract and conclusions of PLI invited paper: program generation, termination, and binding-time analysis (NDJ, AJG), p. 1.