Backtracking optimizations in compiled Prolog Prolog処理系におけるバックトラックの最適化に関する研究

この論文をさがす

著者

    • 周, 能法 ゾウ, ネンファ

書誌事項

タイトル

Backtracking optimizations in compiled Prolog

タイトル別名

Prolog処理系におけるバックトラックの最適化に関する研究

著者名

周, 能法

著者別名

ゾウ, ネンファ

学位授与大学

九州大学

取得学位

工学博士

学位授与番号

甲第2780号

学位授与年月日

1991-03-27

注記・抄録

博士論文

目次

  1. Contents / p5 (0007.jp2)
  2. Abstract / p1 (0003.jp2)
  3. Acknowledgements / p3 (0005.jp2)
  4. Contents / p5 (0007.jp2)
  5. Chapter 1 Introduction / p1 (0010.jp2)
  6. 1.1 Background / p1 (0010.jp2)
  7. 1.2 Results / p4 (0013.jp2)
  8. 1.3 Related Work / p6 (0015.jp2)
  9. 1.4 An Example / p9 (0018.jp2)
  10. 1.5 Outline / p10 (0019.jp2)
  11. Chapter 2 Preliminaries / p11 (0020.jp2)
  12. 2.1 Prolog / p12 (0021.jp2)
  13. 2.2 TheWAM / p14 (0023.jp2)
  14. Chapter 3 The TOAM / p31 (0040.jp2)
  15. 3.1 Matching Trees / p31 (0040.jp2)
  16. 3.2 Data Areas / p33 (0042.jp2)
  17. 3.3 Instruction Set / p34 (0043.jp2)
  18. 3.4 An Example / p38 (0047.jp2)
  19. Chapter 4 A Bidirectional Mode System / p40 (0049.jp2)
  20. 4.1 Introduction / p40 (0049.jp2)
  21. 4.2 Basic Definitions / p43 (0052.jp2)
  22. 4.3 Abstract Compilation / p46 (0055.jp2)
  23. 4.4 Discussion / p52 (0061.jp2)
  24. Chapter 5 A Prolog Compiler for the TOAM / p54 (0063.jp2)
  25. 5.1 Source-to-Source Program Transformation / p54 (0063.jp2)
  26. 5.2 Register Allocation / p60 (0069.jp2)
  27. 5.3 Matching Tree Construction / p61 (0070.jp2)
  28. 5.4 Code Generation / p63 (0072.jp2)
  29. 5.5 Optimization / p65 (0074.jp2)
  30. 5.6 Discussion / p66 (0075.jp2)
  31. Chapter 6 Performance Evaluation / p70 (0079.jp2)
  32. 6.1 Benchmark Programs / p70 (0079.jp2)
  33. 6.2 Code Size / p71 (0080.jp2)
  34. 6.3 Stack Size / p71 (0080.jp2)
  35. 6.4 Choice Point Operations / p72 (0081.jp2)
  36. 6.5 Execution Time / p73 (0082.jp2)
  37. Chapter 7 Conclusion / p74 (0083.jp2)
  38. References / p76 (0085.jp2)
  39. Appendix 1 Compiled Code for the Queens Program / p82 (0091.jp2)
  40. Appendix 2 Benchmark Programs / p84 (0093.jp2)
  41. List of Publications / p86 (0095.jp2)
0アクセス

各種コード

  • NII論文ID(NAID)
    500000075486
  • NII著者ID(NRID)
    • 8000000075685
  • DOI(NDL)
  • NDL書誌ID
    • 000000239800
  • データ提供元
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ