Abstract and conclusions of PLI invited paper: program generation, termination, and binding-time analysis.

Neil D. Jones, Arne J. Glenstrup

Browse the full PPDP paper archive.