Type systems equivalent to dataflow analyses for imperative languages
author
Laud, Peeter
Uustalu, Tarmo
Vene, Varmo
statement of authorship
P.Laud, T.Uustalu, V.Vene
source
Proceedings of 3rd APPSEM II Workshop : APPSEM'05 : Frauenchiemsee, September 2005
location of publication
München
publisher
Ludwig-Maximilians University
year of publication
2005
pages
[12] p