Semantics of a Declarative Language.

Grigori Mints Enn Tyugu

Published in: Inf. Process. Lett. (1986)

Keyphrases

declarative language
deductive databases
model theoretic
logic programming
formal semantics
modeling language
semantic information
operational semantics
real world
social networks
information systems
real time
database systems
conceptual model
specification language
argumentation semantics