型付中間言語(2007-)
Masahiro Yasugi.
Typed Construction of Cyclic Data Structures Using Provisional
Assumptions.
The 10th Asian Symposium on Programming Languages and Systems
(APLAS 2012), December 2012.
(Poster Presentation).
八杉昌宏.
ビットレベル低水準命令列のBDDに基づく検証技法に関する考察.
ディペンダブルシステムワークショップ & シンポジウム, December 2011.
(ポスター発表).
Shingo Yuasa and Masahiro Yasugi.
Validating Low-Level Instructions for Fixnums using BDDs.
In Proceedings of the 2010 International Lisp Conference
(ILC 2010), pp. 11-19, October 2010.
八杉昌宏.
ビットレベル表現をサポートする低水準言語における
BDDを利用したプログラム検証に向けて.
日本ソフトウェア科学会第27回大会講演論文集, September 2010.
八杉昌宏.
安全で高速な共通計算基盤のための低水準の型付中間言語の検討.
第12回プログラミングおよびプログラミング言語ワークショップ論文集(PPL2010), p. 82, March 2010.
(カテゴリ3, ポスター).
Masahiro Yasugi.
Towards a Low-Level Typed Intermediate Language for Implementing
Safe, High-Performance Programming Languages.
In Proceedings of Workshop on Software Science and Technology in
China and Japan, pp. 5-8, September 2008.
八杉昌宏.
正確なごみ集めを前提とした低水準の型付中間言語の設計.
第9回プログラミングおよびプログラミング言語ワークショップ論文集(PPL2007), pp. 111-122, March 2007.
MY
Aug 28, 2013