Reasoning about programs via operational semantics: requirements for a support system.

John R. D. Hughes Cliff B. Jones

Published in: Autom. Softw. Eng. (2008)

Keyphrases

operational semantics
agent programming
declarative semantics
databases
case study
intelligent systems
mental states