Login / Signup
On the Use of Tabling for Abstract Interpretation: An Experiment with Abstract Equation Systems.
Gerda Janssens
Konstantinos Sagonas
Published in:
TAPD (1998)
Keyphrases
</>
abstract interpretation
model checking
distributed systems
case study
data model
knowledge representation
logic programming
software systems
static analysis