高階書き換えシステムをもちいたプログラム検証法の研究

Notes on use

Search by Bookstore

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
Title: 高階書き換えシステムをもちいたプログラム検証法の研究
Title Transcription: コウカイカキカエシステムオモチイタプログラムケンショウホウノケンキュウ
Author/Editor: 外山, 芳人, 北陸先端科学技術大学院大学
Author Heading: 外山, 芳人トヤマ, ヨシヒト
Publication Date: 1995-1997
Publication Date (W3CDTF): 1995
Extent: 冊
Additional Title: 研究種目一般研究(C)
Subject Heading: 項書き換えシステムコウカキカエシステム
高階書き換えシステムコウカイカキカエシステム
合流性ゴウリユウセイ
停止性テイシセイ
リダクシヨンリダクシヨン
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 07680347
Holding library: 国立国会図書館
Call No.: Y151-H07680347
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007009608
http://id.ndl.go.jp/bib/000007009608
Bibliographic Record Category (NDL): 214