DieHard: probabilistic memory safety for unsafe languages.
Emery D. BergerBenjamin G. ZornPublished in: PLDI (2006)
Keyphrases
- language independent
- memory usage
- expressive power
- generative model
- memory requirements
- databases
- probabilistic logic
- computing power
- low memory
- memory space
- posterior probability
- data structure
- neural network
- main memory
- information theoretic
- context sensitive
- cross lingual
- data driven
- probabilistic reasoning
- information retrieval systems
- probabilistic model
- machine learning