A Program Development Tool.

Cyril N. Alberga Allen L. Brown George B. Leeman Jr.Martin Mikelsons Mark N. Wegman

Published in: POPL (1981)

Keyphrases

artificial intelligence
real time
computer programs
database
data sets
learning environment
probability distribution
medical images
fault localization
java programs
program execution