Main publications by V.Sh.Kaufman

  1. V.Sh.Kaufman. Programming language standardization principles.- Programming, 3, 1988, pp. 13-22. (in Russian).
  2. V.Sh.Kaufman. A Language Mapping Approach to Compiler Design.- Future of system and theoretic programming.-Novosibirsk. 1978. pp. 87-103. (in Russian).
  3. V.Sh.Kaufman. Compiler Design based on Language Mapping.- Programming, 5, 1978, p 36-44. (in Russian).
  4. V.Sh.Kaufman. Standardization and validation of compilers.- Aspects of System Programming, Moscow State Univ. 1984, pp 47-85. (in Russian).
  5. V.Sh.Kaufman. Semiformal models and compiler testing 4, 1989, pp 52-55. (in Russian).- New methods of design of problem-oriented programming systems.-Inst. Aut. and Contr. Procs., the Russian Academy of Sciences, Vladivostok, 1986, pp.50-61. (in Russian).
  6. V.Sh.Kaufman. On impossibility of full formalization of modern programming languages.- Programming. 4, 1989, pp 52-55. (in Russian).
  7. A.L.Alexandrov, L.P.Babenko, V.Sh.Kaufman, E.L.Justschenko. Programming language standardization problems.- USiM, 1983, #4.-pp.14-19, Kiev. (in Russian).
  8. A.L.Alexandrov, L.P.Babenko, V.Sh.Kaufman, E.L.Justschenko. Programming language standardization.- Kiev:Technika.-1989, 189 p. (in Russian).
  9. V.Sh.Kaufman, V.A.Levin. A Natural Approach to the Problem of Describing Context Conditions. - Vestnik Moskovskogo Universiteta, series "Computational mathematics and cybernetics", 2, 1977, 67-77. (in Russian). V.Sh.Kaufman, V.A.Levin. Report on the V-language (draft). Computational methods and programming. - Moscow State University, v.23, 1980, 79-95 (in Russian
  10. V.I.Gorjatchev, V.Sh.Kaufman, V.A.Levin.The Relation System for Static Allocation.- (ed.: L.N.Korolev) Proceedings of Conference "Applied Mathematics and Software", Moscow University, 1980. pp 90-92. (in Russian).
  11. E.O.Bunimova, V.Sh.Kaufman, V.A.Levin. The Relations, Defining Register Allocation.- (ed.: E.A.Grebennikov) Different Aspects of System Programming, Moscow University, 1981. pp 104-106. (in Russian).
  12. A.L.Alexandrov, V.Sh.Kaufman. A Formal Model of the Fortran Standard.- Preprint #144, Inst. Aut. and Contr. Procs., the Russian Academy of Sciences, Vladivostok, 1982. (in Russian).
  13. E.O.Bunimova, V.Sh.Kaufman, V.A.Levin. About Language Mapping Describing. (ed.: S.M.Abramovitch) Programming Technology, Rostov-on-Don University, 1983. pp 130-134. (in Russian).
  14. E.O.Bunimova, V.Sh.Kaufman, V.A.Levin. A Method of Step by Step Constructing of Lingual Relations.- Preprint #9(96), Inst. Aut. and Contr. Procs., the Russian Academy of Sciences, Vladivostok, 1983. pp. (in Russian).
  15. E.O.Bunimova, V.Sh.Kaufman, V.A.Levin. The Experience of Language Development.- Preprint #144, Inst. Appl. Mathem., the Russian Academy of Sciences, 'Moscow, 1984. 31 pp. (in Russian).
  16. V.Sh.Kaufman, S.I.Rybin. Method for standardizing translator diagnostics.- Programming and Computer Software. v.16, #4 (Juli-Aug 1990), pp 146-152.
  17. V.Sh.Kaufman, I.V.Rakovski. METATEST- a language for test set specification.-Programming.- #4 1988, pp 50-57. (in Russian).
  18. V.Sh.Kaufman. Specification and validation tools in programming language standardization. H. DR. Dissertation, Moscow University, 1990.
  19. V.Sh.Kaufman. Programming Languages: Concepts and Principles.- M(oscow): Radio and svjaz, pp. 432. (in Russian).
  20. Kaufman V., Kurki-Suonio R. Incremental Formal Modeling of Protected Records in Ada 9X. Tampere University of Technology Software Systems Laboratory, November 1992.
  21. Kaufman V. Pattern Calculus. Technical report 15, Computer Science Department of the Tampere University of Technology. May 1993.
  22. Kaufman V. Context-sensitive data refinement and provable optimized compilation. Technical report A94-155, Series A of the Computer Science Department of the Abo Akademi (Turku), October 1994.
  23. С.И.Рыбин, В.Ш.Кауфман. Методы и средства контроля языковых стандартов.- в сб. "Системная информатика", вып.3.- ВО "Наука", Новосибирск, 1993 г.

24.  А.Л.Александров, Н.П.Брусенцов, Ю.Ю.Галимов, В.Ш.Кауфман,  Н.Б.Лебедева, С.П.Маслов, Х.Рамиль Альварес. Базисный ФОРТРАН (Учебное пособие).- М.: Изд-во Моск. ун-та, 1982. - 200с.

 

Book translations

(under V.Sh.Kaufman's scientific supervision)

  1. Jurg Nievergelt, J. Graid Farrar, Edward M. Reinold. Computer Approach to Mathematical Problems. Prentice Hall, 1974.
  2. Peter J. Brown. Macroprocessors and Techniques for Portable Software. John Wiley & Sons, 1974.
  3. Alexander Ollongren. Definition of Programming Languages by Interpreting Automata. Academic Press, 1974.
  4. Glenford J. Myers. Software Reliability. Principles and Practices. John Wiley & Sons, 1976.
  5. Joan K. Hughes, Joy I. Michtom. Structural Approach to Programming, Prentice Hall. 1977
  6. Peter.Wegner. Programming with Ada. Prentice Hall, 1980

Some publications by V.Sh.Kaufman's team

  1. V.A.Levin. Formal Description of Context Conditions of ALGOL-60.-Vestnik Moskovskogo Universiteta, series "Computational mathematics and cybernetics", 3, 1977, 58-65. (in Russian).
  2. V.A.Levin. A Method of Context Conditions Describing. - PhD Thesis, Moscow University, 1978. (in Russian).
  3. E.O.Bunimova. A Method of Language Mapping Describing.- Ph.D Thesis, Moscow University, 1982. (in Russian).
  4. Kaufman V.Sh. Specification and Validation Tools in Programming Language Standardization. H.DR.Dissertation, Moscow State University, 1990.
  5. Rybin S.I. Ada in Russia: an overview. ACM Ada Letters Vol.14, No.3, 1994, p.74-79.
  6. Kaufman V.Sh., Rybin S.I. Methods for Standardizing Translator Diagnostics. - Programming and Computer Software, vol.16, No.4 (July-August 1990), p.146-152.
  7. Kaufman V.Sh., Pavlov M.V., Rybin S.I. Testing of Ada Diagnostics. Ada Letters, vol.13, No.4, p.71-76.
  8. Rybin S.I. Ada 9X Project: History and State of the Art. Programmirovanie, 1994, N.3, p.64-82.

Some publications by V.A.Levin's team

  1. V.A.Levin. Syntactical Objects Instances as Metalanguage Basis. - Preprint #88, Inst. Appl. Mathem., the Russian Academy of Sciences, Moscow, 1990. (in Russian, English translation is available).
  2. V.A.Levin. The Draft of a Language for Describing SF-Graphs. - Preprint #105, Inst. Appl. Mathem., the Russian Academy of Sciences, Moscow, 1991. (in Russian English translation is available).
  3. E.O.Bunimova, V.A.Levin. A Specification of Visibility Laws for a Modula-Subset.- Preprint #106, Inst. Appl. Mathem., the Russian Academy of Sciences, Moscow, 1991. 14 pp. (in Russian, English translation is available).
  4. V.A.Levin. An algebraic method of specification of effective compilations. - Keldysh Institute of Applied Mathematics, RR 311-92, 1992, 10 pp. (in Russian, English translation is available).
  5. V.A.Levin. The Syntactic Nodes Data Type for VDM. - Programming, 1, 1992, pp 22-30. (in Russian, English translation is available).
  6. Lutsikovich, V.A. Levin, G.Yu. Molchanova, The DIPOL technology. Keldysh Inst. of Appl. Math., RR 338-93, 1993.