Studies on formal semantics of concurrent logic programming languages 並行論理型プログラミング言語の形式意味論に関する研究
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
Studies on formal semantics of concurrent logic programming languages
- タイトル別名
-
並行論理型プログラミング言語の形式意味論に関する研究
- 著者名
-
加藤, 暢
- 著者別名
-
カトウ, トオル
- 学位授与大学
-
岡山大学
- 取得学位
-
博士 (工学)
- 学位授与番号
-
甲第1681号
- 学位授与年月日
-
1997-09-30
注記・抄録
博士論文
目次
- Abstract / p1 (0002.jp2)
- Contents / p4 (0004.jp2)
- 1 Introduction / p1 (0005.jp2)
- 1.1 Background / p1 (0005.jp2)
- 1.2 Contributions of the Thesis / p11 (0010.jp2)
- 1.3 Organizations of the Thesis / p13 (0011.jp2)
- 2 Guarded Horn Clauses / p15 (0012.jp2)
- 2.1 Introduction / p15 (0012.jp2)
- 2.2 Background of GHC / p16 (0013.jp2)
- 2.3 Flat GHC / p17 (0013.jp2)
- 2.4 I/O-History of Substitutions / p20 (0015.jp2)
- 3 Compositionality of Semantics / p22 (0016.jp2)
- 3.1 Introduction / p22 (0016.jp2)
- 3.2 General Concepts / p23 (0016.jp2)
- 3.3 OR-Compositionality / p24 (0017.jp2)
- 3.4 OR-Compositional Semantics of Pure Logic Languages / p27 (0018.jp2)
- 4 Constructors for Semantics of GHC / p30 (0020.jp2)
- 4.1 Introduction / p30 (0020.jp2)
- 4.2 GHC Ω Open Program / p31 (0020.jp2)
- 4.3 Semantic Domain for GHC / p33 (0021.jp2)
- 4.4 Synchronized Merge Operation / p36 (0023.jp2)
- 5 An OR-Compositional Semantics of GHC / p40 (0025.jp2)
- 5.1 Introduction / p40 (0025.jp2)
- 5.2 The Least Model Semantics / p41 (0025.jp2)
- 5.3 The Least Fixpoint Semantics / p44 (0027.jp2)
- 6 An OR-Composition Operation on the Semantic Domain / p49 (0029.jp2)
- 6.1 Introduction / p49 (0029.jp2)
- 6.2 An OR-Composition Operation / p50 (0030.jp2)
- 6.3 Correctness of OR-Composition Operations / p53 (0031.jp2)
- 7 An OR-Compositional Semantics of GHC with Perpetual Processes / p62 (0036.jp2)
- 7.1 Introduction / p62 (0036.jp2)
- 7.2 The Maximum Model Semantics / p63 (0036.jp2)
- 7.3 The Greatest Fixpoint Semantics / p65 (0037.jp2)
- 8 An OR-Composition Operation on the Semantic Domain for Perpetual Processes / p72 (0041.jp2)
- 8.1 Introduction / p72 (0041.jp2)
- 8.2 An OR-Composition Operation for Perpetuality / p73 (0041.jp2)
- 8.3 Correctness of OR-Composition Operation / p75 (0042.jp2)
- 9 Application of OR-Compositions to Concurrent Constraint / p79 (0044.jp2)
- 9.1 Introduction / p79 (0044.jp2)
- 9.2 Concurrent Constraint Languages / p80 (0045.jp2)
- 9.3 An OR-Compositional Problem in cc(C) / p82 (0046.jp2)
- 9.4 Extended Unfolding Rules / p84 (0047.jp2)
- 10 A Semantics of GHC on Network Environments / p87 (0048.jp2)
- 10.1 Introduction / p87 (0048.jp2)
- 10.2 GHC Programs on Network Environments / p88 (0049.jp2)
- 10.3 Semantic Domain / p91 (0050.jp2)
- 10.4 Synchronized Merge Operation for I/O-Trees / p99 (0054.jp2)
- 10.5 Semantic Functions / p104 (0057.jp2)
- 10.6 Comparisons of I/O-Tree Semantics with Other Approaches / p109 (0059.jp2)
- 10.7 Alternative Merging Operations for I/O-Trees / p113 (0061.jp2)
- 11 Conclusion / p117 (0063.jp2)
- 11.1 Primary Results of the Thesis / p117 (0063.jp2)
- 11.2 Future Works / p119 (0064.jp2)
- Bibliography / p121 (0065.jp2)
- List of Publications / p125 (0067.jp2)