Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Lucid, a nonprocedural language with iteration
Communications of the ACM
The algebra of stream processing functions
Theoretical Computer Science
Coordination languages and their significance
Communications of the ACM
Coercion as homomorphism: type inference in a system with subtyping and overloading
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
A stream compiler for communication-exposed architectures
Proceedings of the 10th international conference on Architectural support for programming languages and operating systems
Coordination Models and Languages: 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings (Lecture Notes in Computer Science)
General homomorphic overloading
IFL'04 Proceedings of the 16th international conference on Implementation and Application of Functional Languages
Hi-index | 0.00 |
A new coordination language for distributed data-parallel programs is presented, call SNet. The intention of SNet is to introduce advanced structuring techniques into a coordination language: stream processing and various forms of subtyping. The talk will present the organisation of SNet, its major type inferencing algorithms and will briefly discuss the current state of implementation and possible applications.