Reversible Execution and Visualization of Programs with LEONARDO.
Pierluigi CrescenziCamil DemetrescuIrene FinocchiRossella PetreschiPublished in: J. Vis. Lang. Comput. (2000)
Keyphrases
- control flow
- program execution
- symbolic execution
- cellular automata
- data analysis
- self organizing maps
- markov chain
- interactive visualization
- computer programs
- application programs
- data flow
- execution model
- plan generation
- data visualization
- databases
- parallel execution
- distributed databases
- information systems
- search engine
- information retrieval