Images of programming : dedicated to the memory of A.P. Ershov : papers collected under of the auspices of IFIP TC2
Author(s)
Bibliographic Information
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
Available at 1 libraries
Note
"Part of this material has also been published as a special issue of Theoretical computer science, Vol. 90(1)."
Description and Table of Contents
Description
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.
Table of Contents
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).
by "Nielsen BookData"