A study on high-level and safe interoperability of programming languages
| Project/Area Number |
24700021
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Multi-year Fund |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Tohoku University |
|---|
Principal Investigator |
UENO Katsuhiro 東北大学, 電気通信研究所, 助教 (60551554)
|
|---|
| Project Period (FY) |
2012-04-01 – 2015-03-31
|
| Project Status |
Completed (Fiscal Year 2014)
|
| Budget Amount *help |
¥2,730,000 (Direct Cost: ¥2,100,000、Indirect Cost: ¥630,000)
Fiscal Year 2014: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2013: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2012: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
|
|---|
| Keywords | プログラム言語論 / プログラミングパラダイム / コンパイラ / 関数型言語 / プログラミング言語 / プログラム言語 / プログラミングパラダイ / Ruby |
|---|
| Outline of Final Research Achievements |
Towards constructing a secure application by combining multiple programming languages, this reserch has developed a new approach for a strongly typed functional language to interoperate with an untyped language by generating a secure glue code between the two languages from type annotations of shell scripts. This research also has implemented an extension to SML#, a variant of Standard ML, that allows the programmer to embed shell scripts directly in an ML program. In addition, towards interoperability with Ruby, this research has presented a formal operational semantics that can serve as a high-level specification of Ruby.
|
Report
(4 results)
Research Products
(8 results)
-
[Presentation] The Essence of Ruby2014
Author(s)
Katsuhiro Ueno, Yutaka Fukasawa, Akimasa Morihata, Atsushi Ohori
Organizer
12th Asian Symposium on Programming Languages and Systems
Place of Presentation
National University of Singapore
Year and Date
2014-11-17 – 2014-11-19
Related Report
-
-
-
-
-
-
-
