Presentation | 1994/3/9 Asynchronous ν-calculus and Interaction-based Programming Methodol ogies Kohei Honda, Makoto Kubo, Atsushi Sashino, Kaku Takeuchi, Vcsco Vasconcelos, Nobuko Yoshida, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | The paper outlines the development of new programming methodologies for concurrency based on the idea of interaction.By concentrating on simple ideas of the operation,it is expected that systematic and principled foundations for concurrent programming will be constructed,just as in the procedural or functional paradigms.The discussed topics include the basic formalism of concurrency called asynchronous ν-calculus,concurrent combinators, new language primitives for interaction,type systems for concurrency,as well as new implementation methodologies for concurrent programming languages. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | concurrency / semantics / tnteraction / ν-calculus / concument programming |
Paper # | COMP93-80,SS93-48 |
Date of Issue |
Conference Information | |
Committee | COMP |
---|---|
Conference Date | 1994/3/9(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Theoretical Foundations of Computing (COMP) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Asynchronous ν-calculus and Interaction-based Programming Methodol ogies |
Sub Title (in English) | |
Keyword(1) | concurrency |
Keyword(2) | semantics |
Keyword(3) | tnteraction |
Keyword(4) | ν-calculus |
Keyword(5) | concument programming |
1st Author's Name | Kohei Honda |
1st Author's Affiliation | Faculty of Science and Technology,Keio University() |
2nd Author's Name | Makoto Kubo |
2nd Author's Affiliation | Faculty of Science and Technology,Keio University |
3rd Author's Name | Atsushi Sashino |
3rd Author's Affiliation | Faculty of Science and Technology,Keio University |
4th Author's Name | Kaku Takeuchi |
4th Author's Affiliation | Faculty of Science and Technology,Keio University |
5th Author's Name | Vcsco Vasconcelos |
5th Author's Affiliation | Faculty of Science and Technology,Keio University |
6th Author's Name | Nobuko Yoshida |
6th Author's Affiliation | Faculty of Science and Technology,Keio University |
Date | 1994/3/9 |
Paper # | COMP93-80,SS93-48 |
Volume (vol) | vol.93 |
Number (no) | 496 |
Page | pp.pp.- |
#Pages | 8 |
Date of Issue |