{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,3]],"date-time":"2023-05-03T21:10:27Z","timestamp":1683148227230},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1990,3,1]],"date-time":"1990-03-01T00:00:00Z","timestamp":636249600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["BIT"],"published-print":{"date-parts":[[1990,3]]},"DOI":"10.1007\/bf01932133","type":"journal-article","created":{"date-parts":[[2005,7,24]],"date-time":"2005-07-24T19:12:10Z","timestamp":1122232330000},"page":"70-82","source":"Crossref","is-referenced-by-count":11,"title":["An axiomatic treatment ofSIMD assignment"],"prefix":"10.1007","volume":"30","author":[{"given":"Alan","family":"Stewart","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"BF01932133_CR1","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1145\/357162.357170","volume":"4","author":"E. A. Ashcroft","year":"1982","unstructured":"E. A. Ashcroft and W. W. Wadge,\u201cRx\u201d for semantics, ACM TOPLAS Vol. 4, No. 2, 283\u2013294, 1982.","journal-title":"ACM TOPLAS"},{"key":"BF01932133_CR2","unstructured":"M. Clint and K. T. Narayana,Programming structures for synchronous parallelism, Parallel Computing 83, North-Holland, 405\u2013412, 1984."},{"key":"BF01932133_CR3","unstructured":"J. de Bakker,Mathematical Theory of Program Correctness, Prentice-Hall International, 1980."},{"key":"BF01932133_CR4","unstructured":"E. W. Dijkstra,A Discipline of Programming, Prentice-Hall, 1976."},{"key":"BF01932133_CR5","doi-asserted-by":"crossref","unstructured":"D. Gries,The Science of Programming, Prentice-Hall International, 1981.","DOI":"10.1007\/978-1-4612-5983-1"},{"key":"BF01932133_CR6","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare,Communicating Sequential Processes, Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"BF01932133_CR7","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/BF00289504","volume":"2","author":"C. A. R. Hoare","year":"1973","unstructured":"C. A. R. Hoare and N. Wirth,An axiomatic definition of the programming language Pascal, Acta Informatica 2, 335\u2013355, 1973.","journal-title":"Acta Informatica"},{"key":"BF01932133_CR8","unstructured":"D. A. Schmidt,Denotational Semantics, Allyn and Bacon INC., 1986."},{"key":"BF01932133_CR9","doi-asserted-by":"crossref","first-page":"639","DOI":"10.1007\/BF01941139","volume":"28","author":"A. Stewart","year":"1988","unstructured":"A. Stewart,SIMD language design using prescriptive semantics, BIT 28, 639\u2013650, 1988.","journal-title":"BIT"},{"key":"BF01932133_CR10","unstructured":"A. Stewart and P. Wray,The Formal Semantics of a SIMD Language, Internal Report, The Queens's University of Belfast, 1989."},{"key":"BF01932133_CR11","unstructured":"J. E. Stoy,Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, 1977."},{"issue":"8","key":"BF01932133_CR12","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1145\/360303.360308","volume":"19","author":"R. D. Tennent","year":"1976","unstructured":"R. D. Tennent,The denotational semantics of programming languages, CACM, Vol. 19, No. 8, 437\u2013453, 1976.","journal-title":"CACM"}],"container-title":["BIT"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01932133.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01932133\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01932133","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,3]],"date-time":"2023-05-03T20:38:01Z","timestamp":1683146281000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01932133"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,3]]},"references-count":12,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1990,3]]}},"alternative-id":["BF01932133"],"URL":"https:\/\/doi.org\/10.1007\/bf01932133","relation":{},"ISSN":["0006-3835","1572-9125"],"issn-type":[{"value":"0006-3835","type":"print"},{"value":"1572-9125","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,3]]}}}