{"id":"https://openalex.org/W1967825172","doi":"https://doi.org/10.1016/s1571-0661(04)00298-1","title":"Scoped Dynamic Rewrite Rules","display_name":"Scoped Dynamic Rewrite Rules","publication_year":2001,"publication_date":"2001-11-01","ids":{"openalex":"https://openalex.org/W1967825172","doi":"https://doi.org/10.1016/s1571-0661(04)00298-1","mag":"1967825172"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(04)00298-1","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)00298-1","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(04)00298-1","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5072923235","display_name":"Eelco Visser","orcid":"https://orcid.org/0000-0002-7384-3370"},"institutions":[{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"education","lineage":["https://openalex.org/I193662353"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Eelco Visser","raw_affiliation_strings":["Institute of Information and Computing Sciences, Universiteit Utrecht, P.O. Box 80089, 3508 TB Utrecht, The Netherlands","Institute of Information and Computing Sciences, Universiteit Utrecht, P.O. Box 80089, 3508 TB, Utrecht, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Information and Computing Sciences, Universiteit Utrecht, P.O. Box 80089, 3508 TB Utrecht, The Netherlands","institution_ids":["https://openalex.org/I193662353"]},{"raw_affiliation_string":"Institute of Information and Computing Sciences, Universiteit Utrecht, P.O. Box 80089, 3508 TB, Utrecht, The Netherlands","institution_ids":["https://openalex.org/I193662353"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5072923235"],"corresponding_institution_ids":["https://openalex.org/I193662353"],"apc_list":null,"apc_paid":null,"fwci":12.4324,"has_fulltext":false,"cited_by_count":36,"citation_normalized_percentile":{"value":0.98433553,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"59","issue":"4","first_page":"375","last_page":"396"},"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.9997000098228455,"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.9997000098228455,"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/T10260","display_name":"Software Engineering Research","score":0.995199978351593,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9933000206947327,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.9481366872787476},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8106303215026855},{"id":"https://openalex.org/keywords/scope","display_name":"Scope (computer science)","score":0.6738604307174683},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6580405235290527},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5767796635627747},{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.5625485181808472},{"id":"https://openalex.org/keywords/confluence","display_name":"Confluence","score":0.5118924379348755},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5115233659744263},{"id":"https://openalex.org/keywords/term","display_name":"Term (time)","score":0.4824869930744171},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.47250545024871826},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.4621793329715729},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3971985876560211},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.14146500825881958}],"concepts":[{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.9481366872787476},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8106303215026855},{"id":"https://openalex.org/C2778012447","wikidata":"https://www.wikidata.org/wiki/Q1034415","display_name":"Scope (computer science)","level":2,"score":0.6738604307174683},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6580405235290527},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5767796635627747},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.5625485181808472},{"id":"https://openalex.org/C77906462","wikidata":"https://www.wikidata.org/wiki/Q1140902","display_name":"Confluence","level":2,"score":0.5118924379348755},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5115233659744263},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.4824869930744171},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.47250545024871826},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.4621793329715729},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3971985876560211},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.14146500825881958},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","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/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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":5,"locations":[{"id":"doi:10.1016/s1571-0661(04)00298-1","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)00298-1","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.18.9759","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.9759","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://archive.cs.uu.nl/pub/RUU/CS/techreps/CS-2001/2001-29.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.21.5953","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.5953","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.uu.nl/people/visser/ftp/Vis01-rule.ps.gz","raw_type":"text"},{"id":"pmh:oai:dspace.library.uu.nl:1874/1321","is_oa":true,"landing_page_url":"http://dspace.library.uu.nl:8080/handle/1874/1321","pdf_url":null,"source":{"id":"https://openalex.org/S4306401649","display_name":"Utrecht University Repository (Utrecht University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I193662353","host_organization_name":"Utrecht University","host_organization_lineage":["https://openalex.org/I193662353"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"pmh:uu:oai:dspace.library.uu.nl:1874/1321","is_oa":true,"landing_page_url":"https://dspace.library.uu.nl/handle/1874/1321","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Electronic Notes in Theoretical Computer Science, 59(4). Elsevier","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(04)00298-1","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)00298-1","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.5}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W84930537","https://openalex.org/W152565095","https://openalex.org/W176939601","https://openalex.org/W1494199306","https://openalex.org/W1496084514","https://openalex.org/W1960276179","https://openalex.org/W1978948468","https://openalex.org/W1990403418","https://openalex.org/W2014021676","https://openalex.org/W2017500299","https://openalex.org/W2065507854","https://openalex.org/W2065748025","https://openalex.org/W2067776455","https://openalex.org/W2135788661","https://openalex.org/W2168287017","https://openalex.org/W2208923056","https://openalex.org/W2294229253","https://openalex.org/W2612793397","https://openalex.org/W3007997627","https://openalex.org/W4249245425"],"related_works":["https://openalex.org/W1761458962","https://openalex.org/W2463026518","https://openalex.org/W4206221271","https://openalex.org/W1515515243","https://openalex.org/W3172487478","https://openalex.org/W2504157767","https://openalex.org/W1504820687","https://openalex.org/W2475418661","https://openalex.org/W2491573813","https://openalex.org/W1569493237"],"abstract_inverted_index":{"The":[0,26,82],"applicability":[1],"of":[2,13,23,79,88],"term":[3],"rewriting":[4,35,45],"to":[5],"program":[6,90],"transformation":[7],"is":[8,29,84],"limited":[9],"by":[10,19,31,43,86],"the":[11,20,40,77],"lack":[12],"control":[14],"over":[15],"rule":[16,71],"application":[17],"and":[18,58,97],"context-free":[21],"nature":[22],"rewrite":[24,50],"rules.":[25,51],"first":[27],"problem":[28,42],"addressed":[30],"languages":[32],"supporting":[33],"user-definable":[34],"strategies.":[36],"This":[37],"paper":[38],"addresses":[39],"second":[41],"extending":[44],"strategies":[46],"with":[47],"scoped":[48],"dynamic":[49],"Dynamic":[52],"rules":[53],"are":[54,73],"generated":[55,68],"at":[56,76],"run-time":[57],"can":[59],"access":[60],"variables":[61],"available":[62],"from":[63],"their":[64],"definition":[65],"context.":[66],"Rules":[67],"within":[69],"a":[70],"scope":[72],"automatically":[74],"retracted":[75],"end":[78],"that":[80],"scope.":[81],"technique":[83],"illustrated":[85],"means":[87],"several":[89],"tranformations:":[91],"bound":[92],"variable":[93],"renaming,":[94],"function":[95,99],"inlining,":[96],"dead":[98],"elimination.":[100]},"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}