Polyphonic C# language design
E815060
C# language extension
asynchronous programming language design
concurrent programming language design
experimental programming language extension
Polyphonic C# language design is an experimental extension of the C# programming language that introduces advanced constructs for concurrent and asynchronous programming, co-developed by Luca Cardelli.
Observed surface forms (1)
| Surface form | Occurrences |
|---|---|
| Polyphonic C# | 0 |
Statements (47)
| Predicate | Object |
|---|---|
| instanceOf |
C# language extension
ⓘ
asynchronous programming language design ⓘ concurrent programming language design ⓘ experimental programming language extension ⓘ |
| affiliation | Microsoft Research Cambridge NERFINISHED ⓘ |
| basedOn | C# NERFINISHED ⓘ |
| category | experimental .NET language extension ⓘ |
| coDeveloper | Luca Cardelli NERFINISHED ⓘ |
| designedFor |
asynchronous programming
ⓘ
concurrent programming ⓘ coordination of concurrent activities ⓘ |
| developer | Microsoft Research NERFINISHED ⓘ |
| documentationType | research papers ⓘ |
| executionModel | message-passing concurrency ⓘ |
| extends |
C# method declarations
ⓘ
C# type system ⓘ |
| goal |
integrate join calculus ideas into C#
ⓘ
provide high-level abstractions for concurrency ⓘ simplify concurrent programming in C# ⓘ |
| hasConcept |
asynchronous channels
ⓘ
join methods ⓘ |
| hasFeature |
asynchronous methods
ⓘ
chords ⓘ coordination of method calls and messages ⓘ declarative concurrency constructs ⓘ join patterns ⓘ message-based concurrency ⓘ pattern-based synchronization ⓘ synchronous methods ⓘ typed concurrency primitives ⓘ |
| implementationStatus | research prototype ⓘ |
| inspiredBy |
concurrent calculi
ⓘ
join calculus NERFINISHED ⓘ |
| platform | .NET NERFINISHED ⓘ |
| primaryUse | research on language-based concurrency ⓘ |
| programmingLanguageFamily | C# NERFINISHED ⓘ |
| relatedTo |
Cω
ⓘ
Join calculus NERFINISHED ⓘ asynchronous message-passing languages ⓘ |
| researchArea |
asynchronous programming models
ⓘ
concurrency models ⓘ programming languages ⓘ |
| status | experimental ⓘ |
| supports |
asynchronous method invocation
ⓘ
combination of multiple method and channel events ⓘ synchronous method invocation ⓘ |
| synchronizationModel | join-pattern synchronization ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.