Amtoft, Torben

• BRICS Report Series No. 45 (1999): RS-45 Partial Evaluation for Constraint-Based Program Analyses - Articles
  Partial Evaluation for Constraint-Based Program Analyses
  Abstract  PDF
• BRICS Report Series No. 12 (2001): RS-12 The Abstraction and Instantiation of String-Matching Programs - Articles
  The Abstraction and Instantiation of String-Matching Programs
  Abstract  PDF