講演名 2018-07-19
Concurrent Execution Semantics of the Functional Programming Language in Continuation Passing Style Based on the Actor Model
小島 渚(広島市大), 島 和之(広島市大), 中田 明夫(広島市大),
PDFダウンロードページ PDFダウンロードページへ
抄録(和)
抄録(英) 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.
キーワード(和)
キーワード(英) SchemeFunctional programming languageContinuation passing styleLambda calculusActor model
資料番号 SS2018-14,KBSE2018-24
発行日 2018-07-11 (SS, KBSE)

研究会情報
研究会 KBSE / SS / IPSJ-SE
開催期間 2018/7/18(から3日開催)
開催地(和) 北海道・帯広市 とかちプラザ 視聴覚室/大集会室
開催地(英)
テーマ(和) 知能ソフトウェア工学全般/ソフトウェアサイエンス全般/ソフトウェア工学全般
テーマ(英)
委員長氏名(和) 粂野 文洋(日本工大) / 中田 明夫(広島市大) / 丸山 勝久(立命館大学)
委員長氏名(英) Fumihiro Kumeno(Nippon Inst. of Tech.) / Akio Nakata(Hiroshima City Univ.) / Katsuhisa Maruyama(Ritsumeikan Univ.)
副委員長氏名(和) 中川 博之(阪大) / 小林 隆志(東工大)
副委員長氏名(英) Hiroyuki Nakagawa(Osaka Univ.) / Takashi Kobayashi(Tokyo Inst. of Tech.)
幹事氏名(和) 猿渡 卓也(NTT) / 木村 功作(富士通研) / 肥後 芳樹(阪大) / 島 和之(広島市大) / 石尾 隆(NAIST) / 位野木 万里(工学院大学) / 丹野 治門(NTT) / 吉田 則裕(名古屋大学) / 吉村 健太郎(日立製作所) / 鷲崎 弘宜(早稲田大学)
幹事氏名(英) Takuya Saruwatari(NTT) / Kosaku Kimura(Fujitsu labs.) / Yoshiki Higo(Osaka Univ.) / Kazuyuki Shima(Hiroshima City Univ.) / Takashi Ishio(NAIST) / Mari Inoki(Kogakuin Univ.) / Haruto Tanno(NTT) / Norihiro Yoshida(Nagoya Univ.) / Kentaro Yoshimura(Hitachi) / Hironori Washizaki(Waseda Univ.)
幹事補佐氏名(和) 高橋 竜一(茨城大) / 田辺 良則(鶴見大) / 林 晋平(東工大)
幹事補佐氏名(英) Ryuichi Takahashi(Ibaraki Univ.) / Yoshinori Tanabe(Tsurumi Univ.) / Shinpei Hayashi(Tokyo Inst. of Tech.)

講演論文情報詳細
申込み研究会 Technical Committee on Knowledge-Based Software Engineering / Technical Committee on Software Science / Special Interest Group on Software Engineering
本文の言語 ENG
タイトル(和)
サブタイトル(和)
タイトル(英) Concurrent Execution Semantics of the Functional Programming Language in Continuation Passing Style Based on the Actor Model
サブタイトル(和)
キーワード(1)(和/英) / SchemeFunctional programming languageContinuation passing styleLambda calculusActor model
第 1 著者 氏名(和/英) 小島 渚 / Nagisa Kojima
第 1 著者 所属(和/英) 広島市立大学(略称:広島市大)
Hiroshima City University(略称:Hiroshima City Univ.)
第 2 著者 氏名(和/英) 島 和之 / Kazuyuki Shima
第 2 著者 所属(和/英) 広島市立大学(略称:広島市大)
Hiroshima City University(略称:Hiroshima City Univ.)
第 3 著者 氏名(和/英) 中田 明夫 / Akio Nakata
第 3 著者 所属(和/英) 広島市立大学(略称:広島市大)
Hiroshima City University(略称:Hiroshima City Univ.)
発表年月日 2018-07-19
資料番号 SS2018-14,KBSE2018-24
巻番号(vol) vol.118
号番号(no) SS-137,KBSE-138
ページ範囲 pp.161-166(SS), pp.161-166(KBSE),
ページ数 6
発行日 2018-07-11 (SS, KBSE)