Combining Constraint Languages via Abstract Interpretation.

Pierre Talbot David Cachera Éric Monfroy Charlotte Truchet

Published in: ICTAI (2019)

Keyphrases

abstract interpretation
termination analysis
static analysis
databases
model checking
management system
matching algorithm
active rules