{"id":"https://openalex.org/W1496084514","doi":"https://doi.org/10.1023/a:1018956702672","title":"Warm fusion in Stratego: A case study in generation of program transformation systems","display_name":"Warm fusion in Stratego: A case study in generation of program transformation systems","publication_year":2000,"publication_date":"2000-02-01","ids":{"openalex":"https://openalex.org/W1496084514","doi":"https://doi.org/10.1023/a:1018956702672","mag":"1496084514"},"language":"en","primary_location":{"id":"doi:10.1023/a:1018956702672","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1018956702672","pdf_url":null,"source":{"id":"https://openalex.org/S90199469","display_name":"Annals of Mathematics and Artificial Intelligence","issn_l":"1012-2443","issn":["1012-2443","1573-7470"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Mathematics and Artificial Intelligence","raw_type":"journal-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/A5044007936","display_name":"Patricia Johann","orcid":"https://orcid.org/0000-0002-8075-3904"},"institutions":[{"id":"https://openalex.org/I37415318","display_name":"Bates College","ror":"https://ror.org/003yn7c76","country_code":"US","type":"education","lineage":["https://openalex.org/I37415318"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Patricia Johann","raw_affiliation_strings":["Department of Mathematics, Bates College, Lewiston, Maine, 04240, USA","Department of Mathematics, Bates College, Lewiston, Maine 04240, USA E-mail: pjohann@bates.edu#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Bates College, Lewiston, Maine, 04240, USA","institution_ids":["https://openalex.org/I37415318"]},{"raw_affiliation_string":"Department of Mathematics, Bates College, Lewiston, Maine 04240, USA E-mail: pjohann@bates.edu#TAB#","institution_ids":["https://openalex.org/I37415318"]}]},{"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":false,"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 E-mail: visser@acm.org#TAB#"],"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 E-mail: visser@acm.org#TAB#","institution_ids":["https://openalex.org/I193662353"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2990,"currency":"USD","value_usd":2990},"apc_paid":null,"fwci":5.5902,"has_fulltext":false,"cited_by_count":21,"citation_normalized_percentile":{"value":0.95580978,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":93,"max":95},"biblio":{"volume":"29","issue":"1-4","first_page":"1","last_page":"34"},"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.9965999722480774,"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/T10260","display_name":"Software Engineering Research","score":0.9962999820709229,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/haskell","display_name":"Haskell","score":0.877159833908081},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7791700959205627},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7758603096008301},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.7091563940048218},{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.624674379825592},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.5669923424720764},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.5062943696975708},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.501166820526123},{"id":"https://openalex.org/keywords/domain-specific-language","display_name":"Domain-specific language","score":0.46096038818359375},{"id":"https://openalex.org/keywords/combinatory-logic","display_name":"Combinatory logic","score":0.45733150839805603},{"id":"https://openalex.org/keywords/modularity","display_name":"Modularity (biology)","score":0.45113450288772583},{"id":"https://openalex.org/keywords/graph-rewriting","display_name":"Graph rewriting","score":0.44498634338378906},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.4139312207698822},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3925958275794983},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.11581981182098389}],"concepts":[{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.877159833908081},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7791700959205627},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7758603096008301},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.7091563940048218},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.624674379825592},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.5669923424720764},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.5062943696975708},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.501166820526123},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.46096038818359375},{"id":"https://openalex.org/C79678938","wikidata":"https://www.wikidata.org/wiki/Q1481571","display_name":"Combinatory logic","level":2,"score":0.45733150839805603},{"id":"https://openalex.org/C2779478453","wikidata":"https://www.wikidata.org/wiki/Q6889748","display_name":"Modularity (biology)","level":2,"score":0.45113450288772583},{"id":"https://openalex.org/C558772884","wikidata":"https://www.wikidata.org/wiki/Q1508564","display_name":"Graph rewriting","level":3,"score":0.44498634338378906},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.4139312207698822},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3925958275794983},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.11581981182098389},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"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/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1023/a:1018956702672","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1018956702672","pdf_url":null,"source":{"id":"https://openalex.org/S90199469","display_name":"Annals of Mathematics and Artificial Intelligence","issn_l":"1012-2443","issn":["1012-2443","1573-7470"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Mathematics and Artificial Intelligence","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W1480753098","https://openalex.org/W1496813132","https://openalex.org/W1506492451","https://openalex.org/W1523535050","https://openalex.org/W1536939176","https://openalex.org/W1580664042","https://openalex.org/W1597497095","https://openalex.org/W1608714802","https://openalex.org/W1966981171","https://openalex.org/W1975580206","https://openalex.org/W1978948468","https://openalex.org/W1988932014","https://openalex.org/W1990403418","https://openalex.org/W2020024606","https://openalex.org/W2021785886","https://openalex.org/W2023299380","https://openalex.org/W2034484223","https://openalex.org/W2048706733","https://openalex.org/W2073771426","https://openalex.org/W2091762291","https://openalex.org/W2100895292","https://openalex.org/W2112197627","https://openalex.org/W2116827712","https://openalex.org/W2116908067","https://openalex.org/W2117818027","https://openalex.org/W2152563499","https://openalex.org/W2163672025","https://openalex.org/W2164343886","https://openalex.org/W2208923056","https://openalex.org/W2549806349","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2063393078","https://openalex.org/W2741344200","https://openalex.org/W1556401754","https://openalex.org/W3006464425","https://openalex.org/W2155480936","https://openalex.org/W176405751","https://openalex.org/W2036208875","https://openalex.org/W4240871092","https://openalex.org/W2521829344","https://openalex.org/W1734457603"],"abstract_inverted_index":null,"counts_by_year":[{"year":2021,"cited_by_count":2}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2016-06-24T00:00:00"}