A standard model-theoretic approach to operational semantics of recursive programs.

Published in: J. Comput. Sci. Technol. (1993)

Keyphrases

standard model
operational semantics
recursive programs
program synthesis
logic programs
transformation rules
formal semantics
signature scheme
data model
encryption scheme
mental states
ciphertext
logic programming
lightweight
inductive logic programming
metamodel