Static and Dynamic Visualisations of Monadic Programs.

Jurriën Stutterheim Peter Achten Rinus Plasmeijer

Published in: CEFP (2015)

Keyphrases

datalog queries
artificial intelligence
datalog programs
automatic programming
control structures
database
neural network
computer programs
fixpoint
provably correct