Translation of interactive Datalog programs for microcontrollers to finite state machines

DOI10.1007/978-3-030-68446-4_11OpenAlexW3130467042MaRDI QIDQ2119115

Stefan Brass, Mario Wenzel

Publication date: 23 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-68446-4_11

zbMATH Keywords

deductive databaseDatalogcompilermicrocontrollerArduino

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• ActHEX

Cites Work

• Reactive computing as model generation
• A rule-based approach to analyzing database schema objects with Datalog
• Logic Programming and Nonmonotonic Reasoning

This page was built for publication: Translation of interactive Datalog programs for microcontrollers to finite state machines