H ? « ‹ ← → › »

Language peer sets for APLAN:
Designed 1993 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

APLAN(ID:5433/apl009)

alternate simple view
Designed 1993

for Algebraic Programming Language
Related languages
APS → APLAN   Subsystem
References:
  • EFFICIENT PARALLEL COMPUTATION USING REWRITING LOG (1988) EFFICIENT PARALLEL COMPUTATION USING REWRITING LOGIC AND ALGEBRAIC PROGRAMMING Joint research project of SRI International (USA) and the Glushkov Institute of Cybernetics (Ukraine) under the Cooperative Grants Program "U.S. Civilian Research and Development Foundation for the Independent States of the FSU (CRDF)" Abstract
  • Letichevsky, A. (1989) Letichevsky, A. A.; Kapitonova, V. and S. V. Konozenko. Algebraic programming system APS-1. In O. M. Tammepuu, editor, INFORMAT- ICS '89, Proc. of the Soviet.Franch Symp., pages 46-52, Tallinn, May 1989. Institute of Cybernetics, Estonian Acad. of Sciences.
  • Kapitonova J.V., Letichevsky A.A. Konozenko S.V. (1990) Kapitonova J.V., Letichevsky A.A. Konozenko S.V. "Algebraic Programming in APS system"
          in [ISSAC] (1990) Proceedings of the International Conference on Symbolic and Algebraic Computation (ISSAC`90), August 20-24 1990, Tokyo, Japan, ACM Press, New York,
  • Kapitonova J.V., Letichevsky A.A. Konozenko S.V. (1991) Kapitonova J.V., Letichevsky A.A. Konozenko S.V. "Algebraic Programs Optimization"
          in Proceedings of the International Conference on Sym (1991) Proceedings of the International Conference on Symbolic and Algebraic Computation (ISSAC`91), Jul. 15-17, 1991, Bonn, Germany, ASM Press, 1991, New-York
  • Kapitonova J.V., Letichevsky A.A. (1993) Kapitonova J.V., Letichevsky A.A. Konozenko S.V. Compuations in APS, Theoretical Computer Science, 119 (1993) p. 145-171.
          in Proceedings of the International Conference on Sym (1991) Proceedings of the International Conference on Symbolic and Algebraic Computation (ISSAC`91), Jul. 15-17, 1991, Bonn, Germany, ASM Press, 1991, New-York
  • Kapitonova, Y.V. (1993) Kapitonova, Y.V. ; A.A.Letichevsky, M.S. L'vov, V.A.Volkov, Tools for solving problems in the scope of algebraic programming, Lect. Notes in Comput. Sci., vol. 958, 1955, pp. 31-46.
          in Proceedings of the International Conference on Sym (1991) Proceedings of the International Conference on Symbolic and Algebraic Computation (ISSAC`91), Jul. 15-17, 1991, Bonn, Germany, ASM Press, 1991, New-York
  • Letichevsky A.A. (1993) Letichevsky A.A. Development of Rewriting Strategies, Lecture Notes in Computer Science, Springer-Verlag, vol. 714, 1993, pp. 378-391.
          in Proceedings of the International Conference on Sym (1991) Proceedings of the International Conference on Symbolic and Algebraic Computation (ISSAC`91), Jul. 15-17, 1991, Bonn, Germany, ASM Press, 1991, New-York
  • Letichevskii, A. A. and Khomenko, V. V. (2002) Letichevskii, A. A. and Khomenko, V. V. "A Rewriting Machine and Optimization of Strategies of Term Rewriting" Cybernetics and Systems Analysis 38 (5): 637-649, September - October, 2002 Abstract DOI
          in Proceedings of the International Conference on Sym (1991) Proceedings of the International Conference on Symbolic and Algebraic Computation (ISSAC`91), Jul. 15-17, 1991, Bonn, Germany, ASM Press, 1991, New-York
  • S. N. Baranov, V. A. Volkov, A. B. Godlevskii, Yu. (2003) S. N. Baranov, V. A. Volkov, A. B. Godlevskii, Yu. V. Kapitonova, A. A. Letichevsky "Verification of Software Requirements on Program Systems Represented by Attribute Transition Systems" Cybernetics and Systems Analysis 39 (6): 783-789, November - December, 2003 Abstract DOI
          in Proceedings of the International Conference on Sym (1991) Proceedings of the International Conference on Symbolic and Algebraic Computation (ISSAC`91), Jul. 15-17, 1991, Bonn, Germany, ASM Press, 1991, New-York
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder