| Presentation | 2001/1/15 A formulation of mobile computation by extension of simply typed λ calculus Satoshi Shirai, Masahiko Sato, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | The spread of network is remarkable, and a new paradigm for software on distributed environment has developed, recently. That paradigm is called mobile computation. In mobile computation, program move in networks. Therefore, mobile computation enables more flexble processing. We have to formulate the calculus in order to examine some property, and give semantics. In this paper, we introduce two calculus, λ_Dand λ_ |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | λ calculus / mobile computation / formulation / operational semantics |
| Paper # | SS2000-41 |
| Date of Issue |
| Conference Information | |
| Committee | SS |
|---|---|
| Conference Date | 2001/1/15(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 | Software Science (SS) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | A formulation of mobile computation by extension of simply typed λ calculus |
| Sub Title (in English) | |
| Keyword(1) | λ calculus |
| Keyword(2) | mobile computation |
| Keyword(3) | formulation |
| Keyword(4) | operational semantics |
| 1st Author's Name | Satoshi Shirai |
| 1st Author's Affiliation | Graduate School of Informatics, Kyoto University() |
| 2nd Author's Name | Masahiko Sato |
| 2nd Author's Affiliation | Graduate School of Informatics, Kyoto University |
| Date | 2001/1/15 |
| Paper # | SS2000-41 |
| Volume (vol) | vol.100 |
| Number (no) | 569 |
| Page | pp.pp.- |
| #Pages | 8 |
| Date of Issue | |