Chain Programs for Writing Deterministic Metainterpreters

David A. Rosenblueth

Published in: CoRR (2001)

Keyphrases

turing machine
control structures
real time
database languages
fixpoint semantics
search algorithm
concurrent programming
database
data sets
logic programs
black box
computer programs
stable models
data entry
provably correct