Type systems equivalent to data-flow analyses for imperative languages

Laud, P.; Uustalu, T.; Vene, V. (2006). Type systems equivalent to data-flow analyses for imperative languages. Theoretical Computer Science, 364 (3), 292−310.10.1016/j.tcs.2006.08.013.
ajakirjaartikkel
Laud, P.; Uustalu, T.; Vene, V.
  • Inglise
Theoretical Computer Science
0304-3975
364
3
2006
292310
Ilmunud
1.1. Teadusartiklid, mis on kajastatud Web of Science andmebaasides Science Citation Index Expanded, Social Sciences Citation Index, Arts & Humanities Citation Index ja/või andmebaasis Scopus (v.a. kogumikud)
WOS

Viited terviktekstile

dx.doi.org/10.1016/j.tcs.2006.08.013