Certified assembly programming with embedded code pointers
From MaRDI portal
Publication:5348933
DOI10.1145/1111037.1111066zbMath1369.68150OpenAlexW2165970356MaRDI QIDQ5348933
Publication date: 21 August 2017
Published in: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1111037.1111066
Related Items (9)
Crowfoot: A Verifier for Higher-Order Store Programs ⋮ On models of higher-order separation logic ⋮ Symbolic execution proofs for higher order store programs ⋮ Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) ⋮ Certifying assembly programs with trails ⋮ A compositional natural semantics and Hoare logic for low-level languages ⋮ Specification patterns for reasoning about recursion through the store ⋮ Function extraction ⋮ Specification Patterns and Proofs for Recursion through the Store
Uses Software
This page was built for publication: Certified assembly programming with embedded code pointers
