Journal of Logical and Algebraic Methods in Programming
Special issue on the 11th Workshop on Programming Language Approaches to Concurrency and Communication cEntric Software (PLACES) 2019
• 大类 : 工程技术 - 4区
• 小类 : 计算机：理论方法 - 4区
• 小类 : 逻辑学 - 3区
Special issue on the 11thWorkshop on Programming Language Approaches to Concurrency and Communication cEntric Software (PLACES) 2019
This special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP) is devoted to the topics of the 11th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2019), which took place in April 2019 in Prague as part of ETAPS. This is however an *open call* for papers, therefore both participants of the workshop and other authors are encouraged to submit their contributions.
Modern hardware platforms, from the very small to the very large, increasingly provide parallel computing resources for applications to maximise performance. Many applications therefore need to make effective use of tens, hundreds, and even thousands of compute nodes. Computation in such systems is thus inherently concurrent and communication centric. Effectively programming such applications is challenging; performance, correctness, and scalability are difficult to achieve.
Submissions are invited in the area of programming language approaches to concurrency, communication and distribution, ranging from foundational issues, through language implementations, to applications (such as scientific computing) and case studies. Please visit the above website for more detailed topics of interest.