A Proof System for a PGAS Language.

Shivali Agarwal R. K. Shyamasundar

Published in: Concurrency, Compositionality, and Correctness (2010)

Keyphrases

programming language
language learning
operational semantics
intuitionistic logic
modal logic
target language
data sets
natural language
general purpose
context dependent
formal language