A Hoare logic for the coinductive trace-based big-step semantics of While
author
Nakata, Keiko
Uustalu, Tarmo
statement of authorship
Keiko Nakata and Tarmo Uustalu
source
Logical methods in computer science
publisher
Logical Methods in Computer Science
journal volume number month
Vol. 11, 1
year of publication
2015
pages
p. 1-32
url
https://doi.org/10.2168/LMCS-11(1:1)2015
subject term
arvutiteadus
loogiline programmeerimine
While (programmeerimiskeel)
keyword
big-step semantics
Hoare logic
nontermination
coinductive traces
formalization
Coq
ISSN
1860-5974
notes
Bibliogr.: 21 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
https://www.scopus.com/sourceid/19700175752
https://www.scopus.com/record/display.uri?eid=2-s2.0-84927614414&origin=inward&txGid=471be739e46f27856bce1949cd06219a
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2015
https://www.webofscience.com/wos/woscc/full-record/WOS:000353193000009
category (general)
Computer science
Arvutiteadus
Mathematics
Matemaatika
category (sub)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
quartile
Q1
TalTech department
TTÜ Küberneetika Instituut
arvutiteaduse instituut
language
inglise