Generation of Program Analysis Tools
Frank Tip
Generation of Program Analysis Tools
ILLC Dissertation Series
institute for logic, language and computation
For further information ab out ILLC publications please contact
Institute for Logic Language and Computation
Universiteit van Amsterdam
Plantage Muidergracht