Gaining insight into programs that analyze programs: by visualizing the analyzed program.
Agastya NandaMangala Gowri NandaPublished in: OOPSLA Companion (2009)
Keyphrases
- computer programs
- automatic programming
- program execution
- prolog programs
- high level programming language
- program slicing
- programming environments
- control program
- programming environment
- computer chess
- case study
- functional programs
- real time
- intermediate level
- application programs
- loop formulas
- symbolic execution
- e learning
- recursive programs
- genetic algorithm
- social networks
- answer sets
- stable model semantics
- expert systems
- fault localization
- language learning
- control flow