{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:29:03Z","timestamp":1725456543792},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540115762"},{"type":"electronic","value":"9783540393085"}],"license":[{"start":{"date-parts":[[1982,1,1]],"date-time":"1982-01-01T00:00:00Z","timestamp":378691200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1982]]},"DOI":"10.1007\/bfb0012753","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T08:00:52Z","timestamp":1132732852000},"page":"14-22","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["On-the-fly garbage collection: New algorithms inspired by program proofs"],"prefix":"10.1007","author":[{"given":"Mordechai","family":"Ben-Ari","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,10,22]]},"reference":[{"issue":"3","key":"2_CR1","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1145\/356850.356854","volume":"13","author":"J. Cohen","year":"1981","unstructured":"J. Cohen. Garbage collection of linked data structures. Computing Surveys 13(3), 1981, 341\u2013367.","journal-title":"Computing Surveys"},{"issue":"11","key":"2_CR2","doi-asserted-by":"publisher","first-page":"966","DOI":"10.1145\/359642.359655","volume":"21","author":"E.W. Dijkstra","year":"1978","unstructured":"E.W. Dijkstra, L. Lamport, A.J. Martin, C.S. Scholten and E.F.M. Steffens. On-the-fly garbage collection: an exercise in cooperation. Communications ACM 21(11), 1978, 966\u2013975.","journal-title":"Communications ACM"},{"issue":"5","key":"2_CR3","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1109\/TSE.1978.233857","volume":"SE-4","author":"N. Francez","year":"1978","unstructured":"N. Francez. An application of a method for analysis of cyclic programs. IEEE Transactions on Software Engineering SE-4(5), 1978, 371\u2013378.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BF00289074","volume":"9","author":"N. Francez","year":"1978","unstructured":"N. Francez and A. Pnueli. A proof method for cyclic programs. Acta Informatica 9(1978), 133\u2013157.","journal-title":"Acta Informatica"},{"issue":"12","key":"2_CR5","doi-asserted-by":"publisher","first-page":"921","DOI":"10.1145\/359897.359903","volume":"20","author":"D. Gries","year":"1977","unstructured":"D. Gries. An exercise in proving parallel programs correct. Communications ACM 20(12), 1977, 921\u2013930.","journal-title":"Communications ACM"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"H.T. Kung and S.W. Song. An efficient parallel garbage collection system and its correctness proof. IEEE Symp. Found. Comp. Sci. 1977, 120\u2013131.","DOI":"10.1109\/SFCS.1977.5"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1109\/TSE.1977.229904","volume":"SE-3","author":"L. Lamport","year":"1977","unstructured":"L. Lamport. Proving the correctness of multiprocess programs. IEEE Transactions on Software Engineering SE-3, 1977, 125\u2013143.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/BF00268134","volume":"6","author":"S. Owicki","year":"1976","unstructured":"S. Owicki and D. Gries. An axiomatic proof technique for parallel programs I. Acta Informatica 6(1976), 319\u2013340.","journal-title":"Acta Informatica"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0012753","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:58:08Z","timestamp":1558256288000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0012753"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540115762","9783540393085"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/bfb0012753","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1982]]},"assertion":[{"value":"22 October 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}