An efficient and backwards-compatible transformation to ensure memory safety of C programs.

Wei Xu Daniel C. DuVarney R. Sekar

Published in: SIGSOFT FSE (2004)

Keyphrases

memory space
memory requirements
information systems
computing power
case study
expert systems
low memory
automatic programming
random access
computer programs
highly efficient
databases
decision trees
e learning
genetic algorithm
machine learning
data mining