English

Structured Parallel Programming

Logic in Computer Science 2021-11-10 v4
Authors: Yong Wang
View on arXiv ↗ PDF ↗

Abstract

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.

Keywords

programming languages process calculus parallel programming

Cite

@article{arxiv.1810.13446,
  title  = {Structured Parallel Programming},
  author = {Yong Wang},
  journal= {arXiv preprint arXiv:1810.13446},
  year   = {2021}
}

Comments

32 pages, 8 figures

Related papers

View all related →
Programming Languages · Computer Science
Introducing CPL
Paolo Luchini
2021-11-19
Distributed, Parallel, and Cluster Computing · Computer Science
Extended Abstract: Productive Parallel Programming with Parsl
Kyle Chard, Yadu Babuji, Anna Woodard, Ben Clifford +5
2022-05-05
Programming Languages · Computer Science
Probabilistic Programming with CuPPL
Alexander Collins, Vinod Grover
2020-10-19
Distributed, Parallel, and Cluster Computing · Computer Science
Parallel Logic Programming: A Sequel
Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo +2
2022-01-25
Programming Languages · Computer Science
A Linear Logic Programming Language for Concurrent Programming over Graph Structures
Flavio Cruz, Ricardo Rocha, Seth Copen Goldstein, Frank Pfenning
2020-02-19
Programming Languages · Computer Science
Object-Oriented Parallel Programming
Edward Givelberg
2014-04-21
Logic in Computer Science · Computer Science
Algebra of Concurrent Games
Yong Wang
2019-09-04
Distributed, Parallel, and Cluster Computing · Computer Science
Non procedural language for parallel programs
Renat Nuriyev
2008-11-03
Artificial Intelligence · Computer Science
A Compiler for Ordered Logic Programs
James P. Delgrande, Torsten Schaub, Hans Tompits
2007-05-23
Distributed, Parallel, and Cluster Computing · Computer Science
Parallel Combining: Benefits of Explicit Synchronization
Vitaly Aksenov, Petr Kuznetsov, Anatoly Shalyto
2018-11-14
Distributed, Parallel, and Cluster Computing · Computer Science
Basic Parallel and Distributed Computing Curriculum
Claude Tadonki
2018-02-13
Formal Languages and Automata Theory · Computer Science
Language properties and Grammar of Parallel and Series Parallel Languages
N. Mohana, Kalyani Desikan, V. Rajkumar Dare
2017-11-07
Distributed, Parallel, and Cluster Computing · Computer Science
Parallelism, Concurrency and Distribution in Constraint Handling Rules: A Survey
Thom Fruehwirth
2018-04-09
Distributed, Parallel, and Cluster Computing · Computer Science
Parallel parametric linear programming solving, and application to polyhedral computations
Camille Coti, David Monniaux, Hang Yu
2019-04-15
Computation and Language · Computer Science
Structured Prompt Language: Declarative Context Management for LLMs
Wen G. Gong
2026-02-26
Distributed, Parallel, and Cluster Computing · Computer Science
Lock-free Concurrent Data Structures
Daniel Cederman, Anders Gidenstam, Phuong Ha, Håkan Sundell +2
2013-02-13
Programming Languages · Computer Science
Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference
Daniel Lundén, Joey Öhman, Jan Kudlicka, Viktor Senderov +2
2023-05-04
Distributed, Parallel, and Cluster Computing · Computer Science
Shared memory parallelism in Modern C++ and HPX
Patrick Diehl, Steven R. Brandt, Hartmut Kaiser
2023-08-10
Programming Languages · Computer Science
Real-Time Probabilistic Programming
Lars Hummelgren, Matthias Becker, David Broman
2024-07-09
Mathematical Software · Computer Science
Parallelism detection using graph labelling
Pavel Telegin, Anton Baranov, Boris Shabanov, Artem Tikhomirov
2022-12-12
Programming Languages · Computer Science
The Concurrent Language Aldwych
Matthew Huntbach
2007-05-23
Programming Languages · Computer Science
Parallel Prefix Polymorphism Permits Parallelization, Presentation & Proof
Jiahao Chen, Alan Edelman
2014-11-07
Programming Languages · Computer Science
The Parallel Semantics Program Dependence Graph
Brian Homerding, Atmn Patel, Enrico Armenio Deiana, Yian Su +5
2024-02-05
Artificial Intelligence · Computer Science
Parallel Constraint-Driven Inductive Logic Programming
Andrew Cropper, Oghenejokpeme Orhobor, Cristian Dinu, Rolf Morel
2021-09-16
Hardware Architecture · Computer Science
CPPL: A Circuit Prompt Programming Language
Shuo Yin, Yihe Wang, Lancheng Zou, Xufeng Yao +5
2026-05-19