Polyphonic C sharp
Encyclopedia
Polyphonic C# is an extension of the C# programming language.
It includes a new concurrency model
in which object
s can have both synchronous and asynchronous method
s. The language is being developed by Nick Benton, Luca Cardelli
and Cédric Fournet at Microsoft Research
.
Polyphonic C# is based on the join-calculus
developed at INRIA Rocquencourt by Cédric Fournet et al.
Polyphonic C# has been integrated with Cω.
It includes a new concurrency model
Concurrent computing
Concurrent computing is a form of computing in which programs are designed as collections of interacting computational processes that may be executed in parallel...
in which object
Object (computer science)
In computer science, an object is any entity that can be manipulated by the commands of a programming language, such as a value, variable, function, or data structure...
s can have both synchronous and asynchronous method
Method (computer science)
In object-oriented programming, a method is a subroutine associated with a class. Methods define the behavior to be exhibited by instances of the associated class at program run time...
s. The language is being developed by Nick Benton, Luca Cardelli
Luca Cardelli
Luca Cardelli is an Italian computer scientist who is currently an Assistant Director at Microsoft Research in Cambridge, UK. Cardelli is well-known for his research in type theory and operational semantics. Among other contributions he implemented the first compiler for the functional programming...
and Cédric Fournet at Microsoft Research
Microsoft Research
Microsoft Research is the research division of Microsoft created in 1991 for developing various computer science ideas and integrating them into Microsoft products. It currently employs Turing Award winners C.A.R. Hoare, Butler Lampson, and Charles P...
.
Polyphonic C# is based on the join-calculus
Join-calculus
The join-calculus is a process calculus developed at INRIA. The join-calculus was developed to provide a formal basis for the design of distributed programming languages, and therefore intentionally avoids communications constructs found in other process calculi, such as rendezvous communications,...
developed at INRIA Rocquencourt by Cédric Fournet et al.
Polyphonic C# has been integrated with Cω.
See also
- Join JavaJoin JavaJoin Java is a programming language that extends the standard Java programming language with the join semantics of the join-calculus. It was written at the University of South Australia within the Reconfigurable Computing Lab by Dr...
, A Java equivalent of Polyphonic C# - C#
- Cω