プログラミング言語システム「つくばね」における言語と処理系構成法の研究

この論文をさがす

著者

    • 戸村, 哲 トムラ, サトル

書誌事項

タイトル

プログラミング言語システム「つくばね」における言語と処理系構成法の研究

著者名

戸村, 哲

著者別名

トムラ, サトル

学位授与大学

東京大学

取得学位

工学博士

学位授与番号

乙第9891号

学位授与年月日

1990-11-15

注記・抄録

博士論文

目次

  1. 目次 / p5 (0005.jp2)
  2. 1 序論 / p1 (0010.jp2)
  3. 1.1 研究の背景と目的 / p2 (0011.jp2)
  4. 1.2 論文の構成 / p6 (0013.jp2)
  5. 1.3 記法 / p8 (0014.jp2)
  6. 2 並行オブジェクト指向言語Monoの意味定義 / p11 (0015.jp2)
  7. 2.1 はじめに / p12 (0016.jp2)
  8. 2.2 記法 / p12 (0016.jp2)
  9. 2.3 並行オブジェクト指向言語Mono / p13 (0016.jp2)
  10. 2.4 プロセス代数モデルECCS / p20 (0020.jp2)
  11. 2.5 MonoからECCSへの変換 / p29 (0024.jp2)
  12. 2.6 まとめ / p41 (0030.jp2)
  13. 3 TDProlog:項記述単一化に基づくProlog / p45 (0032.jp2)
  14. 3.1 はじめに / p46 (0033.jp2)
  15. 3.2 TDProlog / p46 (0033.jp2)
  16. 3.3 TDPrologのインタプリタ / p53 (0036.jp2)
  17. 3.4 TDPrologの完全性と健全性 / p56 (0038.jp2)
  18. 3.5 TDPrologの処理系 / p59 (0039.jp2)
  19. 3.6 まとめ / p67 (0043.jp2)
  20. 4 TRS Compiler I:正規簡易戦略式に基づく項書き換え系コンパイラ / p71 (0045.jp2)
  21. 4.1 はじめに / p72 (0046.jp2)
  22. 4.2 リスト記法による項書き換え系:TRS / p72 (0046.jp2)
  23. 4.3 簡約化戦略 / p75 (0047.jp2)
  24. 4.4 簡易戦略式に基づくTRSコンパイラ / p79 (0049.jp2)
  25. 4.5 まとめ / p91 (0055.jp2)
  26. 5 Agile:対話的言語環境のための属性文法 / p95 (0057.jp2)
  27. 5.1 はじめに / p96 (0058.jp2)
  28. 5.2 ユーザインタフェースの基本モデルと記述法 / p96 (0058.jp2)
  29. 5.3 ユーザインタフェース記述言語 / p97 (0058.jp2)
  30. 5.4 Agileによるニディタの記述例 / p98 (0059.jp2)
  31. 5.5 他のユーザインタフェース定義法との比較 / p105 (0062.jp2)
  32. 5.6 言語仕様 / p107 (0063.jp2)
  33. 5.7 対話的構文解析系 / p111 (0065.jp2)
  34. 5.8 遅延コンパイル法 / p114 (0067.jp2)
  35. 5.9 まとめ / p121 (0070.jp2)
  36. 6 結論 / p123 (0071.jp2)
  37. 謝辞 / p127 (0073.jp2)
  38. 参考文献 / p129 (0074.jp2)
  39. A 順序メッセージ通信の意味定義 / p135 (0077.jp2)
2アクセス

各種コード

  • NII論文ID(NAID)
    500000083218
  • NII著者ID(NRID)
    • 8000000083428
  • DOI(NDL)
  • NDL書誌ID
    • 000000247532
  • データ提供元
    • NDL ONLINE
    • NDLデジタルコレクション
ページトップへ