{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T10:08:39Z","timestamp":1759226919011,"version":"3.41.0"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319255262"},{"type":"electronic","value":"9783319255279"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-25527-9_19","type":"book-chapter","created":{"date-parts":[[2015,10,7]],"date-time":"2015-10-07T11:08:43Z","timestamp":1444216123000},"page":"292-303","source":"Crossref","is-referenced-by-count":8,"title":["Active Knowledge, LuNA and Literacy for Oncoming Centuries"],"prefix":"10.1007","author":[{"given":"Victor","family":"Malyshkin","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,20]]},"reference":[{"issue":"2","key":"19_CR1","first-page":"337","volume":"3","author":"IB Zadykhailo","year":"1963","unstructured":"Zadykhailo, I.B.: Sostavlenie tsiklov po parametricheskim zapisyam spetsialnogo vida. Zhurnal vychislitelnoi mathematiki i mathematicheskoi physiki 3(2), 337\u2013357 (1963). (in Russian)","journal-title":"Zhurnal vychislitelnoi mathematiki i mathematicheskoi physiki"},{"key":"19_CR2","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1109\/TSE.1979.234198","volume":"SE\u20135","author":"Z Manna","year":"1979","unstructured":"Manna, Z., Waldinger, R.: Synthesis: dreams - $$>$$ programs. IEEE Trans. SE SE\u20135, 294\u2013398 (1979)","journal-title":"IEEE Trans. SE"},{"key":"19_CR3","unstructured":"Ershov, Y.L., Goncharov, S.S., Sviridenko, D.I.: Semantic programming. Information Processing: Proceedings of IFIP 10th World Computer Congress Series, vol. 10, Amsterdam, pp. 1113\u20131120 (1986)"},{"key":"19_CR4","series-title":"International Computer Science Series","volume-title":"Prolog","author":"F Giannesini","year":"1986","unstructured":"Giannesini, F., Kanoui, H., Pasero, R., Caneghem, M.: Prolog. International Computer Science Series. Addison-Wesley, Wokingham (1986)"},{"key":"19_CR5","volume-title":"Logical Foundation of Artificial Intelligence","author":"MR Genesereth","year":"1987","unstructured":"Genesereth, M.R., Nilsson, N.J.: Logical Foundation of Artificial Intelligence. Morgan Kaufmann, Los Altos (1987)"},{"key":"19_CR6","unstructured":"Valkovskii, V.A., Malyshkin, V.E.: Synthesis of Parallel Programs and Systems on the Basis of Computational Models, Nauka, Novosibirsk, p. 128 (1988). (in Russian, Sintez parallelnykh programm i sistem na vychislitelnykh modelyakh)"},{"issue":"2","key":"19_CR7","first-page":"10","volume":"17","author":"AN Andrianov","year":"1992","unstructured":"Andrianov, A.N., Efimkin, K.N., Zadykhailo, I.B.: Nonprocedural language for mathematical physics. Program. Comput. Softw. 17(2), 10\u201322 (1992)","journal-title":"Program. Comput. Softw."},{"key":"19_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1007\/3-540-45545-0_59","volume-title":"Computational Science - ICCS 2001","author":"AN Andrianov","year":"2001","unstructured":"Andrianov, A.N., Efimkin, K.N., Levashov, V.Y., Shishkova, I.N.: The NORMA language application to solution of strong nonequilibrium transfer processes problem with condensation of mixtures on the multiprocessor system. In: Dongarra, J., Alexandrov, V.N., Tan, C.J.K., Juliano, B.A., Renner, R.S. (eds.) ICCS-ComputSci 2001. LNCS, vol. 2073, pp. 502\u2013510. Springer, Heidelberg (2001)"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Malyshkin, V.: Assembling of parallel programs for large scale numerical modeling. In: Handbook of Research on Scalable Computing Technologies, Chap. 13, pp. 295\u2013311. IGI Global, USA (2010)","DOI":"10.4018\/978-1-60566-661-7.ch013"},{"issue":"6","key":"19_CR10","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1016\/S0167-739X(00)00058-3","volume":"17","author":"MA Kraeva","year":"2001","unstructured":"Kraeva, M.A., Malyshkin, V.E.: Assembly technology for parallel realization of numerical models on MIMD-multicomputers. Future Gener. Comput. Syst. Elsevier Sci. 17(6), 755\u2013765 (2001)","journal-title":"Future Gener. Comput. Syst. Elsevier Sci."},{"issue":"2","key":"19_CR11","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s11227-010-0385-3","volume":"57","author":"S Kireev","year":"2011","unstructured":"Kireev, S., Malyshkin, V.: Fragmentation of numerical algorithms for parallel subroutines library. J. Supercomputing 57(2), 161\u2013171 (2011)","journal-title":"J. Supercomputing"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Bosilca, G., Bouteiller, A., Danalis, A., Faverge, M., Haidar, A., Herault, T., Kurzak, J., Langou, J., Lemarinier, P., Ltaeif, H., Luszczek, P., YarKhan, A., Dongarra, J.: Flexible development of dense linear algebra algorithms on massively parallel architectures with DPLASMA. In: Proceedings of the Workshops of the 25th IEEE International Symposium on Parallel and Distributed Processing, Anchorage, Alaska, USA, pp. 1432\u20131441. IEEE (2011)","DOI":"10.1109\/IPDPS.2011.299"},{"key":"19_CR13","unstructured":"Malyshkin, V.: How to create the magic wand. Currently implementable formulation of the problem. In: The Proceedings of the 5-th SoMeT International Conference on New Trends in Software Methodologies, Tools and Techniques, vol. 147, pp. 127\u2013132. IOS Press, Quebec, 28\u201330 September 2006"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Malyshkin, V.: Two approaches to program synthesis or implementation of partially defined theories. In: Proceedings of the 11th International Conference on New Trends in Software Methodologies, Tools and Techniques, vol. 246, pp. 285\u2013291. IOS Press, USA (2012)","DOI":"10.3233\/978-1-61499-125-0-285"},{"issue":"1","key":"19_CR15","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s11227-014-1216-8","volume":"69","author":"VE Malyshkin","year":"2014","unstructured":"Malyshkin, V.E., Perepelkin, V.A.: The PIC implementation in LuNA system of fragmented programming. J. Supercomputing 69(1), 89\u201397 (2014). Springer","journal-title":"J. Supercomputing"},{"key":"19_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1007\/978-3-642-03275-2_40","volume-title":"Parallel Computing Technologies","author":"S Kireev","year":"2009","unstructured":"Kireev, S.: A parallel 3D code for simulation of self-gravitating gas-dust systems. In: Malyshkin, V. (ed.) PaCT 2009. LNCS, vol. 5698, pp. 406\u2013413. Springer, Heidelberg (2009)"},{"key":"19_CR17","volume-title":"Introduction to Metamathematics","author":"SC Kleene","year":"1952","unstructured":"Kleene, S.C.: Introduction to Metamathematics. Princeton University Press, Princeton (1952)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages with Applications to Biology and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25527-9_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T22:58:59Z","timestamp":1748645939000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25527-9_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319255262","9783319255279"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25527-9_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}