著者

岡部 究 水野 洋樹 瀬川 秀一

雑誌

第55回プログラミング・シンポジウム予稿集

巻号頁・発行日

vol.2014, pp.53-54, 2014-01-10

---

現在でもOSはC言語によって設計されている.一方アプリケーションは強い型付けの言語を用いた安全な設計手法が確立されている.本稿ではOSの安全な設計手法として,C言語によって設計されたOSのソースコードを元に少しずつ型推論をそなえた言語による実装に置き換えるスナッチ設計という手法を提案する.また当該手法を小規模OSに対して適用し,その結果を考察する.

著者

塩路 理恵子 岡部 究 平林 万紀彦 今村 祐子 赤川 直子 谷井 一夫 矢野 勝治 川上 正憲 樋之口 潤一郎 舘野 歩 中村 敬 シオジ リエコ オカベ キワム ヒラバヤシ マキヒコ イマムラ ユウコ アカガワ ナオコ タニイ カズオ ヤノ カツハル カワカミ マサノリ ヒノグチ ジュンイチロウ タテノ アユム ナカムラ ケイ Shioji Rieko Okabe Kiwamu Hirabayashi Makihiko Imamura Yuko Akagawa Naoko Tanii Kazuo Yano Katsuharu Kawakami Masanori Hinoguchi Junichiro Tateno Ayumu Nakamura Kei

雑誌

東京慈恵会医科大学雑誌 (ISSN:03759172)

巻号頁・発行日

vol.128, no.4, pp.152-153, 2013-07-15