{"created":"2021-03-01T06:33:44.395136+00:00","id":25691,"links":{},"metadata":{"_buckets":{"deposit":"2205dcae-5d7d-4957-8920-45dced15d975"},"_deposit":{"id":"25691","owners":[],"pid":{"revision_id":0,"type":"depid","value":"25691"},"status":"published"},"_oai":{"id":"oai:nagoya.repo.nii.ac.jp:00025691","sets":["312:313:314"]},"author_link":["76074","76075","76076"],"item_10_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2018-01","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"149","bibliographicPageStart":"128","bibliographicVolumeNumber":"94","bibliographic_titles":[{"bibliographic_title":"Journal of Logical and Algebraic Methods in Programming","bibliographic_titleLang":"en"}]}]},"item_10_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"Essentially, in a reversible programming language, for each forward computation from state S to state S', there exists a constructive method to go backwards from state S' to state S. Besides its theoretical interest, reversible computation is a fundamental concept which is relevant in many different areas like cellular automata, bidirectional program transformation, or quantum computing, to name a few.  In this work, we focus on term rewriting, a computation model that underlies most rule-based programming languages. In general, term rewriting is not reversible, even for injective functions; namely, given a rewrite step t1→t2, we do not always have a decidable method to get t1 from t2. Here, we introduce a conservative extension of term rewriting that becomes reversible. Furthermore, we also define two transformations, injectivization and inversion, to make a rewrite system reversible using standard term rewriting. We illustrate the usefulness of our transformations in the context of bidirectional program transformation.","subitem_description_language":"en","subitem_description_type":"Abstract"}]},"item_10_description_5":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"ファイル公開：2020-01-01 ","subitem_description_language":"ja","subitem_description_type":"Other"}]},"item_10_publisher_32":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"Elsevier","subitem_publisher_language":"en"}]},"item_10_relation_11":{"attribute_name":"DOI","attribute_value_mlt":[{"subitem_relation_type":"isVersionOf","subitem_relation_type_id":{"subitem_relation_type_id_text":"https://doi.org/10.1016/j.jlamp.2017.10.003","subitem_relation_type_select":"DOI"}}]},"item_10_rights_12":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"© 2018. This manuscript version is made available under the CC-BY-NC-ND 4.0 license http://creativecommons.org/licenses/by-nc-nd/4.0/ ","subitem_rights_language":"en"}]},"item_10_select_15":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_select_item":"author"}]},"item_10_source_id_7":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"23522208","subitem_source_identifier_type":"PISSN"}]},"item_1615787544753":{"attribute_name":"出版タイプ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_ab4af688f83e57aa","subitem_version_type":"AM"}]},"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":"76074","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Palacios, Adrián","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"76075","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Vidal, Germán","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"76076","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2020-01-01"}],"displaytype":"detail","filename":"paper_NPV17_jlamp_preprint.pdf","filesize":[{"value":"494.7 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"paper_NPV17_jlamp_preprint","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/25691/files/paper_NPV17_jlamp_preprint.pdf"},"version_id":"c9540901-34a0-4585-b6a7-cd25f3d88f9a"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"Term rewriting","subitem_subject_scheme":"Other"},{"subitem_subject":"Reversible computation","subitem_subject_scheme":"Other"},{"subitem_subject":"Program transformation","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"journal article","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"Reversible computation in term rewriting","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Reversible computation in term rewriting","subitem_title_language":"en"}]},"item_type_id":"10","owner":"1","path":["314"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2018-04-16"},"publish_date":"2018-04-16","publish_status":"0","recid":"25691","relation_version_is_last":true,"title":["Reversible computation in term rewriting"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-01-16T04:15:25.724438+00:00"}