{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:20:34Z","timestamp":1725664834844},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616955"},{"type":"electronic","value":"9783540706458"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"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":[[1996]]},"DOI":"10.1007\/3-540-61695-0_14","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:11:49Z","timestamp":1330294309000},"page":"161-173","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Statement-sets"],"prefix":"10.1007","author":[{"given":"Svend Erik","family":"Knudsen","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"14_CR1","unstructured":"Chapmann, et al., VIENNA FORTRAN Compilation System Version 1.0 User's Guide, Technical Raport, Institut for Software Technology and Parallel Systems, Univ. of Vienna, (Jan. 1993)."},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"High Performance Fortran Forum, High Performance Fortran Language Specification, Version 1.0, Scientific Programmingf, 2(1 & 2 1993).","DOI":"10.1145\/190783.1041310"},{"key":"14_CR3","unstructured":"W. F. Tichy and C. G. Herter, Modula-2*: An Extension of Modula-2 for Highly Parallel, Portable Programs, Technical Report 4\/90, Department of Computer Science, University of Karlsruhe, (Jan. 1990)."},{"issue":"1","key":"14_CR4","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1145\/151233.151242","volume":"36","author":"J.-P. Ban\u00e2tre","year":"1993","unstructured":"J.-P. Ban\u00e2tre, D. Le M\u00e9tayer. Programming by Multiset Transformation, Commununication of the ACM 36 (1993) 1, pp. 98\u2013111.","journal-title":"Commununication of the ACM"},{"key":"14_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/366193.366201","volume":"6","author":"P. Naur","year":"1963","unstructured":"P. Naur, Revised Report on the Algorithmic Language ALGOL 60, Commununication of the ACM 6 (1963) 1.","journal-title":"Commununication of the ACM"},{"key":"14_CR6","first-page":"11","volume":"111","author":"N. Wirth","year":"1989","unstructured":"N. Wirth, The Programming Language Oberon, Department Informatik, ETH Zurich, Report 111 (Sep. 1989), pp. 11\u201328.","journal-title":"Department Informatik, ETH Zurich, Report"},{"issue":"7","key":"14_CR7","doi-asserted-by":"crossref","first-page":"808","DOI":"10.1137\/0912043","volume":"12","author":"C. Temperton","year":"1991","unstructured":"C. Temperton, Self-Sorting In-Place Fast Fourier Transformations, SIAM J. Sci. Stat. Comput. 12 (1991) 7, pp. 808\u2013823.","journal-title":"SIAM J. Sci. Stat. Comput."},{"issue":"1","key":"14_CR8","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1093\/comjnl\/5.1.10","volume":"5","author":"C.A.R. Hoare","year":"1962","unstructured":"C.A.R. Hoare, Quicksort, Computer Journal 5 (1962) 1, pp. 10\u201315.","journal-title":"Computer Journal"},{"key":"14_CR9","unstructured":"J. Templ, SPARC-Oberon User's Guide and Implementation, Department Informatik, ETH Zurich, Report 133 (June 1990)."},{"key":"14_CR10","volume-title":"The SPAR Architecture Manual, Version 8","author":"SPARC International, Inc.","year":"1992","unstructured":"SPARC International, Inc. The SPAR Architecture Manual, Version 8, Prentice Hall, Englewood Cliffs, 1992."},{"issue":"4","key":"14_CR11","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1093\/comjnl\/7.4.313","volume":"7","author":"C. Strachey","year":"1965","unstructured":"Strachey, C. An impossible program, Computer Journal 7, (1965) 4, p. 313.","journal-title":"Computer Journal"}],"container-title":["Lecture Notes in Computer Science","Parallel Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61695-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,3]],"date-time":"2020-07-03T07:08:00Z","timestamp":1593760080000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61695-0_14"}},"subtitle":["Parallelism enabled by independence"],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616955","9783540706458"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-61695-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"2 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}