Images of programming : dedicated to the memory of A.P. Ershov : papers collected under of the auspices of IFIP TC2
著者
書誌事項
Images of programming : dedicated to the memory of A.P. Ershov : papers collected under of the auspices of IFIP TC2
North-Holland , Distributors for the United States and Canada, Elsevier Science Pub. Co., 1991
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"Part of this material has also been published as a special issue of Theoretical computer science, Vol. 90(1)."
内容説明・目次
内容説明
Computer science is the study of the objects that can exist inside computers - their behaviour, and how they can be constructed. Computer science is an extension of neither control theory nor of classical mathematical modelling. The late Russian Academician, Andrei P. Ershov seems to have been the first influential Russian to understand this, already from the mid 1950's, and he brought that message to bear on the USSR Academy of Sciences. This volume, therefore, is a contribution not only to the man, but to his country and to the field of computer science. Featured are the works of many scientists from the USSR - works that would otherwise not be widely accessible: a selection of works by Ershov's many colleagues abroad; papers on the man himself and his work; and papers discussing philosophy and theory aspects of the profession and its consequences. This is a book for all students of science and scientists, especially mathematical and computer scientists.
目次
Preface. Ershov and Informatics. Andrej Petrovich Ershov (I.V. Pottosin). Selected biography of Ershov's papers (I.V. Pottosin). Andrei P. Ershov - a friend and a rival (S.S. Lavrov). "From hidden places knowledge I obtained" (K. Levitin). Maturing of informatics (J. Gruska and H. Jurgensen). Quality of education with application of new information technologies (B. Sendov and A. Eskenasi). Computing Science. Theory and practice (D.E. Knuth). Analysis of program optimization possibilities and further development (I.V. Pottosin). Transformational approach to program concretization (V. Kasyanov). From partial evaluation to mixed computation (M.A. Bulyonkov). Essence of generalized partial computation (Y. Futamura, K. Nogi and A. Takano). An algebra of mixed computation (V.E. Itkin). Static semantics, types and binding time analysis (N.D. Jones). Prescribing behaviours (W.M. Turski). Four domains for concurrency (J.W. de Bakker and J.H.A. Warmerdam). An algebra of concurrent non-deterministic processes (L.A. Cherkasova and V.E. Kotov). Connectedness and synchronization (A. Mazurkiewicz, A. Rabinovich and B.A. Trakhtenbrot). Higher order dataflow schemas (E. Tyugu). Rapid constructions of algebraic axioms from samples (J.M. Barzdin and G.J. Barzdin). On conservative extensions of syntax in system development (A. Blikle, A. Tarlecki and M. Thorup). A theory for the derivation of C-mos circuit designs (C.A.R. Hoare). A bridge between constructive logic and computer programming (N.N. Nepejvoda).
「Nielsen BookData」 より
