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