A Symmetric Lambda Calculus for "Classical" Program Extraction.
Franco BarbaneraStefano BerardiPublished in: TACS (1994)
Keyphrases
- lambda calculus
- program understanding
- fault localization
- programming language
- predicate calculus
- reverse engineering
- database
- software maintenance
- artificial intelligence
- test cases
- higher order
- general purpose
- database applications
- source code
- information extraction
- data model
- database query languages
- data structure