OpenRefactory/C: an infrastructure for developing program transformations for C programs.
Munawar HafizJeffrey OverbeyPublished in: SPLASH (2012)
Keyphrases
- computer programs
- program execution
- automatic programming
- control program
- programming environment
- high level programming language
- java programs
- computer chess
- prolog programs
- programming environments
- symbolic execution
- recursive programs
- functional programs
- novice programmers
- intermediate level
- programming education
- undergraduate engineering
- imperative programs
- building blocks
- control flow
- program slicing
- data collection
- declarative programming
- concurrent programs
- hardware designs
- programming exercises
- transformation rules
- language teaching
- application programs
- program synthesis
- program code
- computing environments
- programming course
- mobile devices