Publication Information

{'id': 'https://openalex.org/W2014359987', 'doi': 'https://doi.org/10.1017/s0956796812000238', 'title': 'Systematic abstraction of abstract machines', 'display_name': 'Systematic abstraction of abstract machines', 'publication_year': 2012, 'publication_date': '2012-08-15', 'ids': {'openalex': 'https://openalex.org/W2014359987', 'doi': 'https://doi.org/10.1017/s0956796812000238', 'mag': '2014359987'}, 'language': 'en', 'primary_location': {'is_oa': True, 'landing_page_url': 'https://doi.org/10.1017/s0956796812000238', 'pdf_url': 'https://www.cambridge.org/core/services/aop-cambridge-core/content/view/8EF3C3BB59F64000F40CDB5F6CCD48DD/S0956796812000238a.pdf/div-class-title-systematic-abstraction-of-abstract-machines-div.pdf', 'source': {'id': 'https://openalex.org/S12266929', 'display_name': 'Journal of Functional Programming', 'issn_l': '0956-7968', 'issn': ['0956-7968', '1469-7653'], 'is_oa': False, 'is_in_doaj': False, 'is_core': True, 'host_organization': 'https://openalex.org/P4310311721', 'host_organization_name': 'Cambridge University Press', 'host_organization_lineage': ['https://openalex.org/P4310311721', 'https://openalex.org/P4310311702'], 'host_organization_lineage_names': ['Cambridge University Press', 'University of Cambridge'], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}, 'type': 'article', 'type_crossref': 'journal-article', 'indexed_in': ['crossref'], 'open_access': {'is_oa': True, 'oa_status': 'bronze', 'oa_url': 'https://www.cambridge.org/core/services/aop-cambridge-core/content/view/8EF3C3BB59F64000F40CDB5F6CCD48DD/S0956796812000238a.pdf/div-class-title-systematic-abstraction-of-abstract-machines-div.pdf', 'any_repository_has_fulltext': True}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5091183810', 'display_name': 'David Van Horn', 'orcid': 'https://orcid.org/0000-0002-9201-6864'}, 'institutions': [{'id': 'https://openalex.org/I12912129', 'display_name': 'Northeastern University', 'ror': 'https://ror.org/04t5xt781', 'country_code': 'US', 'type': 'education', 'lineage': ['https://openalex.org/I12912129']}], 'countries': ['US'], 'is_corresponding': False, 'raw_author_name': 'DAVID VAN HORN', 'raw_affiliation_strings': ['College of computer and information science, northeastern university, boston, ma 02115, usa (e-mail: [email protected])#TAB#'], 'affiliations': [{'raw_affiliation_string': 'College of computer and information science, northeastern university, boston, ma 02115, usa (e-mail: [email protected])#TAB#', 'institution_ids': ['https://openalex.org/I12912129']}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5086121459', 'display_name': 'Matthew Might', 'orcid': 'https://orcid.org/0000-0002-8430-5316'}, 'institutions': [{'id': 'https://openalex.org/I223532165', 'display_name': 'University of Utah', 'ror': 'https://ror.org/03r0ha626', 'country_code': 'US', 'type': 'education', 'lineage': ['https://openalex.org/I223532165']}], 'countries': ['US'], 'is_corresponding': False, 'raw_author_name': 'MATTHEW MIGHT', 'raw_affiliation_strings': ['School of computing, university of utah, salt lake city, ut 84112, usa (e-mail: [email protected]#TAB#'], 'affiliations': [{'raw_affiliation_string': 'School of computing, university of utah, salt lake city, ut 84112, usa (e-mail: [email protected]#TAB#', 'institution_ids': ['https://openalex.org/I223532165']}]}], 'institution_assertions': [], 'countries_distinct_count': 1, 'institutions_distinct_count': 2, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': 3.249, 'has_fulltext': True, 'fulltext_origin': 'pdf', 'cited_by_count': 18, 'citation_normalized_percentile': {'value': 0.88699, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 89, 'max': 90}, 'biblio': {'volume': '22', 'issue': '4-5', 'first_page': '705', 'last_page': '746'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T10126', 'display_name': 'Logic, programming, and type systems', 'score': 0.9997, '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.9997, '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/T10054', 'display_name': 'Parallel Computing and Optimization Techniques', 'score': 0.9987, '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'}}, {'id': 'https://openalex.org/T10260', 'display_name': 'Software Engineering Research', 'score': 0.9959, '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/abstract-interpretation', 'display_name': 'Abstract Interpretation', 'score': 0.74957}, {'id': 'https://openalex.org/keywords/haskell', 'display_name': 'Haskell', 'score': 0.6858095}, {'id': 'https://openalex.org/keywords/abstract-machine', 'display_name': 'Abstract machine', 'score': 0.6782907}, {'id': 'https://openalex.org/keywords/machine-code', 'display_name': 'Machine code', 'score': 0.5072372}, {'id': 'https://openalex.org/keywords/merge', 'display_name': 'Merge (version control)', 'score': 0.43189842}], 'concepts': [{'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.8817646}, {'id': 'https://openalex.org/C2780654840', 'wikidata': 'https://www.wikidata.org/wiki/Q333341', 'display_name': 'Abstract interpretation', 'level': 2, 'score': 0.74957}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.7005596}, {'id': 'https://openalex.org/C2780624054', 'wikidata': 'https://www.wikidata.org/wiki/Q34010', 'display_name': 'Haskell', 'level': 3, 'score': 0.6858095}, {'id': 'https://openalex.org/C88977235', 'wikidata': 'https://www.wikidata.org/wiki/Q787114', 'display_name': 'Abstract machine', 'level': 2, 'score': 0.6782907}, {'id': 'https://openalex.org/C165464430', 'wikidata': 'https://www.wikidata.org/wiki/Q1570441', 'display_name': 'Parameterized complexity', 'level': 2, 'score': 0.63434803}, {'id': 'https://openalex.org/C105122174', 'wikidata': 'https://www.wikidata.org/wiki/Q322202', 'display_name': 'Garbage collection', 'level': 3, 'score': 0.56940585}, {'id': 'https://openalex.org/C115168132', 'wikidata': 'https://www.wikidata.org/wiki/Q55813', 'display_name': 'Machine code', 'level': 3, 'score': 0.5072372}, {'id': 'https://openalex.org/C42383842', 'wikidata': 'https://www.wikidata.org/wiki/Q193076', 'display_name': 'Functional programming', 'level': 2, 'score': 0.47020108}, {'id': 'https://openalex.org/C197129107', 'wikidata': 'https://www.wikidata.org/wiki/Q1921621', 'display_name': 'Merge (version control)', 'level': 2, 'score': 0.43189842}, {'id': 'https://openalex.org/C11413529', 'wikidata': 'https://www.wikidata.org/wiki/Q8366', 'display_name': 'Algorithm', 'level': 1, 'score': 0.4190305}, {'id': 'https://openalex.org/C80444323', 'wikidata': 'https://www.wikidata.org/wiki/Q2878974', 'display_name': 'Theoretical computer science', 'level': 1, 'score': 0.39426452}, {'id': 'https://openalex.org/C173608175', 'wikidata': 'https://www.wikidata.org/wiki/Q232661', 'display_name': 'Parallel computing', 'level': 1, 'score': 0.16005626}, {'id': 'https://openalex.org/C169590947', 'wikidata': 'https://www.wikidata.org/wiki/Q47506', 'display_name': 'Compiler', 'level': 2, 'score': 0.14381349}, {'id': 'https://openalex.org/C75403996', 'wikidata': 'https://www.wikidata.org/wiki/Q5521979', 'display_name': 'Garbage', 'level': 2, 'score': 0.10312733}], 'mesh': [], 'locations_count': 3, 'locations': [{'is_oa': True, 'landing_page_url': 'https://doi.org/10.1017/s0956796812000238', 'pdf_url': 'https://www.cambridge.org/core/services/aop-cambridge-core/content/view/8EF3C3BB59F64000F40CDB5F6CCD48DD/S0956796812000238a.pdf/div-class-title-systematic-abstraction-of-abstract-machines-div.pdf', 'source': {'id': 'https://openalex.org/S12266929', 'display_name': 'Journal of Functional Programming', 'issn_l': '0956-7968', 'issn': ['0956-7968', '1469-7653'], 'is_oa': False, 'is_in_doaj': False, 'is_core': True, 'host_organization': 'https://openalex.org/P4310311721', 'host_organization_name': 'Cambridge University Press', 'host_organization_lineage': ['https://openalex.org/P4310311721', 'https://openalex.org/P4310311702'], 'host_organization_lineage_names': ['Cambridge University Press', 'University of Cambridge'], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}, {'is_oa': True, 'landing_page_url': 'http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.481.8690', 'pdf_url': 'http://www.ccs.neu.edu/home/dvanhorn/pubs/vanhorn-might-jfp12.pdf', 'source': {'id': 'https://openalex.org/S4306400349', 'display_name': 'CiteSeer X (The Pennsylvania State University)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I130769515', 'host_organization_name': 'Pennsylvania State University', 'host_organization_lineage': ['https://openalex.org/I130769515'], 'host_organization_lineage_names': ['Pennsylvania State University'], 'type': 'repository'}, 'license': None, 'license_id': None, 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}, {'is_oa': True, 'landing_page_url': 'https://arxiv.org/abs/1107.3539', 'pdf_url': 'https://arxiv.org/pdf/1107.3539', 'source': {'id': 'https://openalex.org/S4306400194', 'display_name': 'arXiv (Cornell University)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I205783295', 'host_organization_name': 'Cornell University', 'host_organization_lineage': ['https://openalex.org/I205783295'], 'host_organization_lineage_names': ['Cornell University'], 'type': 'repository'}, 'license': None, 'license_id': None, 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}], 'best_oa_location': {'is_oa': True, 'landing_page_url': 'https://doi.org/10.1017/s0956796812000238', 'pdf_url': 'https://www.cambridge.org/core/services/aop-cambridge-core/content/view/8EF3C3BB59F64000F40CDB5F6CCD48DD/S0956796812000238a.pdf/div-class-title-systematic-abstraction-of-abstract-machines-div.pdf', 'source': {'id': 'https://openalex.org/S12266929', 'display_name': 'Journal of Functional Programming', 'issn_l': '0956-7968', 'issn': ['0956-7968', '1469-7653'], 'is_oa': False, 'is_in_doaj': False, 'is_core': True, 'host_organization': 'https://openalex.org/P4310311721', 'host_organization_name': 'Cambridge University Press', 'host_organization_lineage': ['https://openalex.org/P4310311721', 'https://openalex.org/P4310311702'], 'host_organization_lineage_names': ['Cambridge University Press', 'University of Cambridge'], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}, 'sustainable_development_goals': [{'display_name': 'Quality education', 'score': 0.56, 'id': 'https://metadata.un.org/sdg/4'}], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 50, 'referenced_works': ['https://openalex.org/W148396834', 'https://openalex.org/W1518650316', 'https://openalex.org/W1521434182', 'https://openalex.org/W1549719405', 'https://openalex.org/W1553894716', 'https://openalex.org/W1559106267', 'https://openalex.org/W1587849775', 'https://openalex.org/W1589224558', 'https://openalex.org/W1599217540', 'https://openalex.org/W1779102629', 'https://openalex.org/W1966776129', 'https://openalex.org/W1986693746', 'https://openalex.org/W2002829132', 'https://openalex.org/W2003786919', 'https://openalex.org/W2004419599', 'https://openalex.org/W2006990447', 'https://openalex.org/W2011648260', 'https://openalex.org/W2013885073', 'https://openalex.org/W2014764321', 'https://openalex.org/W2025554746', 'https://openalex.org/W2038315427', 'https://openalex.org/W2040871029', 'https://openalex.org/W2043100293', 'https://openalex.org/W2043416466', 'https://openalex.org/W2045424609', 'https://openalex.org/W2046656770', 'https://openalex.org/W2047896115', 'https://openalex.org/W2048802511', 'https://openalex.org/W2057065238', 'https://openalex.org/W2073569229', 'https://openalex.org/W2073904768', 'https://openalex.org/W2077255408', 'https://openalex.org/W2093080079', 'https://openalex.org/W2096001571', 'https://openalex.org/W2100962534', 'https://openalex.org/W2110507526', 'https://openalex.org/W2113757735', 'https://openalex.org/W2114980032', 'https://openalex.org/W2116918412', 'https://openalex.org/W2135565307', 'https://openalex.org/W2144063122', 'https://openalex.org/W2160646753', 'https://openalex.org/W2163285555', 'https://openalex.org/W2163672449', 'https://openalex.org/W2913948868', 'https://openalex.org/W2952100912', 'https://openalex.org/W3103744781', 'https://openalex.org/W4237212006', 'https://openalex.org/W52562630', 'https://openalex.org/W781716309'], 'related_works': ['https://openalex.org/W4300598347', 'https://openalex.org/W4298738223', 'https://openalex.org/W4250543834', 'https://openalex.org/W4210387667', 'https://openalex.org/W3021635017', 'https://openalex.org/W2953057551', 'https://openalex.org/W2951305779', 'https://openalex.org/W2014359987', 'https://openalex.org/W1805550579', 'https://openalex.org/W1578467903'], 'abstract_inverted_index': {'Abstract': [0], 'We': [1, 182], 'describe': [2], 'a': [3, 61, 132, 140], 'derivational': [4], 'approach': [5], 'to': [6, 19, 146, 190, 212], 'abstract': [7, 21, 97, 149], 'interpretation': [8], 'that': [9, 131, 148, 165, 177, 184], 'yields': [10], 'novel': [11], 'and': [12, 25, 33, 44, 76, 83, 112, 115, 119, 168, 170, 206, 218], 'transparently': [13], 'sound': [14], 'static': [15, 151, 192], 'analyses': [16, 103, 152, 176], 'when': [17], 'applied': [18], 'well-established': [20], 'machines': [22, 147, 159], 'for': [23, 230], 'higher-order': [24], 'imperative': [26], 'programming': [27], 'languages.': [28], 'To': [29], 'demonstrate': [30, 183], 'the': [31, 39, 49, 77, 117, 173, 185, 214, 224, 231], 'technique': [32, 141, 186], 'support': [34], 'our': [35, 235], 'claim,': [36], 'we': [37, 129, 220], 'transform': [38], 'CEK': [40], 'machine': [41, 66, 80, 137], 'of': [42, 48, 64, 81, 99, 107, 121, 126, 134, 142, 175, 194, 223, 234], 'Felleisen': [43, 84], 'Friedman': [45], '(': [46, 67, 85], 'Proc.': [47], '14th': [50], 'ACM': [51, 86], 'SIGACT-SIGPLAN': [52], 'Symp.': [53], 'Prin.': [54], 'Program.': [55, 88], 'Langs': [56], ',': [57], '1987,': [58], 'pp.': [59, 74, 94], '314–325),': [60], 'lazy': [62], 'variant': [63], "Krivine's": [65], 'Higher-Order': [68], 'Symb.': [69], 'Comput.': [70], 'Vol': [71, 91], '20,': [72], '2007,': [73], '199–207),': [75], 'stack-inspecting': [78], 'CM': [79], 'Clements': [82], 'Trans.': [87], 'Lang.': [89], 'Syst.': [90], '26,': [92], '2004,': [93], '1029–1052)': [95], 'into': [96, 150], 'interpretations': [98], 'themselves.': [100], 'The': [101], 'resulting': [102], 'bound': [104], 'temporal': [105], 'ordering': [106], 'program': [108], 'events;': [109], 'predict': [110], 'return-flow': [111], 'stack-inspection': [113], 'behavior;': [114], 'approximate': [116], 'flow': [118], 'evaluation': [120], 'by-need': [122], 'parameters.': [123], 'For': [124], 'all': [125], 'these': [127], 'machines,': [128], 'find': [130], 'series': [133], 'well-known': [135], 'concrete': [136], 'refactorings,': [138], 'plus': [139], 'store-allocated': [143], 'continuations,': [144, 205], 'leads': [145], 'simply': [153], 'by': [154, 162], 'bounding': [155], 'their': [156], 'stores.': [157], 'These': [158], 'are': [160], 'parameterized': [161], 'allocation': [163], 'functions': [164], 'tune': [166], 'performance': [167], 'precision': [169], 'substantially': [171], 'expand': [172], 'space': [174], 'this': [178], 'framework': [179], 'can': [180], 'represent.': [181], 'scales': [187], 'up': [188], 'uniformly': [189], 'allow': [191], 'analysis': [193], 'realistic': [195], 'language': [196], 'features,': [197], 'including': [198], 'tail': [199], 'calls,': [200], 'conditionals,': [201], 'mutation,': [202], 'exceptions,': [203], 'first-class': [204], 'even': [207], 'garbage': [208], 'collection.': [209], 'In': [210], 'order': [211], 'close': [213], 'gap': [215], 'between': [216], 'formalism': [217], 'implementation,': [219], 'provide': [221], 'translations': [222], 'mathematics': [225], 'as': [226], 'running': [227], 'Haskell': [228], 'code': [229], 'initial': [232], 'development': [233], 'method.': [236]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2014359987', 'counts_by_year': [{'year': 2020, 'cited_by_count': 1}, {'year': 2019, 'cited_by_count': 2}, {'year': 2018, 'cited_by_count': 1}, {'year': 2017, 'cited_by_count': 4}, {'year': 2016, 'cited_by_count': 1}, {'year': 2015, 'cited_by_count': 1}, {'year': 2014, 'cited_by_count': 5}, {'year': 2013, 'cited_by_count': 3}], 'updated_date': '2024-12-16T15:31:16.055823', 'created_date': '2016-06-24'}