Compositional soundness proofs of abstract interpreters.

Sven Keidel Casper Bach Poulsen Sebastian Erdweg

Published in: Proc. ACM Program. Lang. (2018)

Keyphrases

high level
higher level
virtual machine
state machines
theorem prover
low level
theorem proving
description language
formal proof
database
data mining
case study
programming language
mathematical proofs