{"id":"https://openalex.org/W1991995356","doi":"https://doi.org/10.1145/1140335.1140350","title":"Rewriting term-graphs with priority","display_name":"Rewriting term-graphs with priority","publication_year":2006,"publication_date":"2006-07-10","ids":{"openalex":"https://openalex.org/W1991995356","doi":"https://doi.org/10.1145/1140335.1140350","mag":"1991995356"},"language":"en","primary_location":{"id":"doi:10.1145/1140335.1140350","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1140335.1140350","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 8th ACM SIGPLAN international conference 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/A5004015866","display_name":"Ricardo Caferra","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Ricardo Caferra","raw_affiliation_strings":["Leibniz-IMAG, CNRS, Grenoble Cedex, France","LEIBNIZ-IMAG, CNRS, Grenoble Cedex, France"],"affiliations":[{"raw_affiliation_string":"Leibniz-IMAG, CNRS, Grenoble Cedex, France","institution_ids":["https://openalex.org/I1294671590"]},{"raw_affiliation_string":"LEIBNIZ-IMAG, CNRS, Grenoble Cedex, France","institution_ids":["https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075605280","display_name":"Rachid Echahed","orcid":"https://orcid.org/0000-0002-8535-8057"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Rachid Echahed","raw_affiliation_strings":["Leibniz-IMAG, CNRS, Grenoble Cedex, France","LEIBNIZ-IMAG, CNRS, Grenoble Cedex, France"],"affiliations":[{"raw_affiliation_string":"Leibniz-IMAG, CNRS, Grenoble Cedex, France","institution_ids":["https://openalex.org/I1294671590"]},{"raw_affiliation_string":"LEIBNIZ-IMAG, CNRS, Grenoble Cedex, France","institution_ids":["https://openalex.org/I1294671590"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079985573","display_name":"Nicolas Peltier","orcid":"https://orcid.org/0000-0002-8943-7000"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Nicolas Peltier","raw_affiliation_strings":["Leibniz-IMAG, CNRS, Grenoble Cedex, France","LEIBNIZ-IMAG, CNRS, Grenoble Cedex, France"],"affiliations":[{"raw_affiliation_string":"Leibniz-IMAG, CNRS, Grenoble Cedex, France","institution_ids":["https://openalex.org/I1294671590"]},{"raw_affiliation_string":"LEIBNIZ-IMAG, CNRS, Grenoble Cedex, France","institution_ids":["https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5004015866"],"corresponding_institution_ids":["https://openalex.org/I1294671590"],"apc_list":null,"apc_paid":null,"fwci":2.2587,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.88572607,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"109","last_page":"120"},"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.9988999962806702,"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.9988999962806702,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9961000084877014,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/confluence","display_name":"Confluence","score":0.8919227123260498},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.831653356552124},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7635898590087891},{"id":"https://openalex.org/keywords/term","display_name":"Term (time)","score":0.7087494730949402},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.538110077381134},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.520343005657196},{"id":"https://openalex.org/keywords/pointer","display_name":"Pointer (user interface)","score":0.49960803985595703},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.49839019775390625},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.41486042737960815},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09872061014175415}],"concepts":[{"id":"https://openalex.org/C77906462","wikidata":"https://www.wikidata.org/wiki/Q1140902","display_name":"Confluence","level":2,"score":0.8919227123260498},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.831653356552124},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7635898590087891},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.7087494730949402},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.538110077381134},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.520343005657196},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.49960803985595703},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.49839019775390625},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.41486042737960815},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09872061014175415},{"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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1140335.1140350","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1140335.1140350","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W176560628","https://openalex.org/W190356767","https://openalex.org/W1499407070","https://openalex.org/W1500302101","https://openalex.org/W1503351662","https://openalex.org/W1507316189","https://openalex.org/W1520096901","https://openalex.org/W1530973503","https://openalex.org/W1557619244","https://openalex.org/W1582300138","https://openalex.org/W1968499103","https://openalex.org/W2004015019","https://openalex.org/W2004176798","https://openalex.org/W2006468185","https://openalex.org/W2029326070","https://openalex.org/W2048022954","https://openalex.org/W2059799630","https://openalex.org/W2071455557","https://openalex.org/W2084745607","https://openalex.org/W2087389137","https://openalex.org/W2092142168","https://openalex.org/W2129638526","https://openalex.org/W2132750992","https://openalex.org/W2154314267","https://openalex.org/W2569194463","https://openalex.org/W2912818154","https://openalex.org/W6607153658","https://openalex.org/W6682639831","https://openalex.org/W6682873361","https://openalex.org/W6759055872"],"related_works":["https://openalex.org/W2463026518","https://openalex.org/W1761458962","https://openalex.org/W2504157767","https://openalex.org/W1515515243","https://openalex.org/W4206221271","https://openalex.org/W3172487478","https://openalex.org/W2475418661","https://openalex.org/W1504820687","https://openalex.org/W2491573813","https://openalex.org/W2154047167"],"abstract_inverted_index":{"We":[0,83],"define":[1],"a":[2],"new":[3,81],"class":[4],"of":[5,52,63,74,87],"rewrite":[6,22,77,95],"systems":[7,78,96],"operating":[8],"over":[9],"term-graphs.":[10],"Our":[11,66],"aim":[12,68],"is":[13,69],"twofold.":[14],"First":[15],"we":[16],"propose":[17],"to":[18,26,71],"extend":[19],"classical":[20],"first-order":[21],"rules":[23,42],"in":[24,79,99],"order":[25],"process":[27],"easily":[28],"data-structures":[29],"with":[30,89],"pointers":[31],"(e.g.,":[32],"circular":[33],"lists,":[34],"doubly":[35],"linked":[36],"lists":[37],"etc).":[38],"For":[39],"that,":[40],"our":[41,100],"provide":[43],"specific":[44],"features":[45,58],"such":[46,57],"as":[47],"pointer":[48],"(edges)":[49],"redirections,":[50],"relabeling":[51],"existing":[53],"nodes":[54],"etc.":[55],"Unfortunately,":[56],"are":[59,97],"very":[60],"often":[61],"source":[62],"non":[64],"confluence.":[65],"second":[67],"then":[70],"ensure":[72],"confluence":[73],"the":[75,80,85],"considered":[76],"class.":[82],"introduce":[84],"notion":[86],"term-graphs":[88],"priority":[90],"and":[91],"show":[92],"that":[93],"orthogonal":[94],"confluent":[98],"setting":[101]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}