List of concurrent and parallel programming languages
Lua error in package.lua at line 80: module 'strict' not found. This article lists concurrent and parallel programming languages, categorizing them by a defining paradigm. A concurrent language is defined as one which uses the concept of simultaneously executing processes or threads of execution as a means of structuring a program. A parallel language is able to express programs that are executable on more than one processor. Both types are listed as concurrency is a useful tool in expressing parallelism, but it is not necessary. In both cases, the features must be part of the language syntax and not an extension such as a library.
The following categories aim to capture the main, defining feature of the languages contained, but they are not necessarily orthogonal.
Contents
- 1 Actor model
- 2 Coordination languages
- 3 Dataflow programming
- 4 Distributed computing
- 5 Event-driven and hardware description
- 6 Functional programming
- 7 Logic programming
- 8 Monitor-based
- 9 Multi-threaded
- 10 Object-oriented programming
- 11 Partitioned Global Address Space (PGAS)
- 12 Message passing
- 13 APIs/Frameworks
- 14 See also
Actor model
<templatestyles src="Module:Hatnote/styles.css"></templatestyles>
- Axum - a domain-specific language being developed by Microsoft.
- Elixir (runs on the Erlang VM)
- Erlang
- Janus
- SALSA
- Scala/Akka (toolkit)
- Smalltalk
Coordination languages
- CnC (Concurrent Collections)
- Glenda
- Linda coordination language
- Millipede
Dataflow programming
<templatestyles src="Module:Hatnote/styles.css"></templatestyles>
- CAL
- E (also object-oriented)
- Joule (also distributed)
- LabView (also synchronous)
- Lustre (also synchronous)
- Preesm (also synchronous)
- Signal (also synchronous)
- SISAL
Distributed computing
<templatestyles src="Module:Hatnote/styles.css"></templatestyles>
- Bloom
- Julia
- Limbo
- MPD
- Oz - Multi-paradigm language with particular support for constraint and distributed programming.
- Sequoia
- SR
Event-driven and hardware description
<templatestyles src="Module:Hatnote/styles.css"></templatestyles>
- Esterel (also synchronous)
- SystemC
- SystemVerilog
- Verilog
- Verilog-AMS - math modeling of continuous time systems
- VHDL
Functional programming
<templatestyles src="Module:Hatnote/styles.css"></templatestyles>
Logic programming
<templatestyles src="Module:Hatnote/styles.css"></templatestyles>
Monitor-based
<templatestyles src="Module:Hatnote/styles.css"></templatestyles>
Multi-threaded
<templatestyles src="Module:Hatnote/styles.css"></templatestyles>
- C=
- Cilk
- Cilk Plus
- C#
- Clojure
- Fork - Programming language for the PRAM model.
- Java
- ParaSail
- SequenceL
Object-oriented programming
<templatestyles src="Module:Hatnote/styles.css"></templatestyles>
- μC++
- Ada
- C*
- C#
- C++ AMP
- Charm++
- D Programming Language
- Eiffel SCOOP (Simple Concurrent Object-Oriented Programming)
- Emerald (also distributed)
- Java
- Join Java - A Java-based language with features from the join-calculus.
- ParaSail
- Smalltalk
Partitioned Global Address Space (PGAS)
<templatestyles src="Module:Hatnote/styles.css"></templatestyles>
Message passing
<templatestyles src="Module:Hatnote/styles.css"></templatestyles>
- Ateji PX - An extension of Java with parallel primitives inspired from pi-calculus.
CSP based
<templatestyles src="Module:Hatnote/styles.css"></templatestyles>
- Alef
- Ease
- FortranM
- Go
- JoCaml
- Joyce
- Limbo
- Limbo (also distributed)
- Newsqueak
- Occam
- Occam-π - A derivative of Occam that integrates features from the pi-calculus
- PyCSP
- SuperPascal
- XC - A C-based language, integrating features from Occam, developed by XMOS
APIs/Frameworks
These application programming interfaces support parallelism in host languages.
- Apache Hadoop
- Apache Spark
- CUDA
- OpenCL
- OpenHMPP
- OpenMP for C, C++, and Fortran (shared memory and attached GPUs)