Login / Signup
A denotational semantics of textually aligned SPMD programs.
Frédéric Dabrowski
Published in:
J. Log. Algebraic Methods Program. (2019)
Keyphrases
</>
denotational semantics
programming language
operational semantics
abstract data types
general purpose
databases
query language
distributed memory