full record print

Type systems equivalent to dataflow analyses for imperative languages

author
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
pages
[12] p
url
language
inglise
Laud, P., Uustalu, T., Vene, V. Type systems equivalent to dataflow analyses for imperative languages // Proceedings of 3rd APPSEM II Workshop : APPSEM'05 : Frauenchiemsee, September 2005. München : Ludwig-Maximilians University, 2005. [12] p. https://www.sciencedirect.com/science/article/pii/S0304397506005524