Incrementalizing lattice-based program analyses in Datalog.
Tamás SzabóGábor BergmannSebastian ErdwegMarkus VoelterPublished 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