Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Theory of computation → Programming logic"'
This paper presents a specification framework for monadic, recursive, interactive programs that supports auto-active verification, an approach that combines user-provided guidance with automatic verification techniques. This verification tool is desi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::990f888391d1f1d4000b50e1183704a8
Publikováno v:
PLDI 2022-43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation
PLDI 2022-43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2022, San Diego CA USA, United States. pp.841-856, ⟨10.1145/3519939.3523704⟩
PLDI '22
PLDI 2022-43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2022, San Diego CA USA, United States. pp.841-856, ⟨10.1145/3519939.3523704⟩
PLDI '22
International audience; Rust is a systems programming language that offers both lowlevel memory operations and high-level safety guarantees, via a strong ownership type system that prohibits mutation of aliased state. In prior work, Matsushita et al.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4135a9010341ceb1abf9c622f2d6ff3a
https://doi.org/10.1145/3519939.3523704
https://doi.org/10.1145/3519939.3523704
This paper contributes to the verification of programs written in Bitcoin's smart contract language SCRIPT in the interactive theorem prover Agda. It focuses on the security property of access control for SCRIPT programs that govern the distribution
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7c6d6d81d4661edb7b8b9f695f8d9fcd
https://cronfa.swan.ac.uk/Record/cronfa60178/Download/60178__25491__cf880e484fd94516b2ef2fb9e21cc884.pdf
https://cronfa.swan.ac.uk/Record/cronfa60178/Download/60178__25491__cf880e484fd94516b2ef2fb9e21cc884.pdf