Operational and mathematical semantics for recursive polyadic program schemata.

Willem P. de Roever

Published in: ACM SIGPLAN Notices (1973)

Keyphrases

conceptual schema
recursive programs
intended meaning
control flow
declarative semantics
operational semantics
formal semantics
logic programming
computer programs
transformation rules
stable model semantics
decision making
static analysis
databases
conceptual graphs
deductive databases
semantically equivalent