"Systematic Change of Data Representation: Program Manipulations and a Case ..."

William L. Scherlis (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics