POSTER: The Liberation Day of Nondeterministic Programs.

Enrico Armenio Deiana Vincent St-Amour Peter A. Dinda Nikos Hardavellas Simone Campanoni

Published in: PACT (2017)

Keyphrases

computer programs
finite state
control structures
real time
finite automata
database
data mining
artificial intelligence
answer sets
fixpoint
automatic programming