A Denotational Semantics for Communicating Unstructured Code.

Nils Jähnig Thomas Göthel Sabine Glesner

Published in: FESCA (2015)

Keyphrases

denotational semantics
programming language
operational semantics
query language
structured data
source code
semi structured
communication channels
database
databases
artificial intelligence
multi agent
video sequences
management system
distance measure
formal semantics