A Denotational Semantics for SPARC TSO.

Ryan Kavanagh Stephen Brookes

Published in: CoRR (2017)

Keyphrases

denotational semantics
programming language
operational semantics
query language
abstract data types
object oriented
general purpose
databases
software engineering
image sequences
spatio temporal
nearest neighbor
data mining techniques