A Symmetric Lambda Calculus for Classical Program Extraction.

Franco Barbanera Stefano Berardi

Published in: Inf. Comput. (1996)

Keyphrases

lambda calculus
program understanding
programming language
fault localization
predicate calculus
source code
information extraction
complex objects
reverse engineering
database
pairwise
data model
object oriented
general purpose
open source