An annotation assistant for interactive debugging of programs with common synchronization idioms.
Tayfun ElmasAli SezginSerdar TasiranShaz QadeerPublished in: PADTAD (2009)
Keyphrases
- hardware designs
- novice programmers
- java programs
- test bed
- active learning
- metadata
- concurrent programs
- semantic annotation
- interactive exploration
- user interaction
- program slicing
- automatic programming
- model based diagnosis
- computer graphics
- manual annotation
- automatic image annotation
- programming environment
- learning algorithm
- image annotation
- user friendly
- e learning