{"_buckets": {"deposit": "bb1dd62b-5c6e-4a0a-b1af-4b07d54f2443"}, "_deposit": {"id": "8695", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "8695"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00008695", "sets": ["1038"]}, "author_link": ["24459", "24460", "24461", "24462", "24463"], "item_18_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2006-12", "bibliographicIssueDateType": "Issued"}, "bibliographicPageEnd": "130", "bibliographicPageStart": "129", "bibliographic_titles": [{"bibliographic_title": "4th Symposium on \"Intelligent Media Integration for Social Information Infrastructure\" December 7-8, 2006", "bibliographic_titleLang": "en"}]}]}, "item_18_description_4": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "In our research, taking advantage of methods for proving inductive theorems, we apply them to verification of procedural programs written in a subset of the C language with integer type. More precisely, we transform procedural programs to equivalent rewrite systems, and verify that the rewrite systems satisfy the specifications, using the inductionless induction mehtod. In this paper, we briefly summarize the outline of our approach.", "subitem_description_language": "en", "subitem_description_type": "Abstract"}]}, "item_18_identifier_60": {"attribute_name": "URI", "attribute_value_mlt": [{"subitem_identifier_type": "HDL", "subitem_identifier_uri": "http://hdl.handle.net/2237/10447"}]}, "item_18_publisher_32": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "INTELLIGENT MEDIA INTEGRATION  NAGOYA UNIVERSITY / COE", "subitem_publisher_language": "en"}]}, "item_18_select_15": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_select_item": "publisher"}]}, "item_18_text_14": {"attribute_name": "フォーマット", "attribute_value_mlt": [{"subitem_text_value": "application/pdf"}]}, "item_access_right": {"attribute_name": "アクセス権", "attribute_value_mlt": [{"subitem_access_right": "open access", "subitem_access_right_uri": "http://purl.org/coar/access_right/c_abf2"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "Nishida, Naoki", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "24459", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Furuichi, Yuki", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "24460", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Sakai, Masahiko", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "24461", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Kusakari, Keiichirou", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "24462", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Sakabe, Toshiki", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "24463", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-02-19"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "p129-130_Software_verification.pdf", "filesize": [{"value": "7.6 MB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 7600000.0, "url": {"label": "p129-130_Software_verification.pdf", "objectType": "fulltext", "url": "https://nagoya.repo.nii.ac.jp/record/8695/files/p129-130_Software_verification.pdf"}, "version_id": "244560d8-81ed-4b31-a961-4cf5f0cf213b"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "conference paper", "resourceuri": "http://purl.org/coar/resource_type/c_5794"}]}, "item_title": "SOFTWARE VERIFICATION BASED ON TRANSFORMATION FROM PROCEDURAL PROGRAMS TO REWRITE SYSTEMS", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "SOFTWARE VERIFICATION BASED ON TRANSFORMATION FROM PROCEDURAL PROGRAMS TO REWRITE SYSTEMS", "subitem_title_language": "en"}]}, "item_type_id": "18", "owner": "1", "path": ["1038"], "permalink_uri": "http://hdl.handle.net/2237/10447", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2008-08-25"}, "publish_date": "2008-08-25", "publish_status": "0", "recid": "8695", "relation": {}, "relation_version_is_last": true, "title": ["SOFTWARE VERIFICATION BASED ON TRANSFORMATION FROM PROCEDURAL PROGRAMS TO REWRITE SYSTEMS"], "weko_shared_id": -1}