Images of Programming
Dedicated to the Memory of A.P.Ershov - Papers Collected Under the Auspices of IFIP TC2
Published in December 1991
Book
Hardback
280 pages
978-0-444-89338-3 (ISBN)
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.
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.
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.
More details
Language
English
Place of publication
Oxford
United Kingdom
Publishing group
Elsevier Science & Technology
Target group
College/higher education
Professional and scholarly
Illustrations
Illustrations
Dimensions
Height: 230 mm
ISBN-13
978-0-444-89338-3 (9780444893383)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
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).