Skip to main content
SpringerLink
Log in

Algebraic programming: Methods and tools

  • Cybernetics
  • Published:
Cybernetics and Systems Analysis Aims and scope

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. G. Huet and D. C. Oppen, “Equations and rewrite rules: a survey,” in:Formal Language Theory, Academic Press, New York (1987), pp. 349–406.

    Google Scholar 

  2. Rewriting Techniques and Applications,J. Symbol. Algebr. Comput.,3, No. 1–2 (special issue) (1987).

  3. Rewriting Techniques and Applications, Lect. Notes Comput. Sci., Vol. 256, Springer, Berlin (1987).

    Google Scholar 

  4. M. J. O'Donnell, “Term rewriting implementation of equational logic programming,” in:Rewriting Techniques and Applications, Lect. Notes Comput Sci., Vol. 256, 1–12 (1987).

    Google Scholar 

  5. A. Bondorf, “Towards a self-applicable partial evaluation for term rewriting systems,” in:Partial Evaluators and Mixed Computation, D. Bjorner and A. P. Ershov (eds.), Proc. IFIP TC-2 WS, North-Holland, Amsterdam (1986).

    Google Scholar 

  6. K. Futatsugi, J. Goguen, J.-P. Jouannaud, et al., “Principles of OBJ2,”12th Ann. Symp. on Principles of Programming Languages, SIGPLAN and SIGACT (1985), pp. 52–66.

  7. D. de Groot and G. Lindstrom (eds.),Logic Programming: Functions, Relations, and Equations, Prentice-Hall, Englewood Cliffs, NJ (1986).

    Google Scholar 

  8. Object Oriented Programming, Programmirovanie, No. 6 (special issue) (1990).

  9. Yu. V. Kapitonova, “Design of Application Software Systems,”Mekh. Avtomat. Upravl., No. 5, 4–12 (1991).

    Google Scholar 

  10. A. A. Stognii and T. A. Grinchenko, “MIR computers and development of machine intelligence,”Kibernetika, No. 6, 72–80 (1987).

    Google Scholar 

  11. Yu. V. Kapitonova and A. A. Letichevskii,Mathematical Theory of Computer System Design [in Russian], Nauka, Moscow (1988).

    Google Scholar 

  12. A. Letichevsky, J. V. Kapitonova, and S. V. Konozenko, “Algebraic programming system APS-1,”Informatics '89, Proc. Soviet-French Symp., Tallin (1989), pp. 46–53.

  13. A. A. Letichevsky, J. V. Kapitonova, and S. V. Konozenko, “Algebraic programming in APS system,”Proc. ISSAC '90, Tokyo, Japan, Aug. 20–24, 1990, ACM, New York (1990), pp. 68–75.

    Google Scholar 

  14. A. A. Letichevsky, J. V. Kapitonova, and S. V. Konozenko, “Computations in APS,”Preprints of Franco-Soviet Symp. Informatica '91, Le Chesney, France, 1991, INRIA (1991), pp. 133–153.

  15. A. A. Letichevsky, J. V. Kapitonova, and S. V. Konozenko, “Optimization of algebraic programs,”Proc. ISSAC '91, ACM, New York (1991), pp. 370–376.

    Google Scholar 

  16. A. A. Letichevsky, J. V. Kapitonova, and S. V. Konozenko, “Computations in APS,”Theor. Comput. Sci.,11, No. 2 (1993).

    Google Scholar 

  17. N. V. Soboleva,Support Tools for Processing of Mathematical Information [in Russian], Thesis, Kiev (1992).

  18. Yu. V. Kapitonova and A. A. Letichevskii, “Constructive mathematical descriptions of application domains,”Kibernetika, No. 4, 17–25 (1988).

    Google Scholar 

Download references

Authors
  1. Yu. V. Kapitonova
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. A. Letichevskii
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Translated from Kibernetika i Sistemnyi Analiz, No. 3, pp. 7–12, May–June, 1993.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kapitonova, Y.V., Letichevskii, A.A. Algebraic programming: Methods and tools. Cybern Syst Anal 29, 307–312 (1993). https://doi.org/10.1007/BF01125535

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01125535

Keywords

Search

Navigation