Standard

Technological Means for Automatic Programs Construction in LuNA System. / Malyshkin, Victor; Perepelkin, Vladislav; Parfenov, Denis et al.

Parallel Computing Technologies. ed. / Victor Malyshkin. Springer, 2026. p. 105-123 8 (Lecture Notes in Computer Science; Vol. 16185).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

Harvard

Malyshkin, V, Perepelkin, V, Parfenov, D, Sinyukov, V, Spirin, V, Ivanchenko, D & Nushtaev, Y 2026, Technological Means for Automatic Programs Construction in LuNA System. in V Malyshkin (ed.), Parallel Computing Technologies., 8, Lecture Notes in Computer Science, vol. 16185, Springer, pp. 105-123, 18th International Conference on Parallel Computing Technologies, Almaty, Kazakhstan, 06.10.2025. https://doi.org/10.1007/978-3-032-06751-7_8

APA

Malyshkin, V., Perepelkin, V., Parfenov, D., Sinyukov, V., Spirin, V., Ivanchenko, D., & Nushtaev, Y. (2026). Technological Means for Automatic Programs Construction in LuNA System. In V. Malyshkin (Ed.), Parallel Computing Technologies (pp. 105-123). [8] (Lecture Notes in Computer Science; Vol. 16185). Springer. https://doi.org/10.1007/978-3-032-06751-7_8

Vancouver

Malyshkin V, Perepelkin V, Parfenov D, Sinyukov V, Spirin V, Ivanchenko D et al. Technological Means for Automatic Programs Construction in LuNA System. In Malyshkin V, editor, Parallel Computing Technologies. Springer. 2026. p. 105-123. 8. (Lecture Notes in Computer Science). Epub 2025 Oct 1. doi: 10.1007/978-3-032-06751-7_8

Author

Malyshkin, Victor ; Perepelkin, Vladislav ; Parfenov, Denis et al. / Technological Means for Automatic Programs Construction in LuNA System. Parallel Computing Technologies. editor / Victor Malyshkin. Springer, 2026. pp. 105-123 (Lecture Notes in Computer Science).

BibTeX

@inproceedings{3aad7d06a9d5491ca86de35c929d029c,
title = "Technological Means for Automatic Programs Construction in LuNA System",
abstract = "Automation of high-performance programs construction is a relevant and challenging problem. Automatic construction of programs that are suitable (e.g. efficient-enough) for practical use within reasonable time critically depends on peculiarities of the target subject domain. Because of this dependency general approaches fail, explaining the diversity of languages, systems and tools developed for automating program construction in specific subject domains. To overcome these limitations, the active knowledge concept, a methodology for automatic program synthesis, proposes employing an active knowledge base—a machine-oriented formal description of a subject domain that captures its peculiarities. Using an active knowledge base significantly reduces the complexity of program construction automation while improving the quality of the resulting programs. Implementation of the active knowledge concept ideas in practice raises a number of technological issues. In the paper we present how we resolve them within the framework of the LuNA system for automatic program construction, which is based on the active knowledge concept.",
author = "Victor Malyshkin and Vladislav Perepelkin and Denis Parfenov and Valeriy Sinyukov and Vitaly Spirin and Danila Ivanchenko and Yuri Nushtaev",
note = "This work was carried out under state contract with ICMMG SB RAS FWNM-2025- 0005.; 18th International Conference on Parallel Computing Technologies, PaCT 2025 ; Conference date: 06-10-2025 Through 10-10-2025",
year = "2025",
month = oct,
day = "1",
doi = "10.1007/978-3-032-06751-7_8",
language = "English",
isbn = "978-3-032-06750-0",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "105--123",
editor = "Victor Malyshkin",
booktitle = "Parallel Computing Technologies",
address = "United States",
url = "https://ssd.sscc.ru/conference/pact2025/",

}

RIS

TY - GEN

T1 - Technological Means for Automatic Programs Construction in LuNA System

AU - Malyshkin, Victor

AU - Perepelkin, Vladislav

AU - Parfenov, Denis

AU - Sinyukov, Valeriy

AU - Spirin, Vitaly

AU - Ivanchenko, Danila

AU - Nushtaev, Yuri

N1 - Conference code: 18

PY - 2025/10/1

Y1 - 2025/10/1

N2 - Automation of high-performance programs construction is a relevant and challenging problem. Automatic construction of programs that are suitable (e.g. efficient-enough) for practical use within reasonable time critically depends on peculiarities of the target subject domain. Because of this dependency general approaches fail, explaining the diversity of languages, systems and tools developed for automating program construction in specific subject domains. To overcome these limitations, the active knowledge concept, a methodology for automatic program synthesis, proposes employing an active knowledge base—a machine-oriented formal description of a subject domain that captures its peculiarities. Using an active knowledge base significantly reduces the complexity of program construction automation while improving the quality of the resulting programs. Implementation of the active knowledge concept ideas in practice raises a number of technological issues. In the paper we present how we resolve them within the framework of the LuNA system for automatic program construction, which is based on the active knowledge concept.

AB - Automation of high-performance programs construction is a relevant and challenging problem. Automatic construction of programs that are suitable (e.g. efficient-enough) for practical use within reasonable time critically depends on peculiarities of the target subject domain. Because of this dependency general approaches fail, explaining the diversity of languages, systems and tools developed for automating program construction in specific subject domains. To overcome these limitations, the active knowledge concept, a methodology for automatic program synthesis, proposes employing an active knowledge base—a machine-oriented formal description of a subject domain that captures its peculiarities. Using an active knowledge base significantly reduces the complexity of program construction automation while improving the quality of the resulting programs. Implementation of the active knowledge concept ideas in practice raises a number of technological issues. In the paper we present how we resolve them within the framework of the LuNA system for automatic program construction, which is based on the active knowledge concept.

UR - https://www.scopus.com/pages/publications/105019533486

UR - https://www.mendeley.com/catalogue/793ea80f-bc4c-3b6b-9f3d-a7f3da45a656/

U2 - 10.1007/978-3-032-06751-7_8

DO - 10.1007/978-3-032-06751-7_8

M3 - Conference contribution

SN - 978-3-032-06750-0

T3 - Lecture Notes in Computer Science

SP - 105

EP - 123

BT - Parallel Computing Technologies

A2 - Malyshkin, Victor

PB - Springer

T2 - 18th International Conference on Parallel Computing Technologies

Y2 - 6 October 2025 through 10 October 2025

ER -

ID: 71479425