SCJ: Memory-Safety Checking without Annotations.

Chris Marriott Ana Cavalcanti

Published in: FM (2014)

Keyphrases

metadata
memory requirements
memory space
memory usage
limited memory
semantic annotation
multi modal
computing power
neural network
annotation tool
database
low memory
computational power
associative memory
database systems
genetic algorithm
data sets