{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:20:18Z","timestamp":1759638018502},"reference-count":12,"publisher":"Wiley","issue":"7","license":[{"start":{"date-parts":[[2006,10,30]],"date-time":"2006-10-30T00:00:00Z","timestamp":1162166400000},"content-version":"vor","delay-in-days":7061,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1987,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper describes the production of a system to control an electronic cricket scoreboard. The main feature of the system is the ability of the operator to \u2018undo\u2019 operations that he has performed, in order to correct errors that has has made. Undo is implemented by reversing the execution of the program. The code to perform the reversal is generated automatically and results in a minimal amount of state information being recorderded.<\/jats:p>","DOI":"10.1002\/spe.4380170703","type":"journal-article","created":{"date-parts":[[2006,11,18]],"date-time":"2006-11-18T02:13:34Z","timestamp":1163816014000},"page":"439-453","source":"Crossref","is-referenced-by-count":9,"title":["Generating reversible programs"],"prefix":"10.1002","volume":"17","author":[{"given":"J. S.","family":"Briggs","sequence":"first","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,10,30]]},"reference":[{"key":"e_1_2_1_2_2","volume-title":"Cricket Umpiring and Scoring","author":"Smith T.","year":"1980"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/5001.5005"},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1145\/357233.357234"},{"key":"e_1_2_1_5_2","volume-title":"Integrated programming environments","author":"Teitelman W.","year":"1984"},{"key":"e_1_2_1_6_2","volume-title":"INTERLISP Reference Manual","author":"Teitelman W.","year":"1975"},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1975.6312866"},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380150703"},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5983-1"},{"key":"e_1_2_1_10_2","volume-title":"Ada Softwaare Tools Interfaces","author":"Briggs J. S.","year":"1984"},{"key":"e_1_2_1_11_2","volume-title":"EPA Reference Manual","author":"Briggs J. S.","year":"1984"},{"key":"e_1_2_1_12_2","unstructured":"S. C.Johnson \u2018Yace\u2014yet another compiler\u2010compiler\u2019 Comp. Sci. Tech. Rep. No. 32 Bell Laboratories Murray Hill New Jersey July1975."},{"key":"e_1_2_1_13_2","unstructured":"M. E.Lesk \u2018Lex\u2014A lexical analyzer generator\u2019 Comp. Sci. Tech. Rep. No. 39 Bell Laboratories Murray Hill New Jersey October1975."}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380170703","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380170703","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,20]],"date-time":"2023-10-20T19:43:25Z","timestamp":1697831005000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380170703"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,7]]},"references-count":12,"journal-issue":{"issue":"7","published-print":{"date-parts":[[1987,7]]}},"alternative-id":["10.1002\/spe.4380170703"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380170703","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1987,7]]}}}