第十二届面向并发与通信中心化软件的编程语言方法国际研讨会论文集
编程语言
2020-04-03 v1 分布式、并行与集群计算
摘要
现代硬件平台,从极小到极大,日益为应用提供并行与分布式计算资源以最大化性能。因此,许多应用需要有效利用数十、数百乃至数千个计算节点。此类系统中的计算因而本质上是并发且以通信为中心的。有效编程此类应用颇具挑战;性能、正确性与可扩展性难以兼得。因此,针对这一日益并行化的格局开发有效的编程方法论,需要探索并理解广泛的基础性与实用性思想。面向并发与通信中心化软件的编程语言方法国际研讨会(PLACES)致力于该领域的工作。研讨会为来自不同领域的研究人员提供论坛,就现代与未来编程中这些挑战交流新思想,其中并发与分布是常态而非边缘问题。本卷收录了第十二届PLACES的会议论文集,该届研讨会与ETAPS 2020在爱尔兰都柏林联合举办。
引用
@article{arxiv.2004.01062,
title = {Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software},
author = {Stephanie Balzer and Luca Padovani},
journal= {arXiv preprint arXiv:2004.01062},
year = {2020}
}