Computations in APS. An algebraic programming system (APS) integrates four main paradigms of computations: procedural, functional, algebraic (rewriting rules) and logical. All of them may be used in different combinations at different levels of implementation. Formal models used in the developing computational techniques for APS are presented and discussed. These include data structures, algebraic modules, rewriting and computing, canonical forms, tools for building strategies and data types.

This software is also peer reviewed by journal TOMS.

References in zbMATH (referenced in 29 articles )

Showing results 1 to 20 of 29.
Sorted by year (citations)

1 2 next

  1. Lvov, M. S.; Peschanenko, V. S.: Trapezoid method for solving systems of linear inequalities and its implementation in insertion modeling (2012)
  2. Andon, P. I.; Doroshenko, A. Yu.; Zhereb, K. A.: Programming high-performance parallel computations: formal models and graphics processing units (2011) ioport
  3. Kolchin, A. V.: An automatic method for the dynamic construction of abstractions of states of a formal model (2010)
  4. Letichevsky, A. A.; German, V. N.; Morokhovets, M. K.; Shchogoleva, N. N.: Parallel inference search in logical calculus based on the algebraic programming system (2010)
  5. Goncharov, S. V.; Rudich, A. Ye.: Translation of algebraic programs into executable codes (2005)
  6. Letichevsky, A. Ad.; Kapitonova, Yu. V.; Volkov, V. A.; Letichevsky, A. A.; Baranov, S. N.; Kotlyarov, V. P.; Weigert, T.: Systems specification by basic protocols (2005)
  7. Letichevskij, A. A.; Khomenko, V. V.: A rewriting machine and optimization of strategies of term rewriting (2002)
  8. Tseitlin, G. E.; Amons, A. A.; Golovin, O. V.; Zubtsov, A. Yu.: Integrated tools for design and synthesis of classes of algorithms and programs (2000)
  9. Degtyarev, A. I.; Kapitonova, Yu. V.; Letichevskii, A. A.; Lyaletski, A. V.; Morokhovets, M. K.: The evidence algorithm and problems of representation and processing of mathematical computer knowledge (1999)
  10. Letichevsky, A. A.; Kapitonova, J. V.; Volkov, V. A.; Chugayenko, A.; Khomenko, V.; Gilbert, D. R.: The development of interactive algorithms for the mathematical environment (1999)
  11. Matveeva, L. E.; Chugaenko, A. V.: Tools for simulation of parallel computations in a system of algebraic programming (1999)
  12. Vinnichuk, I. P.: Algebra of algorithmics and design of systems for synthesis of multimedia applications in the windows environment (1999)
  13. Kapitonova, Yu. V.; Letichevskij, A. A.: Theorem proving in a mathematical information environment (1998)
  14. Letichevskij, A. A.: The development of a partial evaluator for extended lambda calculus (1997)
  15. Letichevskij, A. A.; Denisenko, P. N.; Bilenko, V. I.; Volkov, V. A.: Implementation of numerical-analytical approximation methods for functions defined by ordinary differential equations (1997)
  16. Letichevskij, A. A.; Marinchenko, V. G.: Objects in algebraic programming system (1997)
  17. Godlevskij, A. B.: Parallel dynamic semantics of sequential programs with speculative and incremental computation (1996)
  18. Val’kevich, T. A.; Kapitonova, Yu. V.; Letichevskij, A. A.; Mishchenko, N. M.: Paradigm of software component dictionaries for software development (1996)
  19. Grebnev, V. A.; Kapitonova, Yu. V.; Letichevskij, A. A.: Hardware simulation in distributed computing systems: Methods and tools (1995)
  20. Letichevskij, A. A.: Parallelization of the Buchberger algorithm (1995)

1 2 next