C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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