{"id":"https://openalex.org/W1984183376","doi":"https://doi.org/10.1145/2814251.2814266","title":"The whiley rewrite language (WyRL)","display_name":"The whiley rewrite language (WyRL)","publication_year":2015,"publication_date":"2015-10-26","ids":{"openalex":"https://openalex.org/W1984183376","doi":"https://doi.org/10.1145/2814251.2814266","mag":"1984183376"},"language":"en","primary_location":{"id":"doi:10.1145/2814251.2814266","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2814251.2814266","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering","raw_type":"proceedings-article"},"type":"conference-paper","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/A5008538442","display_name":"David J. Pearce","orcid":"https://orcid.org/0000-0003-4535-9677"},"institutions":[{"id":"https://openalex.org/I41156924","display_name":"Victoria University of Wellington","ror":"https://ror.org/0040r6f76","country_code":"NZ","type":"education","lineage":["https://openalex.org/I41156924"]}],"countries":["NZ"],"is_corresponding":true,"raw_author_name":"David J. Pearce","raw_affiliation_strings":["Victoria University of Wellington, New Zealand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Victoria University of Wellington, New Zealand","institution_ids":["https://openalex.org/I41156924"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5008538442"],"corresponding_institution_ids":["https://openalex.org/I41156924"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"69","issue":null,"first_page":"161","last_page":"166"},"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.9995999932289124,"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.9995999932289124,"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.9977999925613403,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9919999837875366,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/programming-language","display_name":"Programming language","score":0.8698937892913818},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8339175581932068},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7280675768852234},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.5957440733909607},{"id":"https://openalex.org/keywords/generator","display_name":"Generator (circuit theory)","score":0.5590972900390625},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.5260232090950012},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5220237374305725},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.5061728358268738},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.5049536824226379},{"id":"https://openalex.org/keywords/domain-specific-language","display_name":"Domain-specific language","score":0.44966402649879456},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.42498451471328735},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4144662320613861},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1229647696018219}],"concepts":[{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.8698937892913818},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8339175581932068},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7280675768852234},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.5957440733909607},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.5590972900390625},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.5260232090950012},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5220237374305725},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.5061728358268738},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.5049536824226379},{"id":"https://openalex.org/C135257023","wikidata":"https://www.wikidata.org/wiki/Q691358","display_name":"Domain-specific language","level":2,"score":0.44966402649879456},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.42498451471328735},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4144662320613861},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1229647696018219},{"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/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"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/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2814251.2814266","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2814251.2814266","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering","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":36,"referenced_works":["https://openalex.org/W179270291","https://openalex.org/W657159919","https://openalex.org/W1439881768","https://openalex.org/W1480909796","https://openalex.org/W1485267194","https://openalex.org/W1523112259","https://openalex.org/W1528098570","https://openalex.org/W1557561422","https://openalex.org/W1560182867","https://openalex.org/W1575771936","https://openalex.org/W1579437898","https://openalex.org/W1988964526","https://openalex.org/W1990600049","https://openalex.org/W2002089154","https://openalex.org/W2006766139","https://openalex.org/W2055477538","https://openalex.org/W2093976810","https://openalex.org/W2104789737","https://openalex.org/W2112197627","https://openalex.org/W2122891736","https://openalex.org/W2134287022","https://openalex.org/W2147892488","https://openalex.org/W2153131284","https://openalex.org/W2157036282","https://openalex.org/W2170798886","https://openalex.org/W2494517118","https://openalex.org/W2895246371","https://openalex.org/W4285719527","https://openalex.org/W4302339081","https://openalex.org/W6628740226","https://openalex.org/W6628806148","https://openalex.org/W6633355477","https://openalex.org/W6678059843","https://openalex.org/W6696010262","https://openalex.org/W6820483761","https://openalex.org/W7074052756"],"related_works":["https://openalex.org/W650988184","https://openalex.org/W2162410319","https://openalex.org/W2137356287","https://openalex.org/W4321184925","https://openalex.org/W2052354978","https://openalex.org/W4310506228","https://openalex.org/W2255990315","https://openalex.org/W60915090","https://openalex.org/W4281950471","https://openalex.org/W2025840053"],"abstract_inverted_index":{"The":[0,18,38,50],"Whiley":[1,30],"Rewrite":[2],"Language":[3],"(WyRL)":[4],"is":[5,20],"a":[6,10,25,46],"standalone":[7],"tool":[8,19,39],"providing":[9],"domain-specific":[11],"declarative":[12],"rewrite":[13,71],"language":[14],"and":[15,85],"code":[16,44],"generator.":[17],"currently":[21],"used":[22],"to":[23,58,88],"generate":[24],"critical":[26],"component":[27],"of":[28,61,77],"the":[29,34,62,67,86],"verifying":[31],"compiler,":[32],"namely":[33],"automated":[35],"theorem":[36],"prover.":[37],"automatically":[40],"generates":[41],"Java":[42],"source":[43],"from":[45],"given":[47],"rule":[48],"set.":[49],"runtime":[51],"library":[52],"provides":[53],"support":[54,80],"for":[55,81],"different":[56],"heuristics":[57],"control":[59],"aspects":[60,76],"generated":[63],"system,":[64],"such":[65],"as":[66],"order":[68],"in":[69],"which":[70],"rules":[72],"are":[73],"applied.":[74],"Novel":[75],"WyRL":[78],"include":[79],"true":[82],"union":[83],"types":[84],"ability":[87],"work":[89],"with":[90],"cyclic":[91],"terms.":[92]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}