Sign in

Compositional soundness proofs of abstract interpreters.

Sven KeidelCasper Bach PoulsenSebastian 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