Type Systems Equivalent to Data-Flow Analyses for Imperative Languages ? Peeter Laud a,∗ Tarmo Uustalu b Varmo Vene a,b a Dept. of Computer Science, University of Tartu, J. Liivi 2, EETartu,

First Page		Document Content
Date: 2006-05-25 15:57:38		Type Systems Equivalent to Data-Flow Analyses for Imperative Languages ? Peeter Laud a,∗ Tarmo Uustalu b Varmo Vene a,b a Dept. of Computer Science, University of Tartu, J. Liivi 2, EETartu, Add to Reading List Source URL: cs.ioc.ee Download Document from Source Website File Size: 259,80 KB Share Document on Facebook