Function Semantics for Sequential Programs.

Harlan D. Mills

Published in: IFIP Congress (1980)

Keyphrases

formal semantics
logic programming
dynamic logic
stable models
declarative semantics
fixpoint semantics
data sets
natural language
logic programs
deductive databases
nonmonotonic logics
automatic programming
stable model semantics