{"id":"https://openalex.org/W7145399567","doi":null,"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","display_name":"\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","publication_year":2013,"publication_date":"2013-07-01","ids":{"openalex":"https://openalex.org/W7145399567"},"language":"ja","primary_location":{"id":"pmh:oai:irdb.nii.ac.jp:01152:0001464566","doi":null,"is_oa":true,"landing_page_url":"https://nagoya.repo.nii.ac.jp/records/21423","pdf_url":null,"source":{"id":"https://openalex.org/S7407056385","display_name":"Institutional Repositories DataBase (IRDB)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I184597095","host_organization_name":"National Institute of Informatics","host_organization_lineage":["https://openalex.org/I184597095"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"\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","raw_type":"journal article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://nagoya.repo.nii.ac.jp/records/21423","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5131484145","display_name":"\u6bc5 \u6ff1\u53e3","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"\u6ff1\u53e3, \u6bc5","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026322642","display_name":"\u6b63\u5f66 \u9152\u4e95","orcid":"https://orcid.org/0000-0002-6234-0161","observed_orcids":["https://orcid.org/0000-0002-6234-0161"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"\u9152\u4e95, \u6b63\u5f66","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044561358","display_name":"Takeshi Hamaguchi","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"HAMAGUCHI, Takeshi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5131797963","display_name":"Masahiko SAKAI","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"SAKAI, Masahiko","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.78765818,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"113","issue":"160","first_page":"61","last_page":"66"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":9.999999747378752e-05,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.0,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/termination-proofs","display_name":"termination proofs","score":0.6639999747276306},{"id":"https://openalex.org/keywords/exception-handling","display_name":"exception handling","score":0.7929999828338623},{"id":"https://openalex.org/keywords/functional-programs","display_name":"functional programs","score":0.8880000114440918},{"id":"https://openalex.org/keywords/dependency-pairs","display_name":"dependency pairs","score":0.8640000224113464},{"id":"https://openalex.org/keywords/eager-evaluation","display_name":"eager evaluation","score":0.8550000190734863},{"id":"https://openalex.org/keywords/program-transformation","display_name":"program transformation","score":0.5059999823570251}],"concepts":[{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.7728999853134155},{"id":"https://openalex.org/C16311509","wikidata":"https://www.wikidata.org/wiki/Q4148050","display_name":"Dependency graph","level":3,"score":0.734499990940094},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.7332000136375427},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.574999988079071},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5164999961853027},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4952000081539154},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.45489999651908875},{"id":"https://openalex.org/C26320393","wikidata":"https://www.wikidata.org/wiki/Q597053","display_name":"Functional dependency","level":3,"score":0.45419999957084656},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.400299996137619},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.3901999890804291},{"id":"https://openalex.org/C40683218","wikidata":"https://www.wikidata.org/wiki/Q5260625","display_name":"Dependency theory (database theory)","level":4,"score":0.3571000099182129},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.35519999265670776},{"id":"https://openalex.org/C558772884","wikidata":"https://www.wikidata.org/wiki/Q1508564","display_name":"Graph rewriting","level":3,"score":0.3472999930381775},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3357999920845032},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.3095000088214874},{"id":"https://openalex.org/C159333733","wikidata":"https://www.wikidata.org/wiki/Q7051809","display_name":"Normalization property","level":2,"score":0.28850001096725464},{"id":"https://openalex.org/C33762810","wikidata":"https://www.wikidata.org/wiki/Q461671","display_name":"Data integrity","level":2,"score":0.2743000090122223},{"id":"https://openalex.org/C74197172","wikidata":"https://www.wikidata.org/wiki/Q1195339","display_name":"Directed acyclic graph","level":2,"score":0.2621000111103058},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.25940001010894775}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:irdb.nii.ac.jp:01152:0001464566","doi":null,"is_oa":true,"landing_page_url":"https://nagoya.repo.nii.ac.jp/records/21423","pdf_url":null,"source":{"id":"https://openalex.org/S7407056385","display_name":"Institutional Repositories DataBase (IRDB)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I184597095","host_organization_name":"National Institute of Informatics","host_organization_lineage":["https://openalex.org/I184597095"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"\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","raw_type":"journal article"},{"id":"pmh:oai:nagoya.repo.nii.ac.jp:00021423","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/2237/23566","pdf_url":null,"source":{"id":"https://openalex.org/S4406922638","display_name":"Nagoya University Repository (NAGOYA Repository)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"\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","raw_type":"journal article"}],"best_oa_location":{"id":"pmh:oai:irdb.nii.ac.jp:01152:0001464566","doi":null,"is_oa":true,"landing_page_url":"https://nagoya.repo.nii.ac.jp/records/21423","pdf_url":null,"source":{"id":"https://openalex.org/S7407056385","display_name":"Institutional Repositories DataBase (IRDB)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I184597095","host_organization_name":"National Institute of Informatics","host_organization_lineage":["https://openalex.org/I184597095"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"\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","raw_type":"journal article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7146418896","https://openalex.org/W2572603448","https://openalex.org/W2725163070","https://openalex.org/W123114693","https://openalex.org/W7098854048","https://openalex.org/W7096219819","https://openalex.org/W7098401879","https://openalex.org/W799904898","https://openalex.org/W7097410003","https://openalex.org/W2000826973"],"abstract_inverted_index":{"We":[0,70,86],"have":[1],"recently":[2],"proposed":[3],"a":[4,34,46,57],"method":[5,18,59,126],"for":[6,41,61,129],"proving":[7],"termination/non-termination":[8],"properties":[9],"of":[10,114],"eager-evaluation-based":[11],"functional":[12,65],"programs":[13,66],"with":[14,67],"exception":[15,68],"handling.":[16,69],"The":[17,124],"transforms":[19],"them":[20],"into":[21,77,111],"Context-Sensitive":[22],"Term":[23],"Rewriting":[24],"Systems":[25],"(CS-TRSs)":[26],"in":[27],"preserving":[28],"the":[29,37,78,89,112,115,133],"properties.":[30],"However":[31],"we":[32,55,107],"encounter":[33],"problem":[35],"that":[36,73,88],"existing":[38],"termination":[39],"provers":[40],"CS-TRSs":[42,62,130],"fail":[43],"even":[44],"if":[45,95,98],"very":[47],"short":[48],"program":[49],"is":[50,92],"given.":[51],"In":[52],"this":[53],"paper,":[54],"present":[56],"dependency":[58,79,84,104,116],"specialized":[60],"transformed":[63],"from":[64],"introduce":[71],"conditions":[72],"represent":[74],"context":[75],"information":[76],"pairs,":[80],"and":[81,96,119],"define":[82],"conditional":[83,103],"chains.":[85],"prove":[87],"target":[90],"CS-TRS":[91],"inner-most":[93],"terminating":[94],"only":[97],"there":[99],"exists":[100],"no":[101],"infinite":[102],"chain.":[105],"Moreover,":[106],"augment":[108],"graph":[109],"notion":[110],"framework":[113],"pair":[117],"problems,":[118],"propose":[120],"some":[121],"new":[122,125],"processors.":[123],"works":[127],"effectively":[128],"produced":[131],"by":[132],"transformation.":[134]},"counts_by_year":[],"updated_date":"2026-11-05T12:25:35.769452","created_date":"2026-04-01T00:00:00"}