1. [Abramov 82] S. M. Abramov and N. V. Kondratjev. A Compiler Based on Partial Evaluation. InProblems of Applied Mathematics and Software Systems, pages 66–69, Moscow State University, Moscow, USSR, 1982. (in Russian). The principles of a Refal optimizing compiler design based on mixed computation methods are discussed. The configuration analysis module which realizes mixed computation of a Refal program and checks for infinite looping of the partial evaluator (i. e., the neighbourhood analysis) is described in detail.
2. [Abramov 84] S. M. Abramov. Using Neighbourhood Analysis for Software Testing. InVarious Aspects of Systems Programming, pages 125–129, Moscow State Univ. Publ. House, USSR, 1984. (in Russian). A method for software testing based on the use of the neighbourhood analyzer vicon is described. The neighbourhood analyzer is in essence a kind of monovariant partial evaluator which does metacomputation of the given program on fully undefined data and usual computation on fully defined data.
3. [Ambriola 85] V. Ambriola, et al. Symbolic Semantics and Program Reduction.IEEE Transactions on Software Engineering, SE-11(8): 784–794, August 1985. A class of symbolic constants is introduced to represent subsets of recursively defined data domains. The data type operations are extended to cope with symbolic constants, thus obtaining an intensional calculus for sets. The ideas and results are exploited in a system for symbolic evaluation of functional programs.
4. [Babich 72a] G. Kh. Babich. DecAS—A Programming System for Simulation of Incomplete Information Processes. InComputer Automation of Research, pages 41–45, Computing Center, Novosibirsk, USSR, 1972. (in Russian). The design principles of the DecAS programming language are briefly described.
5. [Babich 72b] G. Kh. Babich and A. G. Arkadjev. Syntax and Interpretation Algorithms for DecAS Algorithmic Language Primitives.VNIKI “Tsvetmetavtomatika” Woks, (4):97–108, 1972. (in Russian). The set of DecAS programming language primitives and the interpretation algorithms in the programming system which implements this language are described.