Based on our previous work on algebraic laws for true concurrency, we design a structured parallel programming language for true concurrency called PPL. Different to most programming languages, PPL has an explicit parallel operator as an essential operator, including its operational, denotational and axiomatic semantics. PPL can structure a truly concurrent graph to a normal form which means that it is possible to implement a compiler for PPL.
翻译：根据我们以前关于真正同值货币的代数法的工作,我们为真正的同值货币设计了一种结构化的平行编程语言,称为PPL。 与大多数编程语言不同,PPL拥有一个明确的平行操作者作为基本操作者,包括操作、注解和不言自明的语义学。 PPL可以将一个真正并行的图表编成一种正常的形式,这意味着可以实施一个PPL编程者。
相关内容
Arxiv
8+阅读 · 2019年3月22日
Arxiv
3+阅读 · 2018年11月15日
相关VIP内容
相关资讯
微信扫码咨询专知VIP会员