RIMS symposia on software science and engineering, Kyoto, 1982 : proceedings

著者

• 後藤, 英一 ゴトウ, エイイチ
• RIMS Symposium on Software Science and Engineering

書誌事項

RIMS symposia on software science and engineering, Kyoto, 1982 : proceedings

edited by Eiichi Goto ... [et al.]

（Lecture notes in computer science, 147）

Springer-Verlag, 1983

• : gw
• : us

注記

Includes bibliographical references

内容説明・目次

目次

Partial computation of programs.- Treatment of big values in an applicative language HFP.- Toward the design and implementation of object oriented architecture.- DURAL: an extended Prolog language.- An algorithm for intelligent backtracking.- A pattern matching algorithm in binary trees.- Polynomial time inference of extended regular pattern languages.- Effects of practical assumption in area complexity of VLSI computation.- Hardware algorithms and logic design automation.- List processing with a data flow machine.- Relational algebra machine GRACE.- Vocabulary building for database queries.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA03577835
• ISBN:
  • 3540119809
  • 0387119809
• LCCN: 82019669
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin ; New York
• ページ数/冊数: 232 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA76.6
  • DC19 : 001.64/2
• 件名:
  • LCSH : Electronic digital computers -- Programming -- Congresses
  • LCSH : Computer architecture -- Congresses
  • LCSH : Computer software -- Congresses
• 親書誌ID:
  • BA00009279