Login / Signup
ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre.
Karine Altisen
Matthieu Moy
Published in:
ECRTS (2010)
Keyphrases
</>
software engineering
real time
programming language
abstract interpretation
termination analysis
active rules
database systems
natural language
active databases
static analysis
relational databases
data management
data warehousing