A Hoare logic for the coinductive trace-based big-step semantics of While
author
statement of authorship
Keiko Nakata and Tarmo Uustalu
publisher
journal volume number month
Vol. 11, 1
year of publication
pages
p. 1-32
ISSN
1860-5974
notes
Bibliogr.: 21 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
language
inglise
subject term
keyword
classifier
kvartiil
category (general)
TTÜ department
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.