Lattice programming : programming methodology and compilation to logic programs 束プログラミング : プログラミング方法論と論理プログラミングへのコンパイル

この論文をさがす

著者

    • 福永, 光一 フクナガ, コウイチ

書誌事項

タイトル

Lattice programming : programming methodology and compilation to logic programs

タイトル別名

束プログラミング : プログラミング方法論と論理プログラミングへのコンパイル

著者名

福永, 光一

著者別名

フクナガ, コウイチ

学位授与大学

早稲田大学

取得学位

工学博士

学位授与番号

乙第851号

学位授与年月日

1991-10-17

注記・抄録

博士論文

目次

  1. Abstract / p1 (0003.jp2)
  2. Contents / p2 (0004.jp2)
  3. 1 Intorduction / p4 (0006.jp2)
  4. 1.1 Bakground / p4 (0006.jp2)
  5. 1.2 Overview of the research / p5 (0007.jp2)
  6. 2 Lattice programs / p9 (0011.jp2)
  7. 2.1 Syntax and informal introduction of the semantics / p9 (0011.jp2)
  8. 2.2 Theoretical soundness / p10 (0012.jp2)
  9. 3 Programming methodology / p13 (0015.jp2)
  10. 3.1 An example derivation of a lattice program: shortest paths finding / p13 (0015.jp2)
  11. 3.2 The second example to show a general optimization technique: sorting / p21 (0023.jp2)
  12. 3.3 Section summary / p31 (0033.jp2)
  13. 4 Compilation to logic programs / p32 (0034.jp2)
  14. 4.1 All-solutions search for ground I/O Prolog programs / p32 (0034.jp2)
  15. 4.2 Optimization of all-solutions search and compilation of lattice programs / p43 (0045.jp2)
  16. 5 Conclusion / p51 (0053.jp2)
0アクセス

各種コード

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