{"_buckets": {"deposit": "295ffa7f-0b22-4795-a163-f1572efee88e"}, "_deposit": {"id": "21423", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "21423"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00021423"}, "item_10_alternative_title_19": {"attribute_name": "\u305d\u306e\u4ed6\u306e\u8a00\u8a9e\u306e\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_alternative_title": "Conditional Dependency Pair Method for Proving Termination of Functional Programs with Exception Handling"}]}, "item_10_biblio_info_6": {"attribute_name": "\u66f8\u8a8c\u60c5\u5831", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2013-07", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "160", "bibliographicPageEnd": "66", "bibliographicPageStart": "61", "bibliographicVolumeNumber": "113", "bibliographic_titles": [{"bibliographic_title": "\u96fb\u5b50\u60c5\u5831\u901a\u4fe1\u5b66\u4f1a\u6280\u8853\u7814\u7a76\u5831\u544a. KBSE, \u77e5\u80fd\u30bd\u30d5\u30c8\u30a6\u30a7\u30a2\u5de5\u5b66"}]}]}, "item_10_description_4": {"attribute_name": "\u6284\u9332", "attribute_value_mlt": [{"subitem_description": "\u5148\u306b\u63d0\u6848\u3057\u305f\u6587\u8108\u4f9d\u5b58\u9805\u66f8\u63db\u3048\u7cfb(CS-TRS)\u3078\u306e\u5909\u63db\u306b\u3088\u308b\u4f8b\u5916\u51e6\u7406\u3092\u6301\u3064\u5148\u884c\u8a55\u4fa1\u306b\u57fa\u3065\u304f\u95a2\u6570\u578b\u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u505c\u6b62\u6027\u30fb\u975e\u505c\u6b62\u6027\u8a3c\u660e\u6cd5\u3067\u306f,\u5909\u63db\u3067\u5f97\u3089\u308c\u308bCS-TRS\u306e\u505c\u6b62\u6027\u30fb\u975e\u505c\u6b62\u6027\u8a3c\u660e\u306b\u6c4e\u7528\u306e\u505c\u6b62\u6027\u8a3c\u660e\u30c4\u30fc\u30eb\u3092\u5229\u7528\u3059\u308b\u3068\u975e\u5e38\u306b\u77ed\u3044\u30d7\u30ed\u30b0\u30e9\u30e0\u3057\u304b\u8a3c\u660e\u306b\u6210\u529f\u3057\u306a\u3044.\u305d\u3053\u3067,\u672c\u8ad6\u6587\u3067\u306f\u4f8b\u5916\u51e6\u7406\u3092\u6301\u3064\u95a2\u6570\u578b\u30d7\u30ed\u30b0\u30e9\u30e0\u304b\u3089\u5909\u63db\u3055\u308c\u305fCS-TRS\u306e\u505c\u6b62\u6027\u8a3c\u660e\u306e\u305f\u3081\u306e\u65b0\u3057\u3044\u624b\u6cd5\u3092\u63d0\u6848\u3059\u308b.\u307e\u305a,\u9805\u66f8\u63db\u3048\u7cfb(TRS)\u306e\u505c\u6b62\u6027\u8a3c\u660e\u306b\u7528\u3044\u3089\u308c\u308b\u4f9d\u5b58\u5bfe\u3092\u62e1\u5f35\u3057,\u6587\u8108\u3092\u6761\u4ef6\u3068\u3057\u3066\u8a18\u8ff0\u3059\u308b\u6761\u4ef6\u4ed8\u304d\u4f9d\u5b58\u5bfe\u3092\u5b9a\u7fa9\u3059\u308b.\u6b21\u306b,\u6761\u4ef6\u4ed8\u304d\u4f9d\u5b58\u5bfe\u304b\u3089\u69cb\u6210\u3055\u308c\u308b\u6761\u4ef6\u4ed8\u304d\u4f9d\u5b58\u5bfe\u9396\u306e\u5b58\u5728\u3068CS-TRS\u306e\u6700\u5185\u505c\u6b62\u6027\u304c\u4e00\u81f4\u3059\u308b\u3053\u3068\u3092\u8a3c\u660e\u3059\u308b.\u3055\u3089\u306b,\u4f9d\u5b58\u30b0\u30e9\u30d5\u3092\u7528\u3044\u305f\u65e2\u5b58\u306e\u624b\u6cd5\u3092\u62e1\u5f35\u3057,\u6761\u4ef6\u4ed8\u304d\u4f9d\u5b58\u5bfe\u30b0\u30e9\u30d5\u306b\u3088\u308bCS-TRS\u306e\u505c\u6b62\u6027\u5224\u5b9a\u624b\u6cd5\u3092\u63d0\u6848\u3059\u308b.\u672c\u624b\u6cd5\u306b\u3088\u308a\u3053\u308c\u307e\u3067\u8a3c\u660e\u304c\u3067\u304d\u306a\u304b\u3063\u305f\u591a\u304f\u306e\u30d7\u30ed\u30b0\u30e9\u30e0\u306e\u505c\u6b62\u6027\u30fb\u975e\u505c\u6b62\u6027\u304c\u8a3c\u660e\u53ef\u80fd\u3068\u306a\u308b. We have recently proposed a method for proving termination/non-termination properties of eager-evaluation-based functional programs with exception handling. The method transforms them into Context-Sensitive Term Rewriting Systems (CS-TRSs) in preserving the properties. However we encounter a problem that the existing termination provers for CS-TRSs fail even if a very short program is given. In this paper, we present a dependency method specialized for CS-TRSs transformed from functional programs with exception handling. We introduce conditions that represent context information into the dependency pairs, and define conditional dependency chains. We prove that the target CS-TRS is inner-most terminating if and only if there exists no infinite conditional dependency chain. Moreover, we augment graph notion into the framework of the dependency pair problems, and propose some new processors. The new method works effectively for CS-TRSs produced by the transformation.", "subitem_description_type": "Abstract"}]}, "item_10_identifier_60": {"attribute_name": "URI", "attribute_value_mlt": [{"subitem_identifier_type": "URI", "subitem_identifier_uri": "http://ci.nii.ac.jp/naid/110009778534/"}, {"subitem_identifier_type": "HDL", "subitem_identifier_uri": "http://hdl.handle.net/2237/23566"}]}, "item_10_publisher_32": {"attribute_name": "\u51fa\u7248\u8005", "attribute_value_mlt": [{"subitem_publisher": "\u4e00\u822c\u793e\u56e3\u6cd5\u4eba\u96fb\u5b50\u60c5\u5831\u901a\u4fe1\u5b66\u4f1a"}]}, "item_10_relation_40": {"attribute_name": "\u30b7\u30ea\u30fc\u30ba", "attribute_value_mlt": [{"subitem_relation_name": [{"subitem_relation_name_text": "IEICE Technical Report;SS2013-23"}]}, {"subitem_relation_name": [{"subitem_relation_name_text": "IEICE Technical Report;KBSE2013-23"}]}]}, "item_10_rights_12": {"attribute_name": "\u6a29\u5229", "attribute_value_mlt": [{"subitem_rights": "(c)\u4e00\u822c\u793e\u56e3\u6cd5\u4eba\u96fb\u5b50\u60c5\u5831\u901a\u4fe1\u5b66\u4f1a \u672c\u6587\u30c7\u30fc\u30bf\u306f\u5b66\u5354\u4f1a\u306e\u8a31\u8afe\u306b\u57fa\u3065\u304dCiNii\u304b\u3089\u8907\u88fd\u3057\u305f\u3082\u306e\u3067\u3042\u308b"}]}, "item_10_select_15": {"attribute_name": "\u8457\u8005\u7248\u30d5\u30e9\u30b0", "attribute_value_mlt": [{"subitem_select_item": "publisher"}]}, "item_10_source_id_7": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "0913-5685", "subitem_source_identifier_type": "ISSN"}]}, "item_creator": {"attribute_name": "\u8457\u8005", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "\u6ff1\u53e3, \u6bc5"}], "nameIdentifiers": [{"nameIdentifier": "62198", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "\u9152\u4e95, \u6b63\u5f66"}], "nameIdentifiers": [{"nameIdentifier": "62199", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "HAMAGUCHI, Takeshi"}], "nameIdentifiers": [{"nameIdentifier": "62200", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "SAKAI, Masahiko"}], "nameIdentifiers": [{"nameIdentifier": "62201", "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-21"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "110009778534.pdf", "filesize": [{"value": "853.5 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 853500.0, "url": {"label": "110009778534.pdf", "url": "https://nagoya.repo.nii.ac.jp/record/21423/files/110009778534.pdf"}, "version_id": "fa800d2c-f5ca-4efc-97c8-9e692369dce8"}]}, "item_keyword": {"attribute_name": "\u30ad\u30fc\u30ef\u30fc\u30c9", "attribute_value_mlt": [{"subitem_subject": "\u95a2\u6570\u578b\u30d7\u30ed\u30b0\u30e9\u30e0", "subitem_subject_scheme": "Other"}, {"subitem_subject": "\u4f8b\u5916\u51e6\u7406", "subitem_subject_scheme": "Other"}, {"subitem_subject": "\u9805\u66f8\u63db\u3048\u7cfb", "subitem_subject_scheme": "Other"}, {"subitem_subject": "\u505c\u6b62\u6027", "subitem_subject_scheme": "Other"}, {"subitem_subject": "functional program", "subitem_subject_scheme": "Other"}, {"subitem_subject": "exception handling", "subitem_subject_scheme": "Other"}, {"subitem_subject": "term rewriting system", "subitem_subject_scheme": "Other"}, {"subitem_subject": "termination", "subitem_subject_scheme": "Other"}]}, "item_language": {"attribute_name": "\u8a00\u8a9e", "attribute_value_mlt": [{"subitem_language": "jpn"}]}, "item_resource_type": {"attribute_name": "\u8cc7\u6e90\u30bf\u30a4\u30d7", "attribute_value_mlt": [{"resourcetype": "journal article", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "\u4f8b\u5916\u51e6\u7406\u3092\u542b\u3080\u95a2\u6570\u578b\u30d7\u30ed\u30b0\u30e9\u30e0\u505c\u6b62\u6027\u8a3c\u660e\u306e\u305f\u3081\u306e\u6761\u4ef6\u4ed8\u304d\u4f9d\u5b58\u5bfe\u6cd5", "item_titles": {"attribute_name": "\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_title": "\u4f8b\u5916\u51e6\u7406\u3092\u542b\u3080\u95a2\u6570\u578b\u30d7\u30ed\u30b0\u30e9\u30e0\u505c\u6b62\u6027\u8a3c\u660e\u306e\u305f\u3081\u306e\u6761\u4ef6\u4ed8\u304d\u4f9d\u5b58\u5bfe\u6cd5"}]}, "item_type_id": "10", "owner": "1", "path": ["312/313/314"], "permalink_uri": "http://hdl.handle.net/2237/23566", "pubdate": {"attribute_name": "\u516c\u958b\u65e5", "attribute_value": "2016-02-24"}, "publish_date": "2016-02-24", "publish_status": "0", "recid": "21423", "relation": {}, "relation_version_is_last": true, "title": ["\u4f8b\u5916\u51e6\u7406\u3092\u542b\u3080\u95a2\u6570\u578b\u30d7\u30ed\u30b0\u30e9\u30e0\u505c\u6b62\u6027\u8a3c\u660e\u306e\u305f\u3081\u306e\u6761\u4ef6\u4ed8\u304d\u4f9d\u5b58\u5bfe\u6cd5"], "weko_shared_id": null}