{"id":"https://openalex.org/W2007558402","doi":"https://doi.org/10.1145/512976.512977","title":"Application of lattice algebra to loop optimization","display_name":"Application of lattice algebra to loop optimization","publication_year":1975,"publication_date":"1975-01-01","ids":{"openalex":"https://openalex.org/W2007558402","doi":"https://doi.org/10.1145/512976.512977","mag":"2007558402"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/512976.512977","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/512976.512977","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/512976.512977","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5108553976","display_name":"Amelia C. Fong","orcid":null},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Amelia Fong","raw_affiliation_strings":["Princeton University,Princeton, N.J."],"affiliations":[{"raw_affiliation_string":"Princeton University,Princeton, N.J.","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072260044","display_name":"John B. Kam","orcid":null},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"John Kam","raw_affiliation_strings":["Princeton University,Princeton, N.J."],"affiliations":[{"raw_affiliation_string":"Princeton University,Princeton, N.J.","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089065417","display_name":"Jeffrey D. Ullman","orcid":"https://orcid.org/0000-0002-1847-3426"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jeffrey Ullman","raw_affiliation_strings":["Princeton University,Princeton, N.J."],"affiliations":[{"raw_affiliation_string":"Princeton University,Princeton, N.J.","institution_ids":["https://openalex.org/I20089843"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.588,"has_fulltext":false,"cited_by_count":21,"citation_normalized_percentile":{"value":0.853061,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":89},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11269","display_name":"Text Compression and Indexing Algorithms","score":0.9952,"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/T11269","display_name":"Text Compression and Indexing Algorithms","score":0.9952,"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/T10126","display_name":"Program Analysis and Verification Techniques","score":0.9951,"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 Software Verification and Control","score":0.9923,"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/algorithms","display_name":"Algorithms","score":0.485095},{"id":"https://openalex.org/keywords/lattice","display_name":"Lattice (music)","score":0.42597225}],"concepts":[{"id":"https://openalex.org/C2778805511","wikidata":"https://www.wikidata.org/wiki/Q1713","display_name":"Citation","level":2,"score":0.5999698},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5156361},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.4793354},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.47322217},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.42597225},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37868235},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.22443438},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.14763907},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.118147194},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/512976.512977","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/512976.512977","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/512976.512977","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/512976.512977","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality education","score":0.43}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":10,"referenced_works":["https://openalex.org/W1502293651","https://openalex.org/W1655990431","https://openalex.org/W1995405030","https://openalex.org/W2015438771","https://openalex.org/W2031867273","https://openalex.org/W2087493276","https://openalex.org/W2124153277","https://openalex.org/W2127637733","https://openalex.org/W2150082535","https://openalex.org/W2153182182"],"related_works":["https://openalex.org/W4317642157","https://openalex.org/W4239542068","https://openalex.org/W2805273647","https://openalex.org/W2363440148","https://openalex.org/W2352401039","https://openalex.org/W2317510431","https://openalex.org/W2181265275","https://openalex.org/W1990811139","https://openalex.org/W1974749013","https://openalex.org/W134931362"],"abstract_inverted_index":{"Article":[0],"Free":[1],"Access":[2],"Share":[3],"on":[4,67,119],"Application":[5],"of":[6,61,69],"lattice":[7],"algebra":[8],"to":[9,129,133,135],"loop":[10],"optimization":[11],"Authors:":[12],"Amelia":[13],"Fong":[14],"Princeton":[15,17,20,22,29,31,34,36,43,45,48,50],"University,":[16,21,30,35,44,49],"N.":[18,23,32,37,46,51],"J.":[19,33,47],"J.View":[24,38,52],"Profile":[25,39,53],",":[26,40],"John":[27],"Kam":[28],"Jeffrey":[41],"Ullman":[42],"Authors":[54],"Info":[55],"&":[56],"Claims":[57],"POPL":[58],"'75:":[59],"Proceedings":[60],"the":[62,120],"2nd":[63],"ACM":[64],"SIGACT-SIGPLAN":[65],"symposium":[66],"Principles":[68],"programming":[70],"languagesJanuary":[71],"1975":[72],"Pages":[73],"1\u20139https://doi.org/10.1145/512976.512977Online:01":[74],"January":[75],"1975Publication":[76],"History":[77],"13citation241DownloadsMetricsTotal":[78],"Citations13Total":[79],"Downloads241Last":[80],"12":[81],"Months8Last":[82],"6":[83],"weeks4":[84],"Get":[85],"Citation":[86,88,125],"AlertsNew":[87,124],"Alert":[89],"added!This":[90],"alert":[91,116],"has":[92,111],"been":[93,112],"successfully":[94],"added":[95],"and":[96],"will":[97,101],"be":[98,102],"sent":[99],"to:You":[100],"notified":[103],"whenever":[104],"a":[105,137],"record":[106],"that":[107],"you":[108],"have":[109],"chosen":[110],"cited.To":[113],"manage":[114],"your":[115,130],"preferences,":[117],"click":[118],"button":[121],"below.Manage":[122],"my":[123],"Alert!Please":[126],"log":[127],"in":[128],"account":[131],"Save":[132],"BinderSave":[134],"BinderCreate":[136],"New":[138],"BinderNameCancelCreateExport":[139],"CitationPublisher":[140],"SiteeReaderPDF":[141]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2007558402","counts_by_year":[],"updated_date":"2024-10-14T01:07:00.546987","created_date":"2016-06-24"}
