Keyphrases
- international workshop
- domain driven data mining
- programming environment
- computer programs
- pacific rim
- programming environments
- acm sigkdd
- revised selected papers
- program understanding
- programming education
- lecture notes in artificial intelligence
- programming language
- hardware designs
- programming course
- selected papers
- symbolic execution
- program code
- novice programmers
- model checking
- machine learning
- declarative programming
- book constitutes the refereed proceedings
- computer programming
- object oriented programming
- test cases
- international conference
- rough sets
- cooperative