Journal: Programming and Computer Software

Volume 28, Issue 3

117 -- 118. On the 70th Anniversary of the Birth of Eduard Zinov evich Lyubimskii
119 -- 126S. A. Nigiyan, S. A. Avetisyan. Semantics of Untyped Functional Programs
127 -- 147Jean-Claude Royer. An Operational Approach to the Semantics of Classes: Application to Type Checking
148 -- 161V. L. Arlazarov, A. S. Loginov, O. A. Slavin. Characteristics of Optical Text Recognition Programs
162 -- 173V. A. Kostenko. The Problem of Schedule Construction in the Joint Design of Hardware and Software
174 -- 184Igor A. Zhuklinets, Denis A. Khotimsky. Logical Time in Distributed Software Systems