Abstract Interpretation for Concurrent Logic Languages.

Christian Codognet Philippe Codognet Marc-Michel Corsini

Published in: NACLP (1990)

Keyphrases

abstract interpretation
active rules
termination analysis
reasoning engine
static analysis
model checking
active databases
integrity constraints
logic programming
dynamic analysis
information systems