AIDA compiler: a code synthesizer from programs in pictures.
Yutaka WatanobeNikolay N. MirenkovYuya WatanabePublished in: HCCE (2012)
Keyphrases
- java bytecode
- programs written
- program code
- code generation
- programming language
- java virtual machine
- java programs
- high level programming languages
- computer programs
- source code
- instruction scheduling
- virtual machine
- program execution
- operating system
- control flow
- program slicing
- error handling
- answer sets
- application development
- concurrent programs
- garbage collection
- software systems
- general purpose
- legacy software
- static analysis
- digital photographs
- text files
- web applications
- symbolic execution
- computer hardware
- open source
- database