Termination checking and task decomposition for task-based intermittent programs.

Alexei Colin Brandon Lucia

Published in: CC (2018)

Keyphrases

type checking
term rewriting
neural network
machine learning
automatic programming
data sets
search engine
knowledge base
information technology
model based diagnosis
computer programs
application programs
rewrite systems