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
ajakirja aastakäik number kuu
Vol. 11, 1
ilmumisaasta
2015
leheküljed
p. 1-32
leitav
http://dx.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
TTÜ struktuuriüksus
TTÜ Küberneetika Instituut
arvutiteaduse instituut
keel
inglise