Type systems equivalent to data-flow analyses for imperative languages

Laud, P.; Uustalu, T.; Vene, V. (2005). Type systems equivalent to data-flow analyses for imperative languages. Proceedings of the Third Workshop on Applied Semantics (APPSEM 05) : Frauenchiemsee, Germany, 12-15 September 2005. Ed. Hofmann, M.; Loidl, H.-W. München: Ludwig-Maximilians-Universität, 1−12.
publitseeritud konverentsiettekanne
Laud, P.; Uustalu, T.; Vene, V.
  • Inglise
Proceedings of the Third Workshop on Applied Semantics (APPSEM 05) : Frauenchiemsee, Germany, 12-15 September 2005
Hofmann, M.; Loidl, H.-W.
München
Ludwig-Maximilians-Universität
2005
112
Ilmunud
3.4. Artiklid/ettekanded, mis on avaldatud valdkonda 3.1. mittekuuluvates konverentsikogumikes

Viited terviktekstile