Login / Signup

Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs.

Clément Pit-ClaudelPeng WangBenjamin DelawareJason GrossAdam Chlipala
Published in: IJCAR (2) (2020)
Keyphrases
  • imperative programs
  • limited memory
  • information extraction
  • theorem proving
  • automatic extraction
  • markup language
  • memory space