{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T12:42:24Z","timestamp":1697978544277},"reference-count":20,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2006,10,30]],"date-time":"2006-10-30T00:00:00Z","timestamp":1162166400000},"content-version":"vor","delay-in-days":6877,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1988,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Tagging of objects produced by generators is a simple mechanism for the synchronization of generators. Such tagging is proposed as a reliable software design technique for problems based on data streams. It is used to develop programs for two\u2010way merge and file update.<\/jats:p>","DOI":"10.1002\/spe.4380180109","type":"journal-article","created":{"date-parts":[[2006,11,18]],"date-time":"2006-11-18T04:50:38Z","timestamp":1163825438000},"page":"73-81","source":"Crossref","is-referenced-by-count":2,"title":["Programming with generators"],"prefix":"10.1002","volume":"18","author":[{"given":"Alfs","family":"Berztiss","sequence":"first","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,10,30]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/360933.360975"},{"key":"e_1_2_1_4_2","volume-title":"Program Verification using Ada","author":"McGettrick A. D.","year":"1982"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5983-1"},{"key":"e_1_2_1_6_2","volume-title":"Formal Methods of Program Verification and Specification","author":"Berg H. K.","year":"1982"},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0065-2458(08)60131-X"},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/800177.810069"},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1982.235735"},{"key":"e_1_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01939412"},{"key":"e_1_2_1_11_2","volume-title":"CLU Reference Manual","author":"Liskov B.","year":"1981"},{"key":"e_1_2_1_12_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5979-4"},{"key":"e_1_2_1_13_2","volume-title":"The Icon Programming Language","author":"Griswold R. E.","year":"1983"},{"key":"e_1_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00288768"},{"key":"e_1_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/800176.809968"},{"key":"e_1_2_1_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/800027.808443"},{"key":"e_1_2_1_17_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380090602"},{"key":"e_1_2_1_18_2","first-page":"146","article-title":"Program control by state transition tables","volume":"12","author":"Juliff P.","year":"1980","journal-title":"Austral. Computer J."},{"key":"e_1_2_1_19_2","first-page":"1","article-title":"The formal treatment of state transition tables \u2014 a tutorial","volume":"14","author":"Hext J.","year":"1982","journal-title":"Austral. Computer J."},{"key":"e_1_2_1_20_2","volume-title":"A Discipline of Programming","author":"Dijkstra E. W.","year":"1976"},{"key":"e_1_2_1_21_2","doi-asserted-by":"publisher","DOI":"10.1145\/358527.358534"}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380180109","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380180109","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,21]],"date-time":"2023-10-21T15:21:25Z","timestamp":1697901685000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380180109"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,1]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1988,1]]}},"alternative-id":["10.1002\/spe.4380180109"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380180109","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988,1]]}}}