Symbolic computation system for dynamical application programming

A.Yu. Doroshenko, R.S. Shevchenko


The system of symbolical computation intended for embedding in the industrial applications with the purpose of maintenance to their flexibility and tenability on the varied requirements and a condition of functioning is described. The method of immersion of adjusted program systems in industrial complexes based on use of declarative means of programming at the description of interactions a program component with the environment is offered. The method allows considerably to reduce cost of development of the complex software and also to solve problems of the analysis and maintenance of reliability of a program code.


Dershowitz N., Jouannaud J.-P. Rewrite Systems // Handbook of Theoretical Computer Science. Vol. B: Formal Models and Semantics / Ed. J. van Leeuwen. – Boston: Elsevier and MIT Press, 1990. – P. 243—320.

АНАЛИТИК—74 / В.М. Глушков, Т.А. Гринченко, А.А. Дородницына и др. // Кибернетика. – 1978. – № 5. – С. 114—147.

Капитонова Ю.В., Летичевский А.А. Методы и средства алгебраического программирования // Кибернетика и системный анализ. – 1993. – № 3. – C. 7—12.

Parallel Symbolic Simulation Using the Algebraic Programming System / A.A. Letichevsky, J.V. Kapitonova, A.E. Doroshenko, V.A. Volkov // Algebraic Engineering: Proc. Intern. Conf. on Semigroups and Algebraic Engineering. – Singapore: World Scientific, 1999. – P. 350—360.

Refal-5: Programming Guide and Reference Manual. – Holyoke MA: New England Publishing Co., 1989. – 342 p.

Semantics of Constraint Logic Programs / J. Jaffar, M.J. Maher, K.G. Marriott, P.J. Stuckey // J. of Logic Programming, – 1998. – 37. – P. 1—46.

Milner R. Communicating and Mobile Systems: the π-calculus. – Cambridge: University Press, 1999. – May. – 174 p.

Winkler T. Programming in OBJ and Maude // Functional Programming, Concurrency, Simulation and Automated Reasoning / Ed. P. Lauer. – LNCS. – 1993. – 693. – P. 229—277.

Visser E. Stratego: A language for program transformation based on rewriting strategies. System description of Stratego 0.5 // Rewriting Techniques and Applications (RTA'01) / Ed. A. Middeldorp, Ibid. – 2001. – 2051. – P. 357—361.


  • There are currently no refbacks.