Initial and Fixpoint Semantics of Algebraic Specifications.

Ulrich Grude Peter Padawitz

Published in: ADT (1983)

Keyphrases

fixpoint semantics
fixpoint
logic programs
closed world assumption
database
model theoretic
high level
deductive databases