Images of Programming Dedicated to the Memory of A. P. Ershov

Name: Images of Programming Dedicated to the Memory of A. P. Ershov
Availability: OutOfStock
ISBN: 9780444893383

ISBN-10: 0444893385

ISBN-13: 9780444893383

Edition: 1991

Authors: Dines Bjï¿½rner, V. E. Kotov, A. P. Ershov

30 day, 100% satisfaction guarantee!

Out of stock

We're sorry. This item is currently unavailable.

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

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…

Book details

Preface
Ershov and Informatics
Andrej Petrovich Ershov	p. I-1
Selected biography of Ershov's papers	p. I-23
Andrei P. Ershov--a friend and a rival	p. I-35
"From hidden places knowledge I obtained"	p. I-43
Maturing of informatics	p. I-55
Quality of education with application of new information technologies	p. I-71
Computing Science
Theory and Practice	p. 1
Analysis of program optimization possibilities and further development	p. 17
Transformational approach to program concretization	p. 37
From partial evaluation to mixed computation	p. 47
Essence of generalized partial computation	p. 61
An algebra of mixed computation	p. 81
Static semantics, types, and binding time analysis	p. 95
Prescribing behaviours	p. 119
Four domains for concurrency	p. 127
An algebra of concurrent non-deterministic processes	p. 151
Connectedness and synchronization	p. 171
Higher order dataflow schemas	p. 185
Rapid constructions of algebraic axioms from samples	p. 199
On conservative extensions of syntax in system development	p. 209
A theory for the derivation of combinational C-mos circuit designs	p. 235
A bridge between constructive logic and computer programming	p. 253
Table of Contents provided by Blackwell. All Rights Reserved.