Automatic proofs of memory deallocation for a Whiley-to-C Compiler.

Min-Hsien Weng Robi Malik Mark Utting

Published in: Formal Methods Syst. Des. (2021)

Keyphrases

general purpose
fully automatic
memory requirements
theorem proving
computing power
theorem prover
memory usage
random access
low memory
main memory
memory space
memory size
virtual memory
highly optimized
formal proof