{"id":"https://openalex.org/W2023048022","doi":"https://doi.org/10.1016/s0167-6423(01)00003-x","title":"Strengthening invariants for efficient computation","display_name":"Strengthening invariants for efficient computation","publication_year":2001,"publication_date":"2001-10-01","ids":{"openalex":"https://openalex.org/W2023048022","doi":"https://doi.org/10.1016/s0167-6423(01)00003-x","mag":"2023048022"},"language":"en","primary_location":{"id":"doi:10.1016/s0167-6423(01)00003-x","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0167-6423(01)00003-x","pdf_url":null,"source":{"id":"https://openalex.org/S21029587","display_name":"Science of Computer Programming","issn_l":"0167-6423","issn":["0167-6423","1872-7964"],"is_oa":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Science of Computer Programming","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/A5068274526","display_name":"Yanhong A. Liu","orcid":"https://orcid.org/0000-0002-5742-6489"},"institutions":[{"id":"https://openalex.org/I1327163397","display_name":"State University of New York","ror":"https://ror.org/01q1z8k08","country_code":"US","type":"education","lineage":["https://openalex.org/I1327163397"]},{"id":"https://openalex.org/I59553526","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33","country_code":"US","type":"education","lineage":["https://openalex.org/I59553526"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Yanhong A. Liu","raw_affiliation_strings":["Computer Science Department, State University of New York at Stony Brook, Stony Brook, NY 11794, USA","Computer Science Department, State University of New York at Stony Brook, Stony Brook, NY 11794, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, State University of New York at Stony Brook, Stony Brook, NY 11794, USA","institution_ids":["https://openalex.org/I59553526","https://openalex.org/I1327163397"]},{"raw_affiliation_string":"Computer Science Department, State University of New York at Stony Brook, Stony Brook, NY 11794, USA#TAB#","institution_ids":["https://openalex.org/I59553526"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021474885","display_name":"Scott D. Stoller","orcid":"https://orcid.org/0000-0002-8824-6835"},"institutions":[{"id":"https://openalex.org/I1327163397","display_name":"State University of New York","ror":"https://ror.org/01q1z8k08","country_code":"US","type":"education","lineage":["https://openalex.org/I1327163397"]},{"id":"https://openalex.org/I59553526","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33","country_code":"US","type":"education","lineage":["https://openalex.org/I59553526"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Scott D. Stoller","raw_affiliation_strings":["Computer Science Department, State University of New York at Stony Brook, Stony Brook, NY 11794, USA","Computer Science Department, State University of New York at Stony Brook, Stony Brook, NY 11794, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, State University of New York at Stony Brook, Stony Brook, NY 11794, USA","institution_ids":["https://openalex.org/I59553526","https://openalex.org/I1327163397"]},{"raw_affiliation_string":"Computer Science Department, State University of New York at Stony Brook, Stony Brook, NY 11794, USA#TAB#","institution_ids":["https://openalex.org/I59553526"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056400584","display_name":"Tim Teitelbaum","orcid":null},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tim Teitelbaum","raw_affiliation_strings":["Department of Computer Science, Cornell University, Ithaca, NY 14853, USA","Department of Computer Science, Cornell University, Ithaca NY. 14853 USA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Cornell University, Ithaca, NY 14853, USA","institution_ids":["https://openalex.org/I205783295"]},{"raw_affiliation_string":"Department of Computer Science, Cornell University, Ithaca NY. 14853 USA","institution_ids":["https://openalex.org/I205783295"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5068274526"],"corresponding_institution_ids":["https://openalex.org/I1327163397","https://openalex.org/I59553526"],"apc_list":{"value":2460,"currency":"USD","value_usd":2460},"apc_paid":null,"fwci":2.1805,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.89332052,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"41","issue":"2","first_page":"139","last_page":"172"},"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.9979000091552734,"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.9979000091552734,"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.9969000220298767,"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/T10142","display_name":"Formal Methods in Verification","score":0.9940000176429749,"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/computer-science","display_name":"Computer science","score":0.8913396596908569},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.7820553183555603},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7540932297706604},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5415863990783691},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.5114706754684448},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.4951998293399811},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4199438989162445},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.399271696805954},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17064696550369263},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08048844337463379}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8913396596908569},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.7820553183555603},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7540932297706604},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5415863990783691},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.5114706754684448},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.4951998293399811},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4199438989162445},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.399271696805954},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17064696550369263},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08048844337463379},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1016/s0167-6423(01)00003-x","is_oa":false,"landing_page_url":"https://doi.org/10.1016/s0167-6423(01)00003-x","pdf_url":null,"source":{"id":"https://openalex.org/S21029587","display_name":"Science of Computer Programming","issn_l":"0167-6423","issn":["0167-6423","1872-7964"],"is_oa":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Science of Computer Programming","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.28.3688","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.28.3688","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://ftp.cs.sunysb.edu/pub/liu/SIEC-SCP01.ps.gz","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":88,"referenced_works":["https://openalex.org/W38428743","https://openalex.org/W1482508253","https://openalex.org/W1483568252","https://openalex.org/W1491178396","https://openalex.org/W1510119905","https://openalex.org/W1511850051","https://openalex.org/W1513344286","https://openalex.org/W1556604985","https://openalex.org/W1557490801","https://openalex.org/W1563189921","https://openalex.org/W1566968514","https://openalex.org/W1569023215","https://openalex.org/W1585989032","https://openalex.org/W1608010962","https://openalex.org/W1674866864","https://openalex.org/W1923825841","https://openalex.org/W1965580406","https://openalex.org/W1967890297","https://openalex.org/W1968787980","https://openalex.org/W1975691109","https://openalex.org/W1980142751","https://openalex.org/W1980217707","https://openalex.org/W1988290118","https://openalex.org/W1988901815","https://openalex.org/W1990347915","https://openalex.org/W1992808564","https://openalex.org/W1993075518","https://openalex.org/W1997140231","https://openalex.org/W2002805042","https://openalex.org/W2003295303","https://openalex.org/W2004155726","https://openalex.org/W2004528131","https://openalex.org/W2007009457","https://openalex.org/W2008025193","https://openalex.org/W2009992143","https://openalex.org/W2011403367","https://openalex.org/W2011749833","https://openalex.org/W2012436850","https://openalex.org/W2013041359","https://openalex.org/W2014832211","https://openalex.org/W2016465358","https://openalex.org/W2018268071","https://openalex.org/W2019962118","https://openalex.org/W2023299380","https://openalex.org/W2026310133","https://openalex.org/W2029068974","https://openalex.org/W2029115409","https://openalex.org/W2034875370","https://openalex.org/W2035829578","https://openalex.org/W2044553249","https://openalex.org/W2045057107","https://openalex.org/W2045102550","https://openalex.org/W2045977446","https://openalex.org/W2051504145","https://openalex.org/W2051600983","https://openalex.org/W2060199124","https://openalex.org/W2083000170","https://openalex.org/W2087987137","https://openalex.org/W2089171884","https://openalex.org/W2089639813","https://openalex.org/W2092260504","https://openalex.org/W2093940406","https://openalex.org/W2097699872","https://openalex.org/W2099700419","https://openalex.org/W2112648314","https://openalex.org/W2113352466","https://openalex.org/W2113996446","https://openalex.org/W2119456203","https://openalex.org/W2128057448","https://openalex.org/W2129466151","https://openalex.org/W2132331020","https://openalex.org/W2140476855","https://openalex.org/W2147543351","https://openalex.org/W2148321974","https://openalex.org/W2152149670","https://openalex.org/W2156500361","https://openalex.org/W2159709550","https://openalex.org/W2293624369","https://openalex.org/W2496266011","https://openalex.org/W2752885492","https://openalex.org/W2753176400","https://openalex.org/W3149778755","https://openalex.org/W3162885617","https://openalex.org/W4206588298","https://openalex.org/W4240135045","https://openalex.org/W4249958171","https://openalex.org/W6601555258","https://openalex.org/W6633969869"],"related_works":["https://openalex.org/W2171648479","https://openalex.org/W2132806979","https://openalex.org/W1523769955","https://openalex.org/W2245390655","https://openalex.org/W4379536100","https://openalex.org/W188282463","https://openalex.org/W2002505081","https://openalex.org/W2083681681","https://openalex.org/W2577630842","https://openalex.org/W1713081424"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}