AC++ Data Model Supporting Reachability Analysis and Dead Code Detection.
Yih-Farn ChenEmden R. GansnerEleftherios KoutsofiosPublished in: IEEE Trans. Software Eng. (1998)
Keyphrases
- reachability analysis
- data model
- markov decision processes
- detection method
- object detection
- object oriented
- timed automata
- model checking
- detection algorithm
- machine learning
- object model
- database design
- false positives
- query language
- database systems
- linear programming
- source code
- search algorithm
- video sequences
- incremental algorithms
- databases