{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T08:04:34Z","timestamp":1648713874548},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1995,3,1]],"date-time":"1995-03-01T00:00:00Z","timestamp":794016000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Reliable Comput"],"published-print":{"date-parts":[[1995,3]]},"DOI":"10.1007\/bf02390522","type":"journal-article","created":{"date-parts":[[2006,4,10]],"date-time":"2006-04-10T06:32:07Z","timestamp":1144650727000},"page":"65-75","source":"Crossref","is-referenced-by-count":0,"title":["An informal introduction to a high level language with applications to interval mathematics"],"prefix":"10.1007","volume":"1","author":[{"given":"Daniel E.","family":"Cooke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u041b. \u0415.","family":"\u041a\u0443\u043a","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02390522_CR1","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0167-739X(88)90012-X","volume":"4","author":"J.-P. Ban\u00e2tre","year":"1988","unstructured":"Ban\u00e2tre, J.-P., Courant, A., and M\u00e9tayer, D. Le.A parallel machine for multisel transformation and its programming style. Future Generation Computer Systems4 (1988), pp. 133\u2013144.","journal-title":"Future Generation Computer Systems"},{"key":"BF02390522_CR2","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0167-6423(90)90044-E","volume":"15","author":"J.-P. Ban\u00e2tre","year":"1990","unstructured":"Ban\u00e2tre, J.-P. and M\u00e9tayer, D. LeThe GAMMA model and its discripline of programming. Sci. Comput. Program15 (1990), pp. 55\u201377.","journal-title":"Sci. Comput. Program"},{"issue":"1","key":"BF02390522_CR3","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1145\/151233.151242","volume":"36","author":"J.-P. Ban\u00e2tre","year":"1993","unstructured":"Ban\u00e2tre, J.-P. and M\u00e9tayer, D. LeProgramming by multisel transformation. Communications of the ACM36 (1) (1993), pp. 98\u2013111.","journal-title":"Communications of the ACM"},{"issue":"2","key":"BF02390522_CR4","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/0743-7315(90)90087-6","volume":"8","author":"G. E. Blelloch","year":"1990","unstructured":"Blelloch, G. E. and Sabot, G. W..Compiling collection-oriented langunges onto massively parallel computers. Journal of Parallel and Distributed Computing8 (2) (1990), pp. 119\u2013134.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"BF02390522_CR5","unstructured":"Cerf, V., Fernandez, E., Gostelow, K., and Volansky, S.Formal control flow properties as a model of computation. Report ENG-7178. Computer Science Department. University of California at Los Angeles, 1971."},{"key":"BF02390522_CR6","doi-asserted-by":"crossref","unstructured":"Cooke, D. E. and Gutierrez, A.An introduction to BagL. In: \u201cIEEE Fourth International Conference on Software Engineering and Knowledge Engineering\u201d, Capri, Italy, 1992, pp. 479\u2013486.","DOI":"10.1109\/SEKE.1992.227914"},{"key":"BF02390522_CR7","unstructured":"Cooke, D. E.Arithmetic over multisels leading to a high level language. In: \u201cProceedings of the Computers in Engineering Symposium\u201d, Houston, TX. 1993, pp. 31\u201336."},{"issue":"3","key":"BF02390522_CR8","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1142\/S0218194093000185","volume":"3","author":"D. E. Cooke","year":"1993","unstructured":"Cooke, D. E..Possible effects of the next generation programming language on the software process model. International Journal of Software Engineering and Knowledge Engineering3 (3) (1993), pp. 383\u2013399.","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"BF02390522_CR9","unstructured":"Cooke, D. E.A high lavel computer language based upon orderred multisels. In: \u201cProceedings of the IEEE Fifth International Conference on Software Engineering and Knowledge Engineering\u201d, San Francisco, 1993, pp. 117\u2013124."},{"key":"BF02390522_CR10","unstructured":"Cooke, D. E.An executable high level language based on multisets. Submitted to IEEE Transactions of Software Engineering, to appear."},{"key":"BF02390522_CR11","first-page":"289","volume-title":"Proceedings of the Sixth International Conference on Software Engineering and Knowledge Engineering SEKE\u201994, June 21\u201323 1994, Jurmala, Latvia","author":"D. E. Cooke","year":"1994","unstructured":"Cooke, D. E., Duran, R., Gates, A., and Kreinovich, V.Bag languages, concurrency, Horn logic programs, and linear logic. In: \u201cProceedings of the Sixth International Conference on Software Engineering and Knowledge Engineering SEKE\u201994, June 21\u201323 1994, Jurmala, Latvia\u201d, IEEE Computer Society and Knowledge Systems Institute, Skokie, IL. 1994, pp. 289\u2013297."},{"key":"BF02390522_CR12","volume-title":"Program derivation. The development of programs from specifications","author":"G. Dromey","year":"1989","unstructured":"Dromey, G.Program derivation. The development of programs from specifications. Addison-Wesley, Sydney, 1989."},{"key":"BF02390522_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3837-7","volume-title":"A logical approach to discrele math","author":"D Gries","year":"1993","unstructured":"Gries, D and Schneider, F. B.A logical approach to discrele math. Springer-Verlag, N.Y., 1993."},{"key":"BF02390522_CR14","volume-title":"The art of computer programming. Seminumerical algorithms","author":"D. Knuth","year":"1969","unstructured":"Knuth, D.The art of computer programming. Seminumerical algorithms. Addison-Wesley, Rading, MA, 1969."},{"issue":"1","key":"BF02390522_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0022-0000(76)80047-5","volume":"13","author":"J. L. Petersen","year":"1976","unstructured":"Petersen, J. L.,Computation sequence sets, Journal of Computer and System Sciences13 (1) (1976), pp. 1\u201324.","journal-title":"Journal of Computer and System Sciences"},{"key":"BF02390522_CR16","unstructured":"Peterson, J. L.,Petri net theory and the modeling of systems. Prentice-Hall, 1981."},{"key":"BF02390522_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-9575-1","volume-title":"Programming with sets; an introduction to SETL","author":"J. Schwartz","year":"1986","unstructured":"Schwartz, J.Programming with sets; an introduction to SETL. Springer-Verlag, N.Y., 1986."}],"container-title":["Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02390522.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02390522\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02390522","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T08:07:44Z","timestamp":1558080464000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02390522"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,3]]},"references-count":17,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,3]]}},"alternative-id":["BF02390522"],"URL":"https:\/\/doi.org\/10.1007\/bf02390522","relation":{},"ISSN":["1385-3139","1573-1340"],"issn-type":[{"value":"1385-3139","type":"print"},{"value":"1573-1340","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,3]]}}}