{"id":"https://openalex.org/W2046585568","doi":"https://doi.org/10.1109/tse.1979.234185","title":"A Method for Analyzing Loop Programs","display_name":"A Method for Analyzing Loop Programs","publication_year":1979,"publication_date":"1979-05-01","ids":{"openalex":"https://openalex.org/W2046585568","doi":"https://doi.org/10.1109/tse.1979.234185","mag":"2046585568"},"language":"en","primary_location":{"id":"doi:10.1109/tse.1979.234185","doi":"https://doi.org/10.1109/tse.1979.234185","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.1979.234185","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","ccf-a","cwts-core","dongbi-a","fnege-3","jufo-3","norway-2","poland-140","russia-white-list-1"],"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"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/A5079158236","display_name":"Richard C. Waters","orcid":"https://orcid.org/0000-0002-9211-3357","observed_orcids":["https://orcid.org/0000-0002-9211-3357"]},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"R.C. Waters","raw_affiliation_strings":["Artificial Intelligence Laboratory and the Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA, USA","Artificial Intelligence Laboratory and the Laboratory for Computer Science, Massachusetts Institute of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Artificial Intelligence Laboratory and the Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA, USA","institution_ids":["https://openalex.org/I63966007"]},{"raw_affiliation_string":"Artificial Intelligence Laboratory and the Laboratory for Computer Science, Massachusetts Institute of Technology","institution_ids":["https://openalex.org/I63966007"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5079158236"],"corresponding_institution_ids":["https://openalex.org/I63966007"],"apc_list":{"value":2645,"currency":"USD","value_usd":2645},"apc_paid":null,"fwci":6.253,"has_fulltext":false,"cited_by_count":83,"citation_normalized_percentile":{"value":0.96567506,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":87,"max":93},"biblio":{"volume":"SE-5","issue":"3","first_page":"237","last_page":"247"},"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.9804999828338623,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9804999828338623,"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"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.00989999994635582,"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"}},{"id":"https://openalex.org/T10533","display_name":"Teaching and Learning Programming","score":0.003700000001117587,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"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/loop-analysis","display_name":"loop analysis","score":0.925000011920929},{"id":"https://openalex.org/keywords/loop-structure","display_name":"loop structure","score":0.7279999852180481},{"id":"https://openalex.org/keywords/automatic-program-analysis","display_name":"automatic program analysis","score":0.7699999809265137},{"id":"https://openalex.org/keywords/correctness-proofs","display_name":"correctness proofs","score":0.5789999961853027},{"id":"https://openalex.org/keywords/program-verification","display_name":"program verification","score":0.453000009059906},{"id":"https://openalex.org/keywords/programming-language-constructs","display_name":"programming constructs","score":0.6840000152587891},{"id":"https://openalex.org/keywords/program-comprehension","display_name":"program comprehension","score":0.3179999887943268}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8967269659042358},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.8233790397644043},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.788799524307251},{"id":"https://openalex.org/C184670325","wikidata":"https://www.wikidata.org/wiki/Q512604","display_name":"Loop (graph theory)","level":2,"score":0.7001297473907471},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.670008659362793},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4880277216434479},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.482384592294693},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.41390717029571533},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3353215456008911},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33360540866851807},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14780691266059875},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tse.1979.234185","doi":"https://doi.org/10.1109/tse.1979.234185","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.1979.234185","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","ccf-a","cwts-core","dongbi-a","fnege-3","jufo-3","norway-2","poland-140","russia-white-list-1"],"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},{"id":"mag:2187907088","doi":null,"is_oa":false,"landing_page_url":"https://ieeexplore.ieee.org/iel5/32/35910/01702623.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W1524717480","https://openalex.org/W1525140360","https://openalex.org/W1535347731","https://openalex.org/W1542954140","https://openalex.org/W1584403354","https://openalex.org/W1819699930","https://openalex.org/W1974463765","https://openalex.org/W1975068738","https://openalex.org/W1978367838","https://openalex.org/W2028957927","https://openalex.org/W2029046317","https://openalex.org/W2055085346","https://openalex.org/W2067911767","https://openalex.org/W2072868498","https://openalex.org/W2073544767","https://openalex.org/W2075913776","https://openalex.org/W2083828778","https://openalex.org/W2118385830","https://openalex.org/W2131361093","https://openalex.org/W2340063198","https://openalex.org/W2987907651","https://openalex.org/W3146075203","https://openalex.org/W4206197848","https://openalex.org/W4242657407","https://openalex.org/W4251912342"],"related_works":["https://openalex.org/W119980763","https://openalex.org/W7098298113","https://openalex.org/W2087969121","https://openalex.org/W2778319809","https://openalex.org/W2113318176","https://openalex.org/W2548082263","https://openalex.org/W2163049066","https://openalex.org/W2094187620","https://openalex.org/W1978617186","https://openalex.org/W2134630546"],"abstract_inverted_index":{"This":[0],"paper":[1,64,109],"presents":[2],"a":[3,14,40,58,78,90,132,137,148,156],"method":[4,22,68],"for":[5,54,94],"automatically":[6,73],"analyzing":[7],"loops,":[8],"and":[9,80,119,158],"discusses":[10,65,110],"why":[11],"it":[12],"is":[13,23,42,47,100,125,128,135,141],"useful":[15],"way":[16],"to":[17,72,88,130,161],"look":[18],"at":[19],"loops.":[20,62],"The":[21,63,108,139],"based":[24],"on":[25,155],"the":[26,36,55,67,75,82,95,111,114,143,164],"idea":[27],"that":[28,51,142],"there":[29],"are":[30],"four":[31],"basic":[32],"ways":[33],"in":[34],"which":[35,49,102,127],"logical":[37],"structure":[38,56,76,115],"of":[39,57,61,77,92,106,153],"loop":[41],"built":[43],"up.":[44],"An":[45,97],"experiment":[46],"presented":[48,118],"shows":[50],"this":[52,104],"accounts":[53],"large":[59],"class":[60],"how":[66,81],"can":[69,85],"be":[70,86,159],"used":[71,87],"analyze":[74],"loop,":[79],"resulting":[83],"analysis":[84],"guide":[89],"proof":[91],"correctness":[93],"loop.":[96],"automatic":[98],"system":[99,124,144],"described":[101,126],"performs":[103],"type":[105],"analysis.":[107],"relationship":[112],"between":[113],"building":[116],"methods":[117],"programming":[120],"language":[121],"constructs.":[122],"A":[123],"designed":[129],"assist":[131],"person":[133],"who":[134],"writing":[136],"program.":[138],"intent":[140],"will":[145],"cooperate":[146],"with":[147,163],"programmer":[149,165],"throughout":[150],"aUl":[151],"phases":[152],"work":[154],"program":[157],"able":[160],"communicate":[162],"about":[166],"it.":[167]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}