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