{"id":"https://openalex.org/W1517920068","doi":"https://doi.org/10.1016/s1571-0661(04)00271-3","title":"Fusing Logic and Control with Local Transformations","display_name":"Fusing Logic and Control with Local Transformations","publication_year":2001,"publication_date":"2001-12-01","ids":{"openalex":"https://openalex.org/W1517920068","doi":"https://doi.org/10.1016/s1571-0661(04)00271-3","mag":"1517920068"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(04)00271-3","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)00271-3","pdf_url":"https://www.sciencedirect.com/science/article/pii/S1571066104002713/pdf","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://www.sciencedirect.com/science/article/pii/S1571066104002713/pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044007936","display_name":"Patricia Johann","orcid":"https://orcid.org/0000-0002-8075-3904"},"institutions":[{"id":"https://openalex.org/I121058860","display_name":"Dickinson College","ror":"https://ror.org/02ydh7m84","country_code":"US","type":"education","lineage":["https://openalex.org/I121058860"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Patricia Johann","raw_affiliation_strings":["Department of Mathematics and Computer Science, Dickinson College, Carlisle, PA 17013,","Department of Mathematics and Computer Science, Dickinson College, Carlisle, PA 17013"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, Dickinson College, Carlisle, PA 17013,","institution_ids":["https://openalex.org/I121058860"]},{"raw_affiliation_string":"Department of Mathematics and Computer Science, Dickinson College, Carlisle, PA 17013","institution_ids":["https://openalex.org/I121058860"]}]},{"author_position":"last","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":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5044007936","https://openalex.org/A5072923235"],"corresponding_institution_ids":["https://openalex.org/I121058860","https://openalex.org/I193662353"],"apc_list":null,"apc_paid":null,"fwci":5.2627,"has_fulltext":true,"cited_by_count":11,"citation_normalized_percentile":{"value":0.95112553,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":"57","issue":null,"first_page":"144","last_page":"162"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9980000257492065,"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.9976000189781189,"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/rewriting","display_name":"Rewriting","score":0.7993820905685425},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7969253659248352},{"id":"https://openalex.org/keywords/reusability","display_name":"Reusability","score":0.7423350811004639},{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.7210763692855835},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6046196222305298},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.6036028265953064},{"id":"https://openalex.org/keywords/separation-of-concerns","display_name":"Separation of concerns","score":0.5980082154273987},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.5274251699447632},{"id":"https://openalex.org/keywords/separation-logic","display_name":"Separation logic","score":0.5098675489425659},{"id":"https://openalex.org/keywords/program-optimization","display_name":"Program optimization","score":0.4826696217060089},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.481528103351593},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4812448024749756},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.42672258615493774},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3763531446456909},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.12042948603630066},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.119487464427948},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1159512996673584}],"concepts":[{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.7993820905685425},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7969253659248352},{"id":"https://openalex.org/C137981799","wikidata":"https://www.wikidata.org/wiki/Q1369184","display_name":"Reusability","level":3,"score":0.7423350811004639},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.7210763692855835},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6046196222305298},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.6036028265953064},{"id":"https://openalex.org/C76214141","wikidata":"https://www.wikidata.org/wiki/Q2465506","display_name":"Separation of concerns","level":3,"score":0.5980082154273987},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5274251699447632},{"id":"https://openalex.org/C173856430","wikidata":"https://www.wikidata.org/wiki/Q3257964","display_name":"Separation logic","level":2,"score":0.5098675489425659},{"id":"https://openalex.org/C139571649","wikidata":"https://www.wikidata.org/wiki/Q1156793","display_name":"Program optimization","level":3,"score":0.4826696217060089},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.481528103351593},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4812448024749756},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.42672258615493774},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3763531446456909},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.12042948603630066},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.119487464427948},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1159512996673584},{"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},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(04)00271-3","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)00271-3","pdf_url":"https://www.sciencedirect.com/science/article/pii/S1571066104002713/pdf","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"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(04)00271-3","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)00271-3","pdf_url":"https://www.sciencedirect.com/science/article/pii/S1571066104002713/pdf","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":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1517920068.pdf","grobid_xml":"https://content.openalex.org/works/W1517920068.grobid-xml"},"referenced_works_count":21,"referenced_works":["https://openalex.org/W45961263","https://openalex.org/W113285063","https://openalex.org/W1496084514","https://openalex.org/W1517760837","https://openalex.org/W1527713232","https://openalex.org/W1528098570","https://openalex.org/W1555255444","https://openalex.org/W1556604985","https://openalex.org/W1580664042","https://openalex.org/W1590854606","https://openalex.org/W1608762822","https://openalex.org/W1971559523","https://openalex.org/W1978948468","https://openalex.org/W1990403418","https://openalex.org/W2048706733","https://openalex.org/W2073771426","https://openalex.org/W2111228918","https://openalex.org/W2114067856","https://openalex.org/W2208923056","https://openalex.org/W3007997627","https://openalex.org/W6633244832"],"related_works":["https://openalex.org/W1596781519","https://openalex.org/W2888997865","https://openalex.org/W2525463489","https://openalex.org/W3088007090","https://openalex.org/W1993524544","https://openalex.org/W1970625600","https://openalex.org/W1982217573","https://openalex.org/W2810812409","https://openalex.org/W1517920068","https://openalex.org/W2128433129"],"abstract_inverted_index":{"Abstract":[0],"programming":[1],"supports":[2,91],"the":[3,34,46,52,64,75,82,92,115,127,135,138,142,148,165,173,177],"separation":[4,17],"of":[5,10,18,28,48,54,63,77,95,167],"logical":[6],"concerns":[7,19],"from":[8,81],"issues":[9],"control":[11,166],"in":[12,66,147,175],"program":[13,78,96],"construction.":[14],"While":[15],"this":[16,58],"leads":[20],"to":[21,44,73,107,129,140],"reduced":[22],"code":[23],"size":[24],"and":[25,137],"increased":[26],"reusability":[27,47],"code,":[29],"its":[30],"main":[31],"disadvantage":[32],"is":[33,132,154],"computational":[35],"overhead":[36],"it":[37,125,131],"incurs.":[38],"Fusion":[39,99],"techniques":[40,100],"can":[41,70,103,120],"be":[42,71,105,121],"used":[43,72,106],"combine":[45],"abstract":[49],"programs":[50,139],"with":[51,126],"efficiency":[53],"specialized":[55],"programs.":[56],"In":[57],"paper":[59],"we":[60],"illustrate":[61],"some":[62],"ways":[65],"which":[67,85,130,141,176],"rewriting":[68,118],"strategies":[69,83,102],"separate":[74],"definition":[76,94],"transformation":[79,97,158],"rules":[80,128,159,178],"under":[84,164],"they":[86],"are":[87,145,161,179],"applied.":[88,133,180],"Doing":[89],"so":[90],"generic":[93,110,116],"components.":[98,111],"for":[101],"then":[104],"specialize":[108],"such":[109],"We":[112],"show":[113],"how":[114],"innermost":[117],"strategy":[119,149],"optimized":[122],"by":[123],"fusing":[124],"Both":[134],"optimization":[136,143,153],"applies":[144],"specified":[146],"language":[150],"Stratego.":[151],"The":[152],"based":[155],"on":[156],"small":[157],"that":[160],"applied":[162],"locally":[163],"strategies,":[168],"using":[169],"special":[170],"knowledge":[171],"about":[172],"contexts":[174]},"counts_by_year":[],"updated_date":"2026-08-02T14:50:37.381335","created_date":"2025-10-10T00:00:00"}