【12/14(木)17時より】CiNiiの常時SSL化(HTTPS接続)について

Studies on formal semantics of concurrent logic programming languages 並行論理型プログラミング言語の形式意味論に関する研究

この論文をさがす

著者

    • 加藤, 暢 カトウ, トオル

書誌事項

タイトル

Studies on formal semantics of concurrent logic programming languages

タイトル別名

並行論理型プログラミング言語の形式意味論に関する研究

著者名

加藤, 暢

著者別名

カトウ, トオル

学位授与大学

岡山大学

取得学位

博士 (工学)

学位授与番号

甲第1681号

学位授与年月日

1997-09-30

注記・抄録

博士論文

目次

  1. Abstract / p1 (0002.jp2)
  2. Contents / p4 (0004.jp2)
  3. 1 Introduction / p1 (0005.jp2)
  4. 1.1 Background / p1 (0005.jp2)
  5. 1.2 Contributions of the Thesis / p11 (0010.jp2)
  6. 1.3 Organizations of the Thesis / p13 (0011.jp2)
  7. 2 Guarded Horn Clauses / p15 (0012.jp2)
  8. 2.1 Introduction / p15 (0012.jp2)
  9. 2.2 Background of GHC / p16 (0013.jp2)
  10. 2.3 Flat GHC / p17 (0013.jp2)
  11. 2.4 I/O-History of Substitutions / p20 (0015.jp2)
  12. 3 Compositionality of Semantics / p22 (0016.jp2)
  13. 3.1 Introduction / p22 (0016.jp2)
  14. 3.2 General Concepts / p23 (0016.jp2)
  15. 3.3 OR-Compositionality / p24 (0017.jp2)
  16. 3.4 OR-Compositional Semantics of Pure Logic Languages / p27 (0018.jp2)
  17. 4 Constructors for Semantics of GHC / p30 (0020.jp2)
  18. 4.1 Introduction / p30 (0020.jp2)
  19. 4.2 GHC Ω Open Program / p31 (0020.jp2)
  20. 4.3 Semantic Domain for GHC / p33 (0021.jp2)
  21. 4.4 Synchronized Merge Operation / p36 (0023.jp2)
  22. 5 An OR-Compositional Semantics of GHC / p40 (0025.jp2)
  23. 5.1 Introduction / p40 (0025.jp2)
  24. 5.2 The Least Model Semantics / p41 (0025.jp2)
  25. 5.3 The Least Fixpoint Semantics / p44 (0027.jp2)
  26. 6 An OR-Composition Operation on the Semantic Domain / p49 (0029.jp2)
  27. 6.1 Introduction / p49 (0029.jp2)
  28. 6.2 An OR-Composition Operation / p50 (0030.jp2)
  29. 6.3 Correctness of OR-Composition Operations / p53 (0031.jp2)
  30. 7 An OR-Compositional Semantics of GHC with Perpetual Processes / p62 (0036.jp2)
  31. 7.1 Introduction / p62 (0036.jp2)
  32. 7.2 The Maximum Model Semantics / p63 (0036.jp2)
  33. 7.3 The Greatest Fixpoint Semantics / p65 (0037.jp2)
  34. 8 An OR-Composition Operation on the Semantic Domain for Perpetual Processes / p72 (0041.jp2)
  35. 8.1 Introduction / p72 (0041.jp2)
  36. 8.2 An OR-Composition Operation for Perpetuality / p73 (0041.jp2)
  37. 8.3 Correctness of OR-Composition Operation / p75 (0042.jp2)
  38. 9 Application of OR-Compositions to Concurrent Constraint / p79 (0044.jp2)
  39. 9.1 Introduction / p79 (0044.jp2)
  40. 9.2 Concurrent Constraint Languages / p80 (0045.jp2)
  41. 9.3 An OR-Compositional Problem in cc(C) / p82 (0046.jp2)
  42. 9.4 Extended Unfolding Rules / p84 (0047.jp2)
  43. 10 A Semantics of GHC on Network Environments / p87 (0048.jp2)
  44. 10.1 Introduction / p87 (0048.jp2)
  45. 10.2 GHC Programs on Network Environments / p88 (0049.jp2)
  46. 10.3 Semantic Domain / p91 (0050.jp2)
  47. 10.4 Synchronized Merge Operation for I/O-Trees / p99 (0054.jp2)
  48. 10.5 Semantic Functions / p104 (0057.jp2)
  49. 10.6 Comparisons of I/O-Tree Semantics with Other Approaches / p109 (0059.jp2)
  50. 10.7 Alternative Merging Operations for I/O-Trees / p113 (0061.jp2)
  51. 11 Conclusion / p117 (0063.jp2)
  52. 11.1 Primary Results of the Thesis / p117 (0063.jp2)
  53. 11.2 Future Works / p119 (0064.jp2)
  54. Bibliography / p121 (0065.jp2)
  55. List of Publications / p125 (0067.jp2)
5アクセス

各種コード

  • NII論文ID(NAID)
    500000151613
  • NII著者ID(NRID)
    • 8000001068557
  • DOI(NDL)
  • 本文言語コード
    • jpn
  • NDL書誌ID
    • 000000315927
  • データ提供元
    • 機関リポジトリ
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ