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
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
|