Keyphrases
- low level
- high level
- concurrent programs
- higher level
- high level abstractions
- low level features
- source code
- lower level
- visual features
- visual information
- visual cues
- open source
- object oriented
- middle level
- mutual exclusion
- high level information
- model checking
- temporal logic
- database
- relevance feedback
- neural network
- data sets