Lackwit: A Program Understanding Tool Based on Type Inference.

Robert O'Callahan Daniel Jackson

Published in: ICSE (1997)

Keyphrases

program understanding
reverse engineering
fault localization
software maintenance
source code
program comprehension
lambda calculus
artificial intelligence
databases
neural network
knowledge base
software engineering
fault detection
software quality