Imperative Programming in Sets with Atoms.

Mikolaj Bojanczyk Szymon Torunczyk

Published in: FSTTCS (2012)

Keyphrases

programming language
logic programs
definite clause
real time
website
web services
bayesian networks
multiscale
probabilistic model
answer sets
computer programming
programming concepts