{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T07:16:20Z","timestamp":1726038980649},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030256357"},{"type":"electronic","value":"9783030256364"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[[2019]]},"DOI":"10.1007\/978-3-030-25636-4_3","type":"book-chapter","created":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T00:04:09Z","timestamp":1564617849000},"page":"18-31","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Objects of Alternative Set Theory in Set@l Programming Language"],"prefix":"10.1007","author":[{"given":"Ilya I.","family":"Levin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexey I.","family":"Dordopulo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivan V.","family":"Pisarenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrey K.","family":"Melnikov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,7,17]]},"reference":[{"issue":"1","key":"3_CR1","first-page":"71","volume":"10","author":"AI Legalov","year":"2005","unstructured":"Legalov, A.I.: Functional language for creation of architecture-independent parallel programs. Comput. Technol. 10(1), 71\u201389 (2005). (in Russian)","journal-title":"Comput. Technol."},{"key":"3_CR2","unstructured":"OpenCL: The open standard for parallel programming of heterogeneous systems. \n                      https:\/\/www.khronos.org\/opencl\/"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"46","DOI":"10.23683\/2311-3103-2018-3-46-58","volume":"3","author":"II Levin","year":"2018","unstructured":"Levin, I.I., Dordopulo, A.I., Pisarenko, I.V., Mel\u2019nikov, A.K.: Approach to architecture-independent programming of computer systems in aspect-oriented Set@l language. Izv. SFedU. Eng. Sci. 3, 46\u201358 (2018). \n                      https:\/\/doi.org\/10.23683\/2311-3103-2018-3-46-58\n                      \n                    . (in Russian)","journal-title":"Izv. SFedU. Eng. Sci."},{"key":"3_CR4","unstructured":"Levin, I.I., Dordopulo, A.I., Mel\u2019nikov, A.K., Pisarenko, I.V.: Aspect-oriented approach to architecture-independent programming of computer systems. In: Proceedings of the 5th All-Russia Conference on Supercomputer Technologies (SCT-2018), Izdatel\u2019stvo YUFU, Taganrog, vol. 1, pp. 181\u2013183 (2018). (in Russian)"},{"key":"3_CR5","volume-title":"Reconfigurable Multipipeline Computing Structures","author":"IA Kalyaev","year":"2012","unstructured":"Kalyaev, I.A., Levin, I.I., Semernikov, E.A., Shmoilov, V.I.: Reconfigurable Multipipeline Computing Structures. Nova Science Publishers, New York (2012)"},{"key":"3_CR6","volume-title":"Reconfigurable Computer Systems","author":"VF Guzik","year":"2016","unstructured":"Guzik, V.F., Kalyaev, I.A., Levin, I.I.: Reconfigurable Computer Systems. Izdatel\u2019stvo YUFU, Taganrog (2016). (in Russian)"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"39","DOI":"10.18522\/2311-3103-2016-11-39-54","volume":"11","author":"AI Dordopulo","year":"2016","unstructured":"Dordopulo, A.I., Levin, I.I., Kalyaev, I.A., Gudkov, V.A., Gulenok, A.A.: Programming of hybrid computer systems in the programming language COLAMO. Izv. SFedU. Eng. Sc. 11, 39\u201354 (2016). \n                      https:\/\/doi.org\/10.18522\/2311-3103-2016-11-39-54\n                      \n                    . (in Russian)","journal-title":"Izv. SFedU. Eng. Sc."},{"key":"3_CR8","unstructured":"Stroetmann, K., Herrmann, T.: SetlX \u2013 A Tutorial. Research Gate Website. \n                      https:\/\/www.researchgate.net\/publication\/236174821_SetlX_-_A_Tutorial\n                      \n                    . Accessed 21 Jan 2019"},{"key":"3_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3452-2","volume-title":"Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets","author":"D Cantone","year":"2001","unstructured":"Cantone, D., Omodeo, E., Policriti, A.: Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets. Springer-Verlag, New York (2001). \n                      https:\/\/doi.org\/10.1007\/978-1-4757-3452-2"},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-1-4471-4282-9_4","volume-title":"From Linear Operators to Computational Biology","author":"R Dewar","year":"2013","unstructured":"Dewar, R.: SETL and the evolution of programming. In: Davis, M., Schonberg, E. (eds.) From Linear Operators to Computational Biology, pp. 39\u201346. Springer, London (2013). \n                      https:\/\/doi.org\/10.1007\/978-1-4471-4282-9_4"},{"key":"3_CR11","unstructured":"Dessi, M.: Spring 2.5 Aspect-Oriented Programming. Packt Publishing Ltd., Birmingham (2009)"},{"issue":"9","key":"3_CR12","first-page":"22","volume":"4","author":"HA Kurdi","year":"2013","unstructured":"Kurdi, H.A.: Review on aspect oriented programming. Int. J. Adv. Comput. Sci. Appl. 4(9), 22\u201327 (2013)","journal-title":"Int. J. Adv. Comput. Sci. Appl."},{"issue":"3","key":"3_CR13","first-page":"166","volume":"126","author":"DYu Podorozhkin","year":"2011","unstructured":"Podorozhkin, D.Yu., Kogaj, A.R., Safonov, V.O.: Application of aspect-oriented programming methods for development of software systems. J. Comput. Sci. Telecommun. Control Syst. 126(3), 166\u2013171 (2011)","journal-title":"J. Comput. Sci. Telecommun. Control Syst."},{"key":"3_CR14","doi-asserted-by":"publisher","unstructured":"Rebelo, H., Leavens, G.T.: Aspect-oriented programming reloaded. In: Proceedings of the 21st Brazilian Symposium on Programming Languages, SBLP 2017 (2017). Art. no. 10. \n                      https:\/\/doi.org\/10.1145\/3125374","DOI":"10.1145\/3125374"},{"key":"3_CR15","volume-title":"Set Theory","author":"F Hausdorff","year":"2005","unstructured":"Hausdorff, F.: Set Theory. AMS Chelsea Publishing, Providence (2005)"},{"key":"3_CR16","volume-title":"Alternative Set Theory: A New Look At Infinity","author":"P Vopenka","year":"2004","unstructured":"Vopenka, P.: Alternative Set Theory: A New Look At Infinity. Izdatel\u2019stvo Instituta matematiki, Novosibirsk (2004). (in Russian)"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Holmes, M.R., Forster, T., Libert, T.: Alternative set theories. In: Gabbay, D.M., Kanamori, A., Woods, J. (eds.) Handbook of the History of Logic: Sets and Extensions in the Twentieth Century, vol. 6, pp. 559\u2013632. Elsevier (2012)","DOI":"10.1016\/B978-0-444-51621-3.50008-6"},{"key":"3_CR18","unstructured":"Gabrusenko, K.A.: Philosophical foundations of Georg Cantor and Petr Vopenka set theories. Tomsk State Univ. J. 339, 32\u201325 (2010). (in Russian)"},{"issue":"1","key":"3_CR19","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1080\/03081079108945019","volume":"20","author":"P Vopenka","year":"1991","unstructured":"Vopenka, P.: The philosophical foundations of alternative set theory. Int. J. Gen. Syst. 20(1), 115\u2013126 (1991)","journal-title":"Int. J. Gen. Syst."},{"key":"3_CR20","unstructured":"Bahvalov, N.S., ZHidkov, N.P., Kobel\u2019kov, G.M.: Numerical methods. BINOM. Laboratoriya znanij, Moscow (2017). (in Russian)"},{"key":"3_CR21","doi-asserted-by":"publisher","first-page":"9717","DOI":"10.1109\/ACCESS.2017.2705434","volume":"5","author":"A Ebrahimi","year":"2017","unstructured":"Ebrahimi, A., Zandsalimy, M.: Evaluation of FPGA hardware as a new approach for accelerating the numerical solution of CFD problems. IEEE Access 5, 9717\u20139727 (2017). \n                      https:\/\/doi.org\/10.1109\/ACCESS.2017.2705434","journal-title":"IEEE Access"},{"key":"3_CR22","unstructured":"Kalyaev, I.A, Levin, I.I., Semernikov, E.A., SHmojlov, V.I.: Reconfigurable Multipipeline Computing Structures, 2nd edn. Izdatel\u2019stvo YUNC RAN, Rostov-on-Don (2009). (in Russian)"}],"container-title":["Lecture Notes in Computer Science","Parallel Computing Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-25636-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,1]],"date-time":"2019-08-01T00:29:17Z","timestamp":1564619357000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-25636-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030256357","9783030256364"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-25636-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"17 July 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PaCT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Parallel Computing Technologies","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Almaty","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kazakhstan","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 August 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 August 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"pact2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/ssd.sscc.ru\/conference\/pact2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}