{"id":31241,"updated":"2025-01-22T16:43:53.641883+00:00","links":{},"created":"2025-01-18T23:00:37.901446+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00031241","sets":["1164:2386:2515:2523"]},"path":["2523"],"owner":"1","recid":"31241","title":["コンパイラの代数的仕様記述法"],"pubdate":{"attribute_name":"公開日","attribute_value":"1986-07-03"},"_buckets":{"deposit":"a25f21ea-7311-4bf3-87e9-2aca2a2b6559"},"_deposit":{"id":"31241","pid":{"type":"depid","value":"31241","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"コンパイラの代数的仕様記述法","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"コンパイラの代数的仕様記述法"},{"subitem_title":"An Algebraic Specification Method of Compilers","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"1986-07-03","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"名古屋大学工学部／三重大学工学部"},{"subitem_text_value":"名古屋大学工学部／三重大学工学部"},{"subitem_text_value":"名古屋大学工学部／三重大学工学部"},{"subitem_text_value":"名古屋大学工学部／三重大学工学部"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Nagoya University/Mie University","subitem_text_language":"en"},{"subitem_text_value":"Nagoya University/Mie University","subitem_text_language":"en"},{"subitem_text_value":"Nagoya University/Mie University","subitem_text_language":"en"},{"subitem_text_value":"Nagoya University/Mie University","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/31241/files/IPSJ-PRO86017009.pdf"},"date":[{"dateType":"Available","dateValue":"1988-07-03"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-PRO86017009.pdf","filesize":[{"value":"783.2 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"15"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"b4f76066-8eb5-42b9-8473-ab276662c130","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 1986 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"酒井, 正彦"},{"creatorName":"北, 英彦"},{"creatorName":"坂部, 俊樹"},{"creatorName":"稲垣, 康善"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Masahiko, Sakai","creatorNameLang":"en"},{"creatorName":"Hidehiko, Kita","creatorNameLang":"en"},{"creatorName":"Toshiki, Sakabe","creatorNameLang":"en"},{"creatorName":"Yasuyoshi, Inagaki","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN10485570","subitem_source_identifier_type":"NCID"}]},"item_4_textarea_12":{"attribute_name":"Notice","attribute_value_mlt":[{"subitem_textarea_value":"SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc."}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_18gh","resourcetype":"technical report"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"本稿では，コンパイラの代数的仕様記述法を提案し，その記述例としてPL／Oコンパイラの仕様記述を与える．本記述法では，コンパイラをソース言語の構文領域からターゲット言語の構文領域への関数とみなし，これを二つの構文領域に対して，コンパイリング関数，補助領域，補助関数を加えて拡張した抽象データ型として等式を用いて記述する．","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"In this paper, we propose an algebraic specification method of compilers, and give a specification of PL/O compiler as an example. The basic idea of this method is as follows : A compiler is regarded as the function from the syntactic domain of source language to that of target language. The compiler is specified by using equations as an abstract data type which is the two syntactic domains enriched with the compiling function, auxiliary domains and auxiliary functions.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"70","bibliographic_titles":[{"bibliographic_title":"情報処理学会研究報告プログラミング（PRO）"}],"bibliographicPageStart":"65","bibliographicIssueDates":{"bibliographicIssueDate":"1986-07-03","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"39(1986-PRO-017)","bibliographicVolumeNumber":"1986"}]},"relation_version_is_last":true,"weko_creator_id":"1"}}