Translation of Interactive Datalog Programs for Microcontrollers to Finite State Machines.

Mario Wenzel, Stefan Brass

Browse the full LOPSTR paper archive.