{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,3]],"date-time":"2023-05-03T23:11:22Z","timestamp":1683155482050},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1988,9,1]],"date-time":"1988-09-01T00:00:00Z","timestamp":589075200000},"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":[[1988,9]]},"DOI":"10.1007\/bf01941139","type":"journal-article","created":{"date-parts":[[2005,7,31]],"date-time":"2005-07-31T10:23:42Z","timestamp":1122805422000},"page":"639-649","source":"Crossref","is-referenced-by-count":4,"title":["Simd language design using prescriptive semantics"],"prefix":"10.1007","volume":"28","author":[{"given":"Alan","family":"Stewart","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"BF01941139_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,\u201cR\u201d for semantics, ACM TOPLAS, Vol. 4, No. 2, 283\u2013294, 1982.","journal-title":"ACM TOPLAS"},{"key":"BF01941139_CR2","unstructured":"M. Clint and K. T. Narayana,Programming structures for synchronous purallelism, Parallel Computing 83, North-Holland, 405\u2013412, 1984."},{"key":"BF01941139_CR3","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":"BF01941139_CR4","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":"BF01941139_CR5","unstructured":"ICL, DAP,Fortran language, (3rd edition), 1981."},{"issue":"2","key":"BF01941139_CR6","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1145\/357073.357075","volume":"1","author":"R. H. Perrott","year":"1979","unstructured":"R. H. Perrott,A language for array and vector processors, ACM TOPLAS, Vol. 1, No. 2, 177\u2013195, 1979.","journal-title":"ACM TOPLAS"},{"key":"BF01941139_CR7","doi-asserted-by":"crossref","unstructured":"R. Russell,The Cray-1 computer system, CACM, Vol. 21, No. 1, 1978.","DOI":"10.1145\/359327.359336"},{"key":"BF01941139_CR8","unstructured":"D. A. Schmidt,Denotational semantics, Allyn and Bacon INC., 1986."},{"key":"BF01941139_CR9","unstructured":"J. E. Stoy,The Scott-Strachey approach to programming language theory, MIT Press, 1977."},{"issue":"8","key":"BF01941139_CR10","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"},{"key":"BF01941139_CR11","doi-asserted-by":"crossref","first-page":"436","DOI":"10.1007\/BF01932840","volume":"21","author":"P. J. L. Wallis","year":"1981","unstructured":"P. J. L. Wallis,Some primitives for the portable programming of array and vector processors, BIT 21, 436\u2013448, 1981.","journal-title":"BIT"}],"container-title":["BIT"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01941139.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01941139\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01941139","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,3]],"date-time":"2023-05-03T22:36:27Z","timestamp":1683153387000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01941139"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,9]]},"references-count":11,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1988,9]]}},"alternative-id":["BF01941139"],"URL":"https:\/\/doi.org\/10.1007\/bf01941139","relation":{},"ISSN":["0006-3835","1572-9125"],"issn-type":[{"value":"0006-3835","type":"print"},{"value":"1572-9125","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988,9]]}}}