Termination Analysis of the Untyped lamba-Calculus.

Neil D. Jones Nina Bohr

Published in: RTA (2004)

Keyphrases

termination analysis
active rules
active databases
abstract interpretation
integrity constraints
object oriented databases
data model
data analysis
test cases
temporal databases