Presentation | 2016-07-14 A Behavioral Model for Executing Yampa Programs Tomoki Ichihashi, Yuuen Shouji, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | In this paper, we propose differences-embedded automata as a behavioral model of Yampa programs which is a domain-specific embedded language of Haskell for safety analysis. Differences-embedded automata have continuous and discrete transitions, and additionally, transitions of locations by infinitesimal time passing. In infinitesimal time passing, assignments of values to variables are distinguished between previous values and post values, and occurrences of events by transitions of locations by infinitesimal time passing are modeled as feasible operation for describing discrete execution of Yampa. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Functional reactive programming / Yampa / Execution model / Programming languages / Real-time programs |
Paper # | SS2016-11,KBSE2016-17 |
Date of Issue | 2016-07-06 (SS, KBSE) |
Conference Information | |
Committee | KBSE / SS / IPSJ-SE |
---|---|
Conference Date | 2016/7/13(3days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | Shigeo Kaneda(Doshisha Univ.) / Kazuhiro Ogata(JAIST) |
Vice Chair | Fumihiro Kumeno(Nippon Inst. of Tech.) / Akio Nakata(Hiroshima City Univ.) |
Secretary | Fumihiro Kumeno(Shinshu Univ.) / Akio Nakata(Nippon Inst. of Tech.) / (Tokyo Inst. of Tech.) |
Assistant | Hajime Iwata(Kanagawa Inst. of Tech.) / Kohei Sakurai(Kanazawa Univ.) / Kazuyuki Shima(Hiroshima City Univ.) |
Paper Information | |
Registration To | Technical Committee on Knowledge-Based Software Engineering / Technical Committee on Software Science / Special Interest Group on Software Engineering |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | A Behavioral Model for Executing Yampa Programs |
Sub Title (in English) | |
Keyword(1) | Functional reactive programming |
Keyword(2) | Yampa |
Keyword(3) | Execution model |
Keyword(4) | Programming languages |
Keyword(5) | Real-time programs |
1st Author's Name | Tomoki Ichihashi |
1st Author's Affiliation | Nagoya University(Nagoya Univ.) |
2nd Author's Name | Yuuen Shouji |
2nd Author's Affiliation | Nagoya University(Nagoya Univ.) |
Date | 2016-07-14 |
Paper # | SS2016-11,KBSE2016-17 |
Volume (vol) | vol.116 |
Number (no) | SS-127,KBSE-128 |
Page | pp.pp.99-104(SS), pp.99-104(KBSE), |
#Pages | 6 |
Date of Issue | 2016-07-06 (SS, KBSE) |