{"created":"2023-06-19T11:37:30.826070+00:00","id":4848,"links":{},"metadata":{"_buckets":{"deposit":"120e6b83-2747-4cbe-bc10-ba5492afd253"},"_deposit":{"created_by":13,"id":"4848","owners":[13],"pid":{"revision_id":0,"type":"depid","value":"4848"},"status":"published"},"_oai":{"id":"oai:mie-u.repo.nii.ac.jp:00004848","sets":["366:367:368:379"]},"author_link":["10266","10267","10268"],"item_4_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"1986-12-20","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"54","bibliographicPageStart":"43","bibliographicVolumeNumber":"11","bibliographic_titles":[{"bibliographic_title":"Research reports of the Faculty of Engineering, Mie University"}]}]},"item_4_description_14":{"attribute_name":"フォーマット","attribute_value_mlt":[{"subitem_description":"application/pdf","subitem_description_type":"Other"}]},"item_4_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"The purpose of formal specification of programming languages are to establish the mathematical foundation for specification and verification of programs, proof of compiler correctness and automatic compiler generation. We propose a purely algebraic approach to develop a new algebraic specification method of programming languages. In this paper, the syntactic and semantic domains are considered as algebras, i.e., abstract data types, and the semantics of the language is given by a mapping from the syntactic domain to the semantic one. As an illustrative example, we describe a very simple language by our method.","subitem_description_type":"Abstract"}]},"item_4_publisher_30":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"Faculty of Engineering, Mie University"}]},"item_4_source_id_7":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"0385-6208","subitem_source_identifier_type":"PISSN"}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA00816341","subitem_source_identifier_type":"NCID"}]},"item_4_text_18":{"attribute_name":"その他のタイトル","attribute_value_mlt":[{"subitem_text_language":"ja","subitem_text_value":"プログラミング言語の代数的仕様記述法"}]},"item_4_text_65":{"attribute_name":"資源タイプ（三重大）","attribute_value_mlt":[{"subitem_text_value":"Departmental Bulletin Paper / 紀要論文"}]},"item_4_version_type_15":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Kita, Hidehiko","creatorNameLang":"en"},{"creatorName":"北, 英彦","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"10266","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Sakabe, Toshiki","creatorNameLang":"en"},{"creatorName":"坂部, 俊樹","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"10267","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Inagaki, Yasuyoshi","creatorNameLang":"en"},{"creatorName":"稲垣, 康善","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"10268","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2017-02-18"}],"displaytype":"detail","filename":"AA008163410110008.PDF","filesize":[{"value":"580.7 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"AA008163410110008.PDF","url":"https://mie-u.repo.nii.ac.jp/record/4848/files/AA008163410110008.PDF"},"version_id":"7044d92a-4e31-4230-8f4c-087f24386eef"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"departmental bulletin paper","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"Algebraic Specification Method of Programming Languages","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Algebraic Specification Method of Programming Languages","subitem_title_language":"en"}]},"item_type_id":"4","owner":"13","path":["379"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2007-07-02"},"publish_date":"2007-07-02","publish_status":"0","recid":"4848","relation_version_is_last":true,"title":["Algebraic Specification Method of Programming Languages"],"weko_creator_id":"13","weko_shared_id":-1},"updated":"2023-10-05T04:43:29.540336+00:00"}