Automated Derivation of ILP Implementations from SDL Specifications.

Sven Twarok Peter Langendörfer Hartmut König

Published in: FORTE (2001)

Keyphrases

inductive logic programming
semi automated
background knowledge
high level
semi automatic
computer assisted
fully automated
reactive systems
delay insensitive
data sets
concurrent systems
parallel implementations
automated tools
efficient implementation
search algorithm
case study
decision trees