Login / Signup

A Datalog Source-to-Source Translator for Static Program Analysis: An Experience Report.

Bernhard ScholzKostyantyn VorobyovPadmanabhan KrishnanTill 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