プログラム変換(知識情報処理シリーズ ; 7)

• 資料種別: 図書
• ISBN: 4-320-02267-X
• タイトル: プログラム変換
• タイトルよみ: プログラム ヘンカン
• 著者・編者: 古川康一, 溝口文雄 共編
• シリーズタイトル: 知識情報処理シリーズ ; 7
• 著者標目: 古川, 康一, 1942- フルカワ, コウイチ, 1942- ( 00014733 )典拠; 溝口, 文雄, 1941- ミゾグチ, フミオ, 1941- ( 00045896 )典拠
• 出版事項: 東京 : 共立出版
• 出版年月日等: 1987.8
• 出版年（W3CDTF）: 1987
• 数量: 179p
• 大きさ: 22cm
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 件名標目: プログラミング (コンピュータ) プログラミング (コンピュータ) ( 00569223 )典拠
• NDC8版: 007.64
• NDLC: M159
• 対象利用者: 一般
• 一般注記: 執筆: 佐藤泰介ほか
• 書誌注記: 各章末: 参考文献
• 入手条件・定価: 2300円
• 所蔵機関: 国立国会図書館
• 請求記号: M159-2006
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000001872295; http://id.ndl.go.jp/bib/000001872295
• 全国書誌番号: 87049793
• 目録規則: 日本目録規則新版予備版
• 整理区分コード: 111

• 要約等: 代表的なプログラム変換技術である部分計算法、展開/たたみ込み技術の理論と実際を詳細に解説。（提供元: 出版情報登録センター（JPRO））

目次

第1章 プログラム変換入門

第2章 等式プログラムの等価交換

第3章 論理型言語におけるプログラム変換

第4章 部分計算

第5章 メタ・プログラミングと部分計算