Inductive and Operational Semantics.

Egidio Astesiano

Published in: Formal Description of Programming Concepts (1989)

Keyphrases

operational semantics
formal semantics
data model
model theoretic
machine learning
inductive logic programming
mental states
denotational semantics
activity diagrams
database
software development
declarative semantics
databases
agent programming