A Hoare logic for the coinductive trace-based big-step semantics of While
autor
vastutusandmed
Keiko Nakata and Tarmo Uustalu
kirjastus/väljaandja
ajakirja aastakäik number kuu
Vol. 11, 1
ilmumisaasta
leheküljed
p. 1-32
ISSN
1860-5974
märkused
Bibliogr.: 21 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
märksõna
võtmesõna
klassifikaator
kvartiil
kategooria (üld)
kategooria (alam)
TTÜ struktuuriüksus
Nakata, K., Uustalu, T. A Hoare logic for the coinductive trace-based big-step semantics of While // Logical methods in computer science (2015) Vol. 11, 1, p. 1-32.