prindi

Reasoning about correctness of transactional memory with operational semantics

autor
Saar, Andri
Uustalu, Tarmo
vastutusandmed
Andri Saar, Tarmo Uustalu
allikas
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK neljanda aastakonverentsi artiklite kogumik : 26.-27. novembril 2010, Essu mõis
ilmumiskoht
[Tallinn]
kirjastus/väljaandja
[Tallinna Tehnikaülikooli kirjastus]
ilmumisaasta
2010
leheküljed
lk. 145-148
konverentsi nimetus, aeg
Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK neljas aastakonverents, 26.-27. novembril 2010
konverentsi toimumispaik
Essu mõis
märksõna
programmeerimiskeeled
semantika
ISBN
978-9949-23-044-0
märkused
Bibliogr.: 8 nim
keel
inglise
Saar, A., Uustalu, T. Reasoning about correctness of transactional memory with operational semantics // Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK neljanda aastakonverentsi artiklite kogumik : 26.-27. novembril 2010, Essu mõis. [Tallinn] : [Tallinna Tehnikaülikooli kirjastus], 2010. lk. 145-148.