Incrementalizing lattice-based program analyses in Datalog.

Tamás Szabó Gábor Bergmann Sebastian Erdweg Markus Voelter

Published in: Proc. ACM Program. Lang. (2018)

Keyphrases

recursive programs
expressive power
deductive databases
logic programming
program execution

query language
integrity constraints
query answering
relational databases
statistical analysis

genetic algorithm
association rules
data model
neural network
artificial intelligence

comparative analysis
computer programs
static analysis
program synthesis