@article{oai:ipsj.ixsq.nii.ac.jp:00016837,
 author = {児玉, 靖司 and Yasushi, Kodama},
 issue = {SIG01(PRO13)},
 journal = {情報処理学会論文誌プログラミング（PRO）},
 month = {Jan},
 note = {フォールトトレラントシステムを記述するためのプログラミング言語として，並列言語SPLを設計し，実現した．SPLは，大規模分散環境から，オペレーティングシステムのマイクロカーネルまで，さまざまな並列計算システムを統一的に記述することができる．さらに，動的コンパイルを可能とし，柔軟性のあるプログラミングをすることができる．処理系はトランスレータ方式とし，20個のC言語関数を呼び出すC言語プログラムとして出力するため，ソースコードレベルでさまざまな並列計算システムへ可搬性の高いものとなっている．本論文では，SPLの設計概念，実現の仕組みを説明し，プログラミングの応用例を紹介した後，評価，議論を行う．, We have designed and implemented a parallel language called SPL for developing of the fault tolerant systems.  Using SPL, various parallel calculation systems from a large-scale distributed environment to the micro-kernel of the operating system can be described.  In addtion, a flexible programming is enabled using dynamic compilations.  Bacause this processing system assumes the translator method and outputs the program codes that call only 20 functions of C language, it can be executed with high portability.  In this paper, we explain the design concept of SPL, the examples of programming and the system evaluation.},
 pages = {136--136},
 title = {動的コンパイル可能な並列言語の設計と実現},
 volume = {43},
 year = {2002}
}