Using Datalog and Boolean Equation Systems for Program Analysis.

María Alpuente Marco A. Feliú Christophe Joubert Alicia Villanueva

Published in: FMICS (2008)

Keyphrases

complex systems
intelligent systems
real time
mathematical model
query language
knowledge based systems
expressive power
query answering
real valued
deductive databases
data complexity