Permchecker: a toolchain for debugging memory managers with typestate.

Karl Cronburg Samuel Z. Guyer

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

Keyphrases

information systems
decision making
information technology
memory requirements
memory usage
memory space
main memory
computing power
end user computing
genetic algorithm
database systems
data streams
memory management
memory size