Dependent Types for Program Understanding.

Raghavan Komondoor Ganesan Ramalingam Satish Chandra John Field

Published in: TACAS (2005)

Keyphrases

program understanding
fault localization
reverse engineering
software maintenance
source code
database
databases
artificial intelligence
database systems
dynamic systems