Computations in APS

@article{Letichevsky1993ComputationsIA,
  title={Computations in APS},
  author={Alexander A. Letichevsky and Julia V. Kapitonova and S. V. Konozenko},
  journal={Theor. Comput. Sci.},
  year={1993},
  volume={119},
  pages={145-171}
}
Algebraic programming system APS integrates four main paradigms of computations: procedural , functional, algebraic (rewriting rules) and logical. All of them may be used in diierent combinations on diierent levels of implementation. Formal models used in the developing computational techniques for APS are presented and discussed. It includes data structures, algebraic modules, rewriting and computing, canonical forms, tools for building strategies and data types. 

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 14 references

Algebraic Speciication

J A Bergstra, J Hearing, P Klint
Algebraic Speciication • 1989

Algebraic programming system APS-1

A A Letichevsky, J V Kapitonova, S V Konozenko
INFORMATICS '89, Proc. of the Soviet-Franch Symp., pages 46{52 Institute of Cybernetics, Estonian Acad. of Sciences • 1989

A System for Doing Mathematics by Computer

S Wolfram, Tm Mathematica
A System for Doing Mathematics by Computer • 1988

Proc. 1st Intern. Workshope on Conditional Term Rewriting Systems

J.-P Jouannaud, S Kaplan
Proc. 1st Intern. Workshope on Conditional Term Rewriting Systems • 1988

Mir series computers and ways of increasing the level of machine intelligence

A A Stogny, T A Grinchenko
Cybernetics (Translated from Russian) • 1987

Rewriting Techniques and Applications, volume 256 of LNCS

P Lescanne
Rewriting Techniques and Applications, volume 256 of LNCS • 1987

Similar Papers

Loading similar papers…