Sign in
A Datalog Source-to-Source Translator for Static Program Analysis: An Experience Report.
Bernhard Scholz
Kostyantyn Vorobyov
Padmanabhan Krishnan
Till Westmann
Published in:
ASWEC (2015)
Keyphrases
</>
databases
evolutionary algorithm
mobile robot
expressive power
real time
real world
machine learning
genetic algorithm
artificial intelligence
data model
multi source