An AOP Extended Lambda-Calculus.

Dima Alhadidi Nadia Belblidia Mourad Debbabi Prabir Bhattacharya

Published in: SEFM (2007)

Keyphrases

lambda calculus
programming language
predicate calculus
high level
co occurrence
higher order
complex objects
database query languages
program understanding