Umfang:
Online-Ressource (X, 428 S.)
Ausgabe:
Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9783540379720
Serie:
Lecture notes in computer science 46
Inhalt:
On the teaching of programming, i.e. on the teaching of thinking -- Parallel programming: An axiomatic approach -- On-the-fly darbage collection: an exercise in cooeration -- An exercise in proving parallel programs correct -- The programming language concurrent pascal -- Guarded commands, non-determinacy and a calculus for the derivation of programs -- Program production by successive transformation -- Programming as an evolutionary process -- Proof of correctness of data representations -- A philosophy of programming -- The structure of an operating system -- Language aspects in operating systems -- Structured programming in the basic layers of an operating system -- A time-wise hierarchy imposed upon the use of a two-level store -- Problems in many-language systems.
Anmerkung:
Literaturangaben
Weitere Ausg.:
ISBN 3540079947
Weitere Ausg.:
ISBN 0387079947
Weitere Ausg.:
ISBN 9783540079941
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe Language hierarchies and interfaces Berlin : Springer, 1976 ISBN 3540079947
Weitere Ausg.:
ISBN 0387079947
Sprache:
Englisch
Schlagwort(e):
Programmiersprache
;
Programmiersprache
;
Programmierung
;
Programmierung
;
Programmiersprache
;
Sprache
;
Hierarchie
;
Betriebssystem
;
Parallelverarbeitung
;
Konferenzschrift
;
Konferenzschrift
DOI:
10.1007/3-540-07994-7
URL:
Volltext
(lizenzpflichtig)
Mehr zum Autor:
Bauer, Friedrich L. 1924-2015
