{"_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"}, "item_18_biblio_info_6": {"attribute_name": "\u66f8\u8a8c\u60c5\u5831", "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"}]}]}, "item_18_description_4": {"attribute_name": "\u6284\u9332", "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_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": "\u51fa\u7248\u8005", "attribute_value_mlt": [{"subitem_publisher": "INTELLIGENT MEDIA INTEGRATION  NAGOYA UNIVERSITY / COE"}]}, "item_18_select_15": {"attribute_name": "\u8457\u8005\u7248\u30d5\u30e9\u30b0", "attribute_value_mlt": [{"subitem_select_item": "publisher"}]}, "item_18_text_14": {"attribute_name": "\u30d5\u30a9\u30fc\u30de\u30c3\u30c8", "attribute_value_mlt": [{"subitem_text_value": "application/pdf"}]}, "item_creator": {"attribute_name": "\u8457\u8005", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "Nishida, Naoki"}], "nameIdentifiers": [{"nameIdentifier": "24459", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Furuichi, Yuki"}], "nameIdentifiers": [{"nameIdentifier": "24460", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Sakai, Masahiko"}], "nameIdentifiers": [{"nameIdentifier": "24461", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Kusakari, Keiichirou"}], "nameIdentifiers": [{"nameIdentifier": "24462", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Sakabe, Toshiki"}], "nameIdentifiers": [{"nameIdentifier": "24463", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "\u30d5\u30a1\u30a4\u30eb\u60c5\u5831", "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_free", "mimetype": "application/pdf", "size": 7600000.0, "url": {"label": "p129-130_Software_verification.pdf", "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": "\u8a00\u8a9e", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "\u8cc7\u6e90\u30bf\u30a4\u30d7", "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": "\u30bf\u30a4\u30c8\u30eb", "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": ["312/1037/1038"], "permalink_uri": "http://hdl.handle.net/2237/10447", "pubdate": {"attribute_name": "PubDate", "attribute_name_i18n": "\u516c\u958b\u65e5", "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": null}