{"id":"https://openalex.org/W2336693191","doi":"https://doi.org/10.1145/362342.362360","title":"Reversible execution","display_name":"Reversible execution","publication_year":1973,"publication_date":"1973-09-01","ids":{"openalex":"https://openalex.org/W2336693191","doi":"https://doi.org/10.1145/362342.362360","mag":"2336693191"},"language":"en","primary_location":{"id":"doi:10.1145/362342.362360","doi":"https://doi.org/10.1145/362342.362360","is_oa":true,"landing_page_url":"https://doi.org/10.1145/362342.362360","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/362342.362360","source":{"id":"https://openalex.org/S103482838","display_name":"Communications of the ACM","issn_l":"0001-0782","issn":["0001-0782","1557-7317"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","dongbi-b","fnege-3","jufo-3","norway-2","poland-140","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Communications of the ACM","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/362342.362360","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5111493253","display_name":"Marvin V. Zelkowitz","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"M. V. Zelkowitz","raw_affiliation_strings":["Univ. of Maryland, College Park"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. of Maryland, College Park","institution_ids":["https://openalex.org/I66946132"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5111493253"],"corresponding_institution_ids":["https://openalex.org/I66946132"],"apc_list":null,"apc_paid":null,"fwci":0.6379,"has_fulltext":true,"cited_by_count":63,"citation_normalized_percentile":{"value":0.79487179,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":87,"max":97},"biblio":{"volume":"16","issue":"9","first_page":"566","last_page":"566"},"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.9916999936103821,"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.9916999936103821,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.0038999998942017555,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.0008999999845400453,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/backtracking","display_name":"backtracking","score":0.9110000133514404},{"id":"https://openalex.org/keywords/program-execution","display_name":"program execution","score":0.4620000123977661},{"id":"https://openalex.org/keywords/debugging","display_name":"debugging","score":0.8759999871253967},{"id":"https://openalex.org/keywords/proof-search","display_name":"proof search","score":0.8040000200271606},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"artificial intelligence","score":0.5049999952316284},{"id":"https://openalex.org/keywords/programming-language-features","display_name":"programming language features","score":0.6700000166893005}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8808047771453857},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.8523832559585571},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.834180474281311},{"id":"https://openalex.org/C2780945871","wikidata":"https://www.wikidata.org/wiki/Q194274","display_name":"Backup","level":2,"score":0.6944368481636047},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6679220795631409},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.6102831363677979},{"id":"https://openalex.org/C136388014","wikidata":"https://www.wikidata.org/wiki/Q17084976","display_name":"Algorithmic program debugging","level":3,"score":0.5511977076530457},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.4563369154930115},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.43647778034210205},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3048844337463379},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/362342.362360","doi":"https://doi.org/10.1145/362342.362360","is_oa":true,"landing_page_url":"https://doi.org/10.1145/362342.362360","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/362342.362360","source":{"id":"https://openalex.org/S103482838","display_name":"Communications of the ACM","issn_l":"0001-0782","issn":["0001-0782","1557-7317"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","dongbi-b","fnege-3","jufo-3","norway-2","poland-140","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Communications of the ACM","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/362342.362360","doi":"https://doi.org/10.1145/362342.362360","is_oa":true,"landing_page_url":"https://doi.org/10.1145/362342.362360","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/362342.362360","source":{"id":"https://openalex.org/S103482838","display_name":"Communications of the ACM","issn_l":"0001-0782","issn":["0001-0782","1557-7317"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","dongbi-b","fnege-3","jufo-3","norway-2","poland-140","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Communications of the ACM","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2336693191.pdf","grobid_xml":"https://content.openalex.org/works/W2336693191.grobid-xml"},"referenced_works_count":3,"referenced_works":["https://openalex.org/W1605272533","https://openalex.org/W2086128781","https://openalex.org/W2118393301"],"related_works":["https://openalex.org/W1965397772","https://openalex.org/W1511492754","https://openalex.org/W6941883502","https://openalex.org/W7095625156","https://openalex.org/W2547636067","https://openalex.org/W52111123","https://openalex.org/W3025224030","https://openalex.org/W7099920736","https://openalex.org/W1990148247","https://openalex.org/W2952291984"],"abstract_inverted_index":{"The":[0],"ability":[1],"to":[2,61,70],"backtrack,":[3],"or":[4],"retrace,":[5],"the":[6,38,72],"execution":[7],"of":[8],"a":[9,18,22,63],"computer":[10],"program":[11],"has":[12],"gained":[13],"wider":[14],"acceptance":[15],"recently":[16],"as":[17],"desired":[19],"feature":[20],"within":[21],"programming":[23],"language.":[24],"This":[25],"is":[26,41,59,67],"particularly":[27],"useful":[28],"in":[29],"two":[30],"different":[31],"applications:":[32],"(1)":[33],"In":[34,53],"debugging":[35],"systems":[36],"where":[37,57],"trace":[39],"output":[40],"saved":[42],"and":[43,74],"can":[44],"be":[45],"interrogated":[46],"under":[47],"programmer":[48],"control":[49],"[1,":[50],"3];":[51],"(2)":[52],"artificial":[54],"intelligence":[55],"applications":[56],"one":[58],"trying":[60],"prove":[62],"certain":[64],"result.":[65],"It":[66],"frequently":[68],"necessary":[69],"backup":[71],"proof":[73],"try":[75],"some":[76],"alternative":[77],"path":[78],"[2].":[79]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":2}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2016-06-24T00:00:00"}