See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

Compositional type systems for stack-based low-level languages

Saabas, A.; Uustalu, T. (2006). Compositional type systems for stack-based low-level languages. Theory of Computing 2006: Proceedings of 12th Computing: Australasian Theory Symposium (CATS 2006), Hobart, Tasmania, Australia, January 2006. Ed. Gudmundsson, J.; Jay, B. Australian Computer Society, 27−39. (Conferences in Research and Practice in Information Technology ; 51).
publitseeritud konverentsiettekanne
Saabas, A.; Uustalu, T.
  • Inglise
Theory of Computing 2006
Gudmundsson, J.; Jay, B.
Proceedings of 12th Computing: Australasian Theory Symposium (CATS 2006), Hobart, Tasmania, Australia, January 2006
Australian Computer Society
1445-1336
1-920-68233-3
Conferences in Research and Practice in Information Technology
51
2006
2739
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Thomson Reuters Book Citation Index, Thomson Reuters Conference Proceedings Citation Index, Scopus refereeritud kogumikud)

Lisainfo

certified code, compilation of proofs, compositionality, dataflow analyses, Hoare logics, low-level languages, type systems, typings from compilation