InfoVis Interaction Techniques in Animation of Recursive Programs.

J. Ángel Velázquez-Iturbide Antonio Pérez-Carrasco

Published in: Algorithms (2010)

Keyphrases

recursive programs
program synthesis
logic programs
databases
open source
data structure
transformation rules
user interface
data driven