A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code: Abstract
Keyword(s):
2019 ◽
Vol 22
(3)
◽
pp. 77-97
2018 ◽
Vol 126
◽
pp. 335-344
◽
Keyword(s):
2014 ◽
Vol 72
(1-2)
◽
pp. 169-195
◽