Using Abstract Interpretation for Goal Replacement.

Dmitri Boulanger Maurice Bruynooghe

Published in: LOPSTR (1993)

Keyphrases

abstract interpretation
termination analysis
active rules
model checking
database
object oriented
reasoning engine