Program Schemata vs. Automata for Decidability of Program Logics.

Nikolay V. Shilov

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

Keyphrases

program execution
description logics
real time
data sets
databases
object oriented
markov chain
cellular automata
computer programs
programming environment
decision procedures