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