Static Analysis of Modularity of beta-Reduction in the Hyperbalanced lambda-Calculus.

Richard Kennaway Zurab Khasidashvili Adolfo Piperno

Published in: RTA (2002)

Keyphrases

static analysis
lambda calculus
dynamic analysis
source code
program understanding
programming language
database query languages
predicate calculus
software maintenance
efficient computation
open source
databases
query processor
higher order
general purpose
case study
artificial intelligence