|
Theory of computing
C language extension to support procedural-parametric polymorphism
A. I. Legalov, P. V. Kosov Higher school of Economics, National research University, 20, Myasnitskaya str., Moscow 101000, Russia
Abstract:
Software development is often about expanding functionality. To improve reliability in this case, it is necessary to minimize the change in previously written code. For instrumental support of the evolutionary development of programs, a procedural-parametric programming paradigm was proposed, which made it possible to increase the capabilities of the procedural approach. This allows to extend both data and functions painlessly. The paper considers the inclusion of procedural-parametric programming in the C language. Additional syntactic constructions are proposed to support the proposed approach. These constructions include: parametric generalizations, specializations of generalizations, generalizing functions, specialization handlers. Their semantics, possibilities and features of technical implementation are described. To check the possibilities of using this approach, models of procedural-parametric constructions in the C programming language were built. The example in the article demonstrates the flexible extension of the program and support of multiple polymorphism.
Keywords:
programming languages, compilation, procedural-parametric programming, polymorphism, multiple polymorphism, evolutionary software development.
Received: 10.11.2022 Revised: 03.02.2023 Accepted: 08.02.2023
Citation:
A. I. Legalov, P. V. Kosov, “C language extension to support procedural-parametric polymorphism”, Model. Anal. Inform. Sist., 30:1 (2023), 40–62
Linking options:
https://www.mathnet.ru/eng/mais790 https://www.mathnet.ru/eng/mais/v30/i1/p40
|
|