An Operational Semantics for CHIP.

Gilberto Filé Giuseppe Nardiello Adriano Tirabosco

Published in: GULP (1993)

Keyphrases

operational semantics
high speed
formal semantics
model theoretic
low cost
mental states
declarative semantics
data model
denotational semantics
intelligent agents
agent programming
databases
activity diagrams
database