Variable SharingとMessage Sendingとの間のプログラム変換 (数理情報科学の研究)
スポンサーリンク
概要
著者
関連論文
- 2. コンピュータ科学領域(J07-CS)(情報専門学科カリキュラム標準J07)
- A Mapping System from Object-Z to C++
- 最近の Ada の動向 (Adaの応用と評価)
- Adaの待ち合わせの標準形について(同期の数理)
- 特集「UNIX」の編集にあたって
- 特集「プログラミング言語 Prolog」の編集にあたって
- 特集「日本のソフトウェアの草創期」の編集にあたって
- 遅延つき関数の完全性 (多値論理およびその応用)
- ぺた語義 : シラバスに基づく理工系情報学科のカリキュラム調査
- 特集「Ada の応用と評価」の編集にあたって
- 小特集「プログラミング言語 : PascalとAda」の編集にあたって
- コンビネータによる言語処理系
- 19. 再帰呼出しの実現法 (アルゴリズムの最近の動向)
- Listing Subtrees of a Binary Tree (形式言語理論とオートマトン理論)
- Pascal総説 (プログラミング言語 : PascalとAda)
- On a Class of Recursive Procedures and Equivalent Iterative Ones (情報科学の数学的基礎理論と応用)
- あいまい性が強い文脈自由文法の枝刈りに基づく効率的な構文解析
- カリキュラムCC2001について(情報技術と教育)
- 4G-10 CORBA環境におけるミーティングスケジューリングシステムFlexMeet
- CORBA分散処理による会合日決定アルゴリズムと評価
- Program transformation of Ada tasks to Standard forms
- カテゴリー理論とプログラミング : カルテシアン閉カテゴリー (関数型プログラミングと計算の基礎)
- Variable SharingとMessage Sendingとの間のプログラム変換 (数理情報科学の研究)
- ICPC世界大会2007の問題(ACM国際大学対抗プログラミングコンテスト世界大会報告)
- Adaの並列機能のプログラム変換
- Ada文法書の改訂について
- 18. ソースプログラムの高速化 (アルゴリズムの最近の動向)
- CSP、DP、Adaの比較(同期の数理)
- Pascalとそれ以降の言語設計 (プログラミング言語 : PascalとAda)