{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:38Z","timestamp":1725663218977},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540119814"},{"type":"electronic","value":"9783540394457"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/3-540-11981-7_3","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:49:44Z","timestamp":1330192184000},"page":"45-80","source":"Crossref","is-referenced-by-count":2,"title":["Semantics and implementation of prefixing at many levels"],"prefix":"10.1007","author":[{"given":"W. M.","family":"Bartol","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Kreczmar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. I.","family":"Litwiniuk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Oktaba","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"3_CR1","unstructured":"Bartol W.M. \"The definition of the semantics of some instructions of a block structured language with type prefixing.\", manuscript, 1980."},{"issue":"1","key":"3_CR2","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1007\/BF00991939","volume":"7","author":"D. M. Berry","year":"1978","unstructured":"Berry D.M., Chirica L., Johnston J.B., Martin D.F. and Sorkin A. \"Time required for reference count management in retention block-structured languages.\" Part 1, Int. J. Comp. and Inf. Sciences, Vol.7, No.1 (March 1978), pp.11\u201364.","journal-title":"Int. J. Comp. and Inf. Sciences"},{"issue":"10","key":"3_CR3","first-page":"591","volume":"16","author":"D. G. Bobrow","year":"1973","unstructured":"Bobrow D.G., Wegbreit B. \"A model and stack implementation of multiple environments\", Comm.A.C.M., Vol.16, No.10 (Oct.1973), pp.591\u2013603.","journal-title":"Comm.A.C.M."},{"key":"3_CR4","unstructured":"Dahl O-J., Myrhaug B., Nygaard K., \"Simula 67 Common Base Language\", Norwegian Computing Center 1970."},{"key":"3_CR5","first-page":"425","volume":"11","author":"O-J. Dahl","year":"1971","unstructured":"Dahl O-J., Wang A., \"Coroutine sequencing in a block structured environment\", B.I.T. Vol.11 (1971), pp.425\u2013449.","journal-title":"B.I.T."},{"key":"3_CR6","doi-asserted-by":"crossref","first-page":"312","DOI":"10.1007\/BF01386232","volume":"2","author":"E. W. Dijkstra","year":"1960","unstructured":"Dijkstra E.W., \"Recursive programming\", Numerische Mathematik 2, Vol.2 (1960), pp.312\u2013318.","journal-title":"Numerische Mathematik 2"},{"key":"3_CR7","volume-title":"Compiler construction for digital computers","author":"D. Gries","year":"1971","unstructured":"Gries D., \"Compiler construction for digital computers.\" New York, Wiley 1971."}],"container-title":["Lecture Notes in Computer Science","Logics of Programs and Their Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-11981-7_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:46:26Z","timestamp":1619556386000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-11981-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540119814","9783540394457"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-11981-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1983]]}}}