Chain Programs for Writing Deterministic Metainterpreters.

David A. Rosenblueth

Published in: Theory Pract. Log. Program. (2002)

Keyphrases

concurrent programming
answer sets
turing machine
programs written
logic programming
technical support
word processing
collaborative writing
prolog programs
fixpoint semantics