Presentation | 2018-07-19 Concurrent Execution Semantics of the Functional Programming Language in Continuation Passing Style Based on the Actor Model Nagisa Kojima, Kazuyuki Shima, Akio Nakata, |
---|---|
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 its rewriting rules satisfy confluence for partial application of lambda expressions in CPS. We have also proposed the programming language based on the notation. In spite of the fact that the proposed language is a functional language based on lambda calculus, its expressions in CPS look like imperative language. In this paper, we describe concurrent execution semantics of the proposed language in CPS based on the actor model. Message passing is classified as either synchronous or asynchronous type. In the actor model, basically actors communicate with asynchronous message passing and if they do with synchronous message passing, CPS is applied. CPS makes programs in conventional programming languages complicated. Therefore we present that both of types can be expressed in the proposed language concisely. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | SchemeFunctional programming languageContinuation passing styleLambda calculusActor model |
Paper # | SS2018-14,KBSE2018-24 |
Date of Issue | 2018-07-11 (SS, KBSE) |
Conference Information | |
Committee | KBSE / SS / IPSJ-SE |
---|---|
Conference Date | 2018/7/18(3days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | Fumihiro Kumeno(Nippon Inst. of Tech.) / Akio Nakata(Hiroshima City Univ.) / Katsuhisa Maruyama(Ritsumeikan Univ.) |
Vice Chair | Hiroyuki Nakagawa(Osaka Univ.) / Takashi Kobayashi(Tokyo Inst. of Tech.) |
Secretary | Hiroyuki Nakagawa(NTT) / Takashi Kobayashi(Fujitsu labs.) / (Osaka Univ.) |
Assistant | Ryuichi Takahashi(Ibaraki Univ.) / Yoshinori Tanabe(Tsurumi Univ.) / Shinpei Hayashi(Tokyo Inst. of Tech.) |
Paper Information | |
Registration To | Technical Committee on Knowledge-Based Software Engineering / Technical Committee on Software Science / Special Interest Group on Software Engineering |
---|---|
Language | ENG |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Concurrent Execution Semantics of the Functional Programming Language in Continuation Passing Style Based on the Actor Model |
Sub Title (in English) | |
Keyword(1) | SchemeFunctional programming languageContinuation passing styleLambda calculusActor model |
1st Author's Name | Nagisa Kojima |
1st Author's Affiliation | Hiroshima City University(Hiroshima City Univ.) |
2nd Author's Name | Kazuyuki Shima |
2nd Author's Affiliation | Hiroshima City University(Hiroshima City Univ.) |
3rd Author's Name | Akio Nakata |
3rd Author's Affiliation | Hiroshima City University(Hiroshima City Univ.) |
Date | 2018-07-19 |
Paper # | SS2018-14,KBSE2018-24 |
Volume (vol) | vol.118 |
Number (no) | SS-137,KBSE-138 |
Page | pp.pp.161-166(SS), pp.161-166(KBSE), |
#Pages | 6 |
Date of Issue | 2018-07-11 (SS, KBSE) |