A Denotational Semantics for Circus.

Marcel Oliveira Ana Cavalcanti Jim Woodcock

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

denotational semantics
programming language
operational semantics
query language
abstract data types
general purpose
software engineering
object oriented
high level
data mining
data model
machine learning
database
preprocessing
image sequences
dynamic environments
data types
artificial intelligence