Extending C++ with co-array semantics.

Antoine Tran Tan Hartmut Kaiser

Published in: ARRAY@PLDI (2016)

Keyphrases

formal semantics
real time
expert systems
logic programming
databases
relational databases
semantic representation
specification language
transformation rules
model theoretic
programmable logic