Advertisement

CTS — Algebraic debugging system for reduce programs

  • A. P. Kryukov
  • A.Ya. Rodionov
Applications And Systems
Part of the Lecture Notes in Computer Science book series (LNCS, volume 378)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Hearn A.C. REDUCE-2 User' Manual, UCP 19. 1973, Univ. of Utah, USA.Google Scholar
  2. 2.
    Edneral V.F.,Kryukov A.P., Rodionov A.Ya. Symbolic calculation language REDUCE (in russian), Moscow, MSU, part 1 — 1983, part 2 — 1986.Google Scholar
  3. 3.
    Bogolubskaya A.A., Zhidkova I.E. and Rostovtsev V.A. REDUCE-2 programming system. JINR 1-11-83-5/2, 1983, Dubna.Google Scholar
  4. 4.
    Hearn A.C. REDUCE User's Manual. Version 3.3, The Rand publication CP78 (Rev. 7/87), 1987, USA.Google Scholar
  5. 5.
    Marti J.B., Hearn A.C. REDUCE as a LISP Benchmark. SIGSAM Bull., 1985, v. 19, no.3, pp.8–16.Google Scholar
  6. 6.
    Petrov P.M. Realization of REDUCE-2 on small computers. Proc. of the Workshop on systems and methods of computer-aided analitic calculations and its applications in theoretical physics. D11-83-511, 1983, pp.64–69, Dubna.Google Scholar
  7. 7.
    Butenko V.A., Kryukov A.P., Rodionov A.Ya. Authomatic loading of procedures in the REDUCE system. Programming, 1985, no.4, pp.89–92.Google Scholar
  8. 8.
    Hearn A.C. User's library formed. REDUCE News Letter, 1985, no.10, pp.3–4.Google Scholar
  9. 9.
    Bogolubskaya A.A., Gerdt V.P. and Tarasov O.V. Package loading of the SCHOONSCHIP and REDUCE systems. Proc. of the Workshop on systems and methods of computer-aided analitic calculations and its applications in theoretical physics. D11-85-791, 1985, pp.82–89, Dubna.Google Scholar
  10. 10.
    Marti J.B., et al. Standard LISP report. SIGPLAN Notices, 1979, v.14, no.10, pp.48–68.Google Scholar
  11. 11.
    Kryukov A.P., Rodionov A.Ya. Dynamic debugging system for REDUCE programs. SIGSAM Bull., 1985, v.19, no.2, pp.34–37.Google Scholar
  12. 12.
    Kryukov A.P., Rodionov A.Ya. Interactive REDUCE. SIGSAM Bull., 1985, v.19, no.3, pp.43–45.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • A. P. Kryukov
    • 1
  • A.Ya. Rodionov
    • 1
  1. 1.Institute for Nuclear PhysicsMoscow State UniversityMoscowUSSR

Personalised recommendations