Algebraic programming in the APS system

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Algebraic programming in the APS system

Full text

Pdf (795 KB)

Source

International Conference on Symbolic and Algebraic Computation archive
Proceedings of the international symposium on Symbolic and algebraic computation table of contents

Tokyo, Japan

Pages: 68 - 75

Year of Publication: 1990

ISBN:0-201-54892-5

Authors

A. A. Letichevsky	Glushkov Inst. of Cybernetics Ukrainian Acad. of Sci., Kiev, USSR
J. V. Kapitonova	Glushkov Inst. of Cybernetics Ukrainian Acad. of Sci., Kiev, USSR

Sponsor

SIGSAM: ACM Special Interest Group on Symbolic and Algebraic Manipulation

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 4, Citation Count: 3

Additional Information:

references cited by index terms collaborative colleagues peer to peer

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/96877.96896 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Huet G.~ Oppen D.C. Equations and rewrite rules: m survey. In: Formal 1 anguage theory - N. -Y., Acad. Press, 1987, p. 549-406
	2	Rewriting techniques and applications. Journal of symbolic and algebraic computations~vol.5,W1-2 (special issue), Acad. Press, 1987.
	3	Rewriting techniques and applications. LNCS, vol .256, Springer 1987.
	4	M. J. O'Donnell, Term-rewriting implementation of equational logic programming, on Rewriting techniques and applications, p.1-12, May 1987, Bordeaux, France
	5	A.Bondorf, Towards a self-applicable partial evaluator for term rewriting systems. In: Bdorner D., Ershov A.P. Jons eds. patti al evalumtors and mixed computation~ Proc. of the IFIP TC-~=WS North-Hoi Iand, 1986.
	6	D.de Grout, G. Lindstrom, eds. Logic programming: functions, relations and equations~ Englewood, Clif.~ 1986.
	7	A. A. Leti chevsky, J.V. Kapitonovm, S.V. Kanozenko, Algebraic programming system APS-1. In: O.M.Tammepuu~ Informatics'~89, Proc. of the Soviet-Franch symp. Tallin, 1989~ p.46-55.
	8	A. A. Stogny., T.A. 8ri nchenko, MIR computers and the ways of developing computer intellect. Cybernetics, n.6, I987, 72-80.
	9	j. V. Kapi tonova, A.A. Leti chevsky, Mathemat i cml theory of computational systems design (in Russian)~ Moscow, Science 1988.
	10	J. V. Kapi tonova, A.A. Letichevsky, On constructive mathematical descriptions of subject domains, Cybernetics n.5, 1988.
	11	A.A. Leti chevsky, Mixed computations and optimization of programs (in Russian), Programming n.l, 1990, p.69-76.

CITED BY 3

	A. A. Letichevskii , V. V. Khomenko, A Rewriting Machine and Optimization of Strategies of Term Rewriting, Cybernetics and Systems Analysis, v.38 n.5, p.637-649, September-October 2002
	A. A. Letichevsky , J. V. Kapitonova , S. V. Konozenko, Algebraic programs optimization, Proceedings of the 1991 international symposium on Symbolic and algebraic computation, p.370-376, July 15-17, 1991, Bonn, West Germany
	A. B. Godlevsky , A. E. Doroshenko, Parallelizing programs with APs, Proceedings of the 1993 international symposium on Symbolic and algebraic computation, p.55-62, July 06-08, 1993, Kiev, Ukraine