Polyphonic C#
E815058
Polyphonic C# is an experimental extension of the C# programming language that adds advanced constructs for concurrent and asynchronous programming, developed by Luca Cardelli and collaborators.
Statements (41)
| Predicate | Object |
|---|---|
| instanceOf |
concurrent programming model
ⓘ
experimental programming language ⓘ programming language extension ⓘ |
| basedOn | C# NERFINISHED ⓘ |
| compilesTo | standard C# ⓘ |
| designedFor |
simplifying asynchronous programming
ⓘ
simplifying concurrent programming ⓘ |
| developedAt | Microsoft Research NERFINISHED ⓘ |
| developedBy |
Cédric Fournet
NERFINISHED
ⓘ
Luca Cardelli NERFINISHED ⓘ Nick Benton NERFINISHED ⓘ |
| documentationLanguage | English ⓘ |
| extends | C# ⓘ |
| goal |
integrate concurrency into mainstream language syntax
ⓘ
make concurrent code easier to write and reason about ⓘ |
| hasConcept |
asynchronous method signatures
ⓘ
synchronization patterns ⓘ |
| hasFeature |
asynchronous methods
ⓘ
chords ⓘ coordination constructs ⓘ join patterns ⓘ message-based synchronization ⓘ synchronous methods ⓘ typed concurrency primitives ⓘ |
| hasPublication | "Polyphonic C#: A Language for Concurrent and Distributed Programming" NERFINISHED ⓘ |
| influenced | Cω ⓘ |
| inspiredBy |
Join calculus
NERFINISHED
ⓘ
Polyphonic Java NERFINISHED ⓘ |
| introducedIn | early 2000s ⓘ |
| programmingParadigm |
asynchronous programming
ⓘ
concurrent programming ⓘ |
| relatedTo |
Cω
ⓘ
Polyphonic Java NERFINISHED ⓘ |
| researchArea |
concurrency theory
ⓘ
distributed systems ⓘ programming languages ⓘ |
| status | experimental ⓘ |
| supports |
coordination of asynchronous calls
ⓘ
declarative synchronization ⓘ |
| targetLanguage | C# ⓘ |
| targetPlatform | .NET platform NERFINISHED ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.