{"id":"https://openalex.org/W2142593419","doi":"https://doi.org/10.1145/2370776.2370778","title":"Symbolic evaluation graphs and term rewriting","display_name":"Symbolic evaluation graphs and term rewriting","publication_year":2012,"publication_date":"2012-09-19","ids":{"openalex":"https://openalex.org/W2142593419","doi":"https://doi.org/10.1145/2370776.2370778","mag":"2142593419"},"language":"en","primary_location":{"id":"doi:10.1145/2370776.2370778","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2370776.2370778","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th symposium on Principles and practice of declarative programming","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5025232172","display_name":"J\u00fcrgen Giesl","orcid":"https://orcid.org/0000-0003-0283-8520"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"J\u00fcrgen Giesl","raw_affiliation_strings":["RWTH Aachen University, Aachen, Germany","RWTH-Aachen University, Aachen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"RWTH Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]},{"raw_affiliation_string":"RWTH-Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072166791","display_name":"Thomas Str\u00f6der","orcid":null},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Thomas Str\u00f6der","raw_affiliation_strings":["RWTH Aachen University, Aachen, Germany","RWTH-Aachen University, Aachen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"RWTH Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]},{"raw_affiliation_string":"RWTH-Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058200123","display_name":"Peter Schneider\u2013Kamp","orcid":"https://orcid.org/0000-0003-4000-5570"},"institutions":[{"id":"https://openalex.org/I177969490","display_name":"University of Southern Denmark","ror":"https://ror.org/03yrrjy16","country_code":"DK","type":"education","lineage":["https://openalex.org/I177969490"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Peter Schneider-Kamp","raw_affiliation_strings":["University of Southern Denmark, Odense, Denmark","University of Southern Denmark, Odense (Denmark)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Southern Denmark, Odense, Denmark","institution_ids":["https://openalex.org/I177969490"]},{"raw_affiliation_string":"University of Southern Denmark, Odense (Denmark)","institution_ids":["https://openalex.org/I177969490"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050663198","display_name":"Fabian Emmes","orcid":null},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Fabian Emmes","raw_affiliation_strings":["RWTH Aachen University, Aachen, Germany","RWTH-Aachen University, Aachen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"RWTH Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]},{"raw_affiliation_string":"RWTH-Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045363254","display_name":"Carsten Fuhs","orcid":null},"institutions":[{"id":"https://openalex.org/I45129253","display_name":"University College London","ror":"https://ror.org/02jx3x895","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I45129253"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Carsten Fuhs","raw_affiliation_strings":["University College London, London, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University College London, London, United Kingdom","institution_ids":["https://openalex.org/I45129253"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":6.192,"has_fulltext":false,"cited_by_count":26,"citation_normalized_percentile":{"value":0.96346954,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"12"},"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.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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":0.9979000091552734,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9952999949455261,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/rewriting","display_name":"Rewriting","score":0.8112525939941406},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8039141893386841},{"id":"https://openalex.org/keywords/term","display_name":"Term (time)","score":0.6233392357826233},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.5866560339927673},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5402323007583618},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5146509408950806},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.511032223701477},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.4976709187030792},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.47298845648765564},{"id":"https://openalex.org/keywords/graph-rewriting","display_name":"Graph rewriting","score":0.4445619583129883},{"id":"https://openalex.org/keywords/control-flow-graph","display_name":"Control flow graph","score":0.4443257749080658},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.4373376667499542},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.4323643743991852},{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.4142528474330902},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.360160231590271},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.09369772672653198}],"concepts":[{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.8112525939941406},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8039141893386841},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.6233392357826233},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.5866560339927673},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5402323007583618},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5146509408950806},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.511032223701477},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.4976709187030792},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.47298845648765564},{"id":"https://openalex.org/C558772884","wikidata":"https://www.wikidata.org/wiki/Q1508564","display_name":"Graph rewriting","level":3,"score":0.4445619583129883},{"id":"https://openalex.org/C27458966","wikidata":"https://www.wikidata.org/wiki/Q1187693","display_name":"Control flow graph","level":2,"score":0.4443257749080658},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.4373376667499542},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.4323643743991852},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.4142528474330902},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.360160231590271},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.09369772672653198},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2370776.2370778","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2370776.2370778","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th symposium on Principles and practice of declarative programming","raw_type":"proceedings-article"},{"id":"pmh:oai:sdu.dk:openaire_cris_publications/5c7ff26f-5f5b-48c1-9b57-5fef14337c86","is_oa":false,"landing_page_url":"https://portal.findresearcher.sdu.dk/da/publications/5c7ff26f-5f5b-48c1-9b57-5fef14337c86","pdf_url":null,"source":{"id":"https://openalex.org/S4306400423","display_name":"University of Southern Denmark Research Portal (University of Southern Denmark)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I177969490","host_organization_name":"University of Southern Denmark","host_organization_lineage":["https://openalex.org/I177969490"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Giesl, J, Str\u00f6der, T, Schneider-Kamp, P, Emmes, F & Fuhs, C 2012, Symbolic Evaluation Graphs and Term Rewriting - A General Methodology for Analyzing Logic Programs. in Proceedings of the 14th International Symposium on Principles and Practice of Declarative Programming (PPDP '12). Association for Computing Machinery, 14th sSmposium on Principles and Practice of Declarative Programming, Leuven, Belgium, 19/09/2012. https://doi.org/10.1145/2370776.2370778","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.6700000166893005}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W38697619","https://openalex.org/W86123047","https://openalex.org/W91193428","https://openalex.org/W108605113","https://openalex.org/W179615994","https://openalex.org/W1491271723","https://openalex.org/W1495922050","https://openalex.org/W1500138362","https://openalex.org/W1505286461","https://openalex.org/W1507967078","https://openalex.org/W1517466677","https://openalex.org/W1549644090","https://openalex.org/W1574704561","https://openalex.org/W1583295953","https://openalex.org/W1597918680","https://openalex.org/W1598890912","https://openalex.org/W1833403382","https://openalex.org/W1877637400","https://openalex.org/W1913470731","https://openalex.org/W1975943297","https://openalex.org/W2001932052","https://openalex.org/W2012069736","https://openalex.org/W2038040550","https://openalex.org/W2061246700","https://openalex.org/W2099473324","https://openalex.org/W2101896977","https://openalex.org/W2111739714","https://openalex.org/W2113956592","https://openalex.org/W2116325485","https://openalex.org/W2121757274","https://openalex.org/W2122211950","https://openalex.org/W2123968982","https://openalex.org/W2128219525","https://openalex.org/W2129414020","https://openalex.org/W2137327104","https://openalex.org/W2142044962","https://openalex.org/W2147263168","https://openalex.org/W2160568515","https://openalex.org/W2166104229","https://openalex.org/W2406142175","https://openalex.org/W4249018359","https://openalex.org/W6635711394"],"related_works":["https://openalex.org/W2274607126","https://openalex.org/W345638404","https://openalex.org/W2006860739","https://openalex.org/W2888997865","https://openalex.org/W2514597554","https://openalex.org/W2401568214","https://openalex.org/W1970932400","https://openalex.org/W2996310549","https://openalex.org/W2809434123","https://openalex.org/W2806600916"],"abstract_inverted_index":{"There":[0],"exist":[1],"many":[2],"powerful":[3],"techniques":[4,21],"to":[5,18,34,44,55,139],"analyze":[6],"termination":[7,36,133,144],"and":[8,128],"complexity":[9,135,146],"of":[10,25,37,86,137,147],"term":[11],"rewrite":[12],"systems":[13],"(TRSs).":[14],"Our":[15],"goal":[16],"is":[17,54,93],"use":[19],"these":[20,117],"for":[22,49,83,132],"the":[23,69,72,84,90,143,148],"analysis":[24,85,136],"other":[26],"programming":[27],"languages":[28,57],"as":[29,64],"well.":[30],"For":[31],"instance,":[32],"approaches":[33],"prove":[35],"definite":[38],"logic":[39,91,150],"programs":[40],"by":[41],"a":[42,52,80,97,107],"transformation":[43],"TRSs":[45,124,138],"have":[46],"been":[47],"studied":[48],"decades.":[50],"However,":[51],"challenge":[53],"handle":[56],"with":[58],"more":[59],"complex":[60],"evaluation":[61,99],"strategies":[62],"(such":[63],"Prolog,":[65],"where":[66],"predicates":[67],"like":[68],"cut":[70],"influence":[71],"control":[73],"flow).":[74],"In":[75,119],"this":[76],"paper,":[77],"we":[78],"present":[79],"general":[81],"methodology":[82],"such":[87,126],"programs.":[88],"Here,":[89],"program":[92],"first":[94],"transformed":[95],"into":[96],"symbolic":[98],"graph":[100],"which":[101],"represents":[102],"all":[103],"possible":[104],"evaluations":[105],"in":[106],"finite":[108],"way.":[109],"Afterwards,":[110],"different":[111],"analyses":[112],"can":[113,122],"be":[114],"performed":[115],"on":[116,142],"graphs.":[118],"particular,":[120],"one":[121],"generate":[123],"from":[125],"graphs":[127],"apply":[129],"existing":[130],"tools":[131],"or":[134,145],"infer":[140],"information":[141],"original":[149],"program.":[151]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":5}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}