Presentation | 2018-01-18 Design of concurrent processing by an interpreter for the functional programming language in continuation passing style Nagisa Kojima, Kazuyuki Shima, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | In our study so far, we have proposed the notation which expresses lambda calculus in Continuation-Passing Style (CPS) simply and satisfies confluence for partial application of lambda expressions in CPS. We have also suggest the programing language based on the notation. In spite of the fact that the proposed language is a functional language based on lambda calculus, descriptions in it can be akin to imperative language by CPS. In this paper, we describe the implementation of the concurrent processing based on the actor model in the proposed language. The actor model is a mathematical model which models concurrent processing as message passing among actors. Although message passing is classified as either synchronous or asynchronous type, we present that both of types can be described in the proposed language succinctly. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | actor model / lambda calculus / Scheme / message passing |
Paper # | MSS2017-55,SS2017-42 |
Date of Issue | 2018-01-11 (MSS, SS) |
Conference Information | |
Committee | SS / MSS |
---|---|
Conference Date | 2018/1/18(2days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | Kazuhiro Ogata(JAIST) / Morikazu Nakamura(Univ. of Ryukyus) |
Vice Chair | Akio Nakata(Hiroshima City Univ.) / Shigemasa Takai(Osaka Univ.) |
Secretary | Akio Nakata(Tokyo Inst. of Tech.) / Shigemasa Takai(Osaka Univ.) |
Assistant | Kazuyuki Shima(Hiroshima City Univ.) / Hideki Kinjo(Okinawa Univ.) |
Paper Information | |
Registration To | Technical Committee on Software Science / Technical Committee on Mathematical Systems Science and its applications |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Design of concurrent processing by an interpreter for the functional programming language in continuation passing style |
Sub Title (in English) | |
Keyword(1) | actor model |
Keyword(2) | lambda calculus |
Keyword(3) | Scheme |
Keyword(4) | message passing |
1st Author's Name | Nagisa Kojima |
1st Author's Affiliation | Hiroshima City University(HCU) |
2nd Author's Name | Kazuyuki Shima |
2nd Author's Affiliation | Hiroshima City University(HCU) |
Date | 2018-01-18 |
Paper # | MSS2017-55,SS2017-42 |
Volume (vol) | vol.117 |
Number (no) | MSS-380,SS-381 |
Page | pp.pp.47-52(MSS), pp.47-52(SS), |
#Pages | 6 |
Date of Issue | 2018-01-11 (MSS, SS) |