A Denotational Semantics for SPARC TSO.

Ryan Kavanagh Stephen Brookes

Published in: Log. Methods Comput. Sci. (2019)

Keyphrases

denotational semantics
programming language
operational semantics
query language
abstract data types
general purpose
databases
artificial intelligence
database systems
relational databases
data types
expressive power