Reasoning about nondeterminism in programs.

Byron Cook Eric Koskinen

Published in: PLDI (2013)

Keyphrases

information retrieval
qualitative reasoning
formal theory
website
search algorithm
spatial reasoning
fixpoint
database
real world
genetic algorithm
bayesian networks
data structure
answer sets
computer programs
control structures