The Denotational Semantics of slotted-Circus.

Pawel Gancarski Andrew Butterfield

Published in: FM (2009)

Keyphrases

denotational semantics
programming language
operational semantics
query language
abstract data types
preprocessing
software engineering
general purpose
distributed environment
high level
autonomous agents