Algebraic programming: Methods and tools

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