Login / Signup
A Denotational Semantics of Textually Aligned SPMD Programs.
Frédéric Dabrowski
Published in:
HPCS (2018)
Keyphrases
</>
denotational semantics
programming language
query language
operational semantics
distributed memory
abstract data types
data model
relational algebra