Semantics of a Call-by-Need Lambda Calculus with McCarthy's Amb for Program Equivalence.
David SabelPublished in: Ausgezeichnete Informatikdissertationen (2008)
Keyphrases
- reverse engineering
- query containment
- programming language
- relational algebra
- query language
- predicate logic
- theorem proving
- datalog programs
- program comprehension
- software maintenance
- formal model
- situation calculus
- program understanding
- relational model
- conceptual model
- predicate calculus
- database query languages
- fault localization
- data model
- test cases
- expressive power
- complex objects
- lambda calculus
- source code
- logic programming