Towards Abstract Interpretation of AKL.

Dan Sahlin Thomas Sjöland

Published in: ICLP Workshop on Concurrent Constraint Programming (1993)

Keyphrases

abstract interpretation
termination analysis
static analysis
model checking
active rules
reasoning engine
dynamic analysis
active databases