Lazy Contract Checking for Immutable Data Structures.
Robert Bruce FindlerShu-yu GuoAnne RogersPublished in: IFL (2007)
Keyphrases
- data structure
- data types
- supply chain
- genetic algorithm
- quadtree
- efficient data structures
- data mining
- real time
- revenue sharing
- multidimensional data
- data structures and algorithms
- multiply sectioned bayesian networks
- algorithms and data structures
- lazy learning
- consistency checking
- inverted index
- training data
- information retrieval