Type systems equivalent to dataflow analyses for imperative languages
autor
Laud, Peeter
Uustalu, Tarmo
Vene, Varmo
vastutusandmed
P.Laud, T.Uustalu, V.Vene
allikas
Proceedings of 3rd APPSEM II Workshop : APPSEM'05 : Frauenchiemsee, September 2005
ilmumiskoht
München
kirjastus/väljaandja
Ludwig-Maximilians University
ilmumisaasta
2005
leheküljed
[12] p
leitav
https://www.sciencedirect.com/science/article/pii/S0304397506005524
märksõna
andmed
programmeerimiskeeled
infoanalüüs
tüübiteooria
keel
inglise