A Hoare logic for the coinductive trace-based big-step semantics of While
autor
Nakata, Keiko
Uustalu, Tarmo
vastutusandmed
Keiko Nakata and Tarmo Uustalu
allikas
Logical methods in computer science
kirjastus/väljaandja
Logical Methods in Computer Science
ajakirja aastakäik number kuu
Vol. 11, 1
ilmumisaasta
2015
leheküljed
p. 1-32
leitav
https://doi.org/10.2168/LMCS-11(1:1)2015
märksõna
arvutiteadus
loogiline programmeerimine
While (programmeerimiskeel)
võtmesõna
big-step semantics
Hoare logic
nontermination
coinductive traces
formalization
Coq
ISSN
1860-5974
märkused
Bibliogr.: 21 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
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
kategooria (üld)
Computer science
Arvutiteadus
Mathematics
Matemaatika
kategooria (alam)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
kvartiil
Q1
TTÜ struktuuriüksus
TTÜ Küberneetika Instituut
arvutiteaduse instituut
keel
inglise