Static and dynamic visualisations of monadic programs.

Jurriën Stutterheim Peter Achten Rinus Plasmeijer

Published in: IFL (2015)

Keyphrases

deductive databases
computer programs
datalog programs
logic programs
databases
neural network
genetic algorithm
artificial intelligence
information systems
object oriented
answer sets
programming environment
fixpoint
stable models
provably correct