Enriching the Lambda Calculus with Contexts: Toward a Theory of Incremental Program Construction.

Shinn-Der Lee Daniel P. Friedman

Published in: ICFP (1996)

Keyphrases

lambda calculus
program understanding
predicate calculus
programming language
source code
database query languages
artificial intelligence
knowledge representation
complex objects
reverse engineering
fault localization