Sign in

A type system for extracting functional specifications from memory-safe imperative programs.

Paul HeEddy WestbrookBrent CarmerChris PhiferValentin RobertKarl SmeltzerAndrei StefanescuAaron TombAdam WickMatthew YacavoneSteve Zdancewic
Published in: Proc. ACM Program. Lang. (2021)
Keyphrases
  • imperative programs
  • high level
  • machine learning
  • search space
  • memory requirements
  • memory usage
  • memory space
  • data structure
  • main memory
  • multiple types
  • memory size