PegaSys: A system for graphical explanation of program designs.

Mark Moriconi Dwight F. Hare

Published in: ACM SIGPLAN Notices (1985)

Keyphrases

program execution
java programs
databases
image processing
computer programs
programming environment
graphical representations
counter intuitive
real world
genetic algorithm
metadata
objective function
static analysis
causal reasoning
abductive reasoning