{"id":"https://openalex.org/W1706172200","doi":"https://doi.org/10.1023/a:1012936614361","title":"Regular Tree Languages as an Abstract Domain in Program Specialisation","display_name":"Regular Tree Languages as an Abstract Domain in Program Specialisation","publication_year":2001,"publication_date":"2001-09-01","ids":{"openalex":"https://openalex.org/W1706172200","doi":"https://doi.org/10.1023/a:1012936614361","mag":"1706172200"},"language":"en","primary_location":{"id":"doi:10.1023/a:1012936614361","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1012936614361","pdf_url":null,"source":{"id":"https://openalex.org/S4210228303","display_name":"LISP and Symbolic Computation","issn_l":"0892-4635","issn":["0892-4635","1573-0557"],"is_oa":false,"is_in_doaj":false,"is_core":false,"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":"Higher-Order and Symbolic Computation","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/A5020698393","display_name":"John P. Gallagher","orcid":"https://orcid.org/0000-0001-6984-7419"},"institutions":[{"id":"https://openalex.org/I36234482","display_name":"University of Bristol","ror":"https://ror.org/0524sp257","country_code":"GB","type":"education","lineage":["https://openalex.org/I36234482"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"John P. Gallagher","raw_affiliation_strings":["Department of Computer Science, University of Bristol, Merchant Venturers Building, Woodland Road, Bristol, BS8 1UB, UK","Department of Computer Science, University of Bristol, Merchant Venturers Building, Woodland Road, Bristol BS8 1UB, UK. john@cs.bris.ac.uk#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Bristol, Merchant Venturers Building, Woodland Road, Bristol, BS8 1UB, UK","institution_ids":["https://openalex.org/I36234482"]},{"raw_affiliation_string":"Department of Computer Science, University of Bristol, Merchant Venturers Building, Woodland Road, Bristol BS8 1UB, UK. john@cs.bris.ac.uk#TAB#","institution_ids":["https://openalex.org/I36234482"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018313727","display_name":"Julio C. Peralta","orcid":null},"institutions":[{"id":"https://openalex.org/I36234482","display_name":"University of Bristol","ror":"https://ror.org/0524sp257","country_code":"GB","type":"education","lineage":["https://openalex.org/I36234482"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Julio C. Peralta","raw_affiliation_strings":["Department of Computer Science, University of Bristol, Merchant Venturers Building, Woodland Road, Bristol, BS8 1UB, UK","Department of Computer Science, University of Bristol, Merchant Venturers Building, Woodland Road, Bristol BS8 1UB UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Bristol, Merchant Venturers Building, Woodland Road, Bristol, BS8 1UB, UK","institution_ids":["https://openalex.org/I36234482"]},{"raw_affiliation_string":"Department of Computer Science, University of Bristol, Merchant Venturers Building, Woodland Road, Bristol BS8 1UB UK","institution_ids":["https://openalex.org/I36234482"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5020698393"],"corresponding_institution_ids":["https://openalex.org/I36234482"],"apc_list":null,"apc_paid":null,"fwci":3.2647,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.90154463,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"14","issue":"2-3","first_page":"143","last_page":"172"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T14438","display_name":"Advanced Scientific Research Methods","score":0.07959999889135361,"subfield":{"id":"https://openalex.org/subfields/1106","display_name":"Food Science"},"field":{"id":"https://openalex.org/fields/11","display_name":"Agricultural and Biological Sciences"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T14438","display_name":"Advanced Scientific Research Methods","score":0.07959999889135361,"subfield":{"id":"https://openalex.org/subfields/1106","display_name":"Food Science"},"field":{"id":"https://openalex.org/fields/11","display_name":"Agricultural and Biological Sciences"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.28654152154922485}],"concepts":[{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.28654152154922485}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1023/a:1012936614361","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1012936614361","pdf_url":null,"source":{"id":"https://openalex.org/S4210228303","display_name":"LISP and Symbolic Computation","issn_l":"0892-4635","issn":["0892-4635","1573-0557"],"is_oa":false,"is_in_doaj":false,"is_core":false,"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":"Higher-Order and Symbolic Computation","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5099999904632568,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W16194962","https://openalex.org/W31561947","https://openalex.org/W171682210","https://openalex.org/W207722629","https://openalex.org/W1481517572","https://openalex.org/W1492471923","https://openalex.org/W1501453246","https://openalex.org/W1512750313","https://openalex.org/W1515042646","https://openalex.org/W1520791584","https://openalex.org/W1522225310","https://openalex.org/W1522408124","https://openalex.org/W1530717542","https://openalex.org/W1532363834","https://openalex.org/W1540412598","https://openalex.org/W1556849684","https://openalex.org/W1559076591","https://openalex.org/W1568478782","https://openalex.org/W1569188499","https://openalex.org/W1573673250","https://openalex.org/W1593799327","https://openalex.org/W1608059426","https://openalex.org/W1882854904","https://openalex.org/W1963910234","https://openalex.org/W1965377774","https://openalex.org/W1965825795","https://openalex.org/W1977541831","https://openalex.org/W1983305931","https://openalex.org/W2004419599","https://openalex.org/W2037439718","https://openalex.org/W2040101330","https://openalex.org/W2048831705","https://openalex.org/W2056410280","https://openalex.org/W2069076448","https://openalex.org/W2076696436","https://openalex.org/W2090744903","https://openalex.org/W2094715553","https://openalex.org/W2098331845","https://openalex.org/W2103288707","https://openalex.org/W2110574827","https://openalex.org/W2115656500","https://openalex.org/W2157543955","https://openalex.org/W4206370914","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2048831705","https://openalex.org/W2037035101","https://openalex.org/W2043100293","https://openalex.org/W1556604985","https://openalex.org/W2151897509","https://openalex.org/W1526063741","https://openalex.org/W1520791584","https://openalex.org/W2056410280","https://openalex.org/W1541434994","https://openalex.org/W1501453246","https://openalex.org/W1487533857","https://openalex.org/W31561947","https://openalex.org/W207722629","https://openalex.org/W1522408124","https://openalex.org/W1489409322","https://openalex.org/W2131624124","https://openalex.org/W2085729865","https://openalex.org/W1515042646","https://openalex.org/W1505955281","https://openalex.org/W1492471923"],"abstract_inverted_index":null,"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-06-19T15:47:20.252518","created_date":"2016-06-24T00:00:00"}