Alternating states for dual nondeterminism in imperative programming.

Wim H. Hesselink

Published in: Theor. Comput. Sci. (2010)

Keyphrases

programming language
programming environment
situation calculus
state transition
object oriented programming
high level language
databases
artificial intelligence
search engine
case study
computer programming