Keyphrases
- code generation
- programs written
- instruction scheduling
- programming language
- crossword puzzles
- general purpose
- software systems
- application development
- knowledge compilation
- source code
- software development
- formal specification
- modeling language
- distributed memory machines
- transactional memory
- software reuse
- data sets
- decision trees
- social networks
- artificial intelligence