Amtoft, Torben
-
BRICS Report Series Nr. 45 (1999): RS-45 Partial Evaluation for Constraint-Based Program Analyses - Artikler
Partial Evaluation for Constraint-Based Program Analyses
Resumé PDF (English) -
BRICS Report Series Nr. 12 (2001): RS-12 The Abstraction and Instantiation of String-Matching Programs - Artikler
The Abstraction and Instantiation of String-Matching Programs
Resumé PDF (English)