<E-Book>
Language Hierarchies and Interfaces : International Summer School / edited by F.L. Bauer, K. Samelson
(Lecture Notes in Computer Science. ISSN:16113349 ; 46)
Edition | 1st ed. 1976. |
---|---|
Publisher | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer |
Year | 1976 |
Language | English |
Size | X, 432 p : online resource |
Authors | Bauer, F.L editor Samelson, K editor SpringerLink (Online service) |
Subjects | LCSH:Computer science FREE:Theory of Computation FREE:Computer Science |
Notes | 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 HTTP:URL=https://doi.org/10.1007/3-540-07994-7 |
TOC
Hide book details.
E-Book | Location | Media type | Volume | Call No. | Status | Reserve | Comments | ISBN | Printed | Restriction | Designated Book | Barcode No. |
---|---|---|---|---|---|---|---|---|---|---|---|---|
E-Book | オンライン | 電子ブック |
|
|
Springer eBooks | 9783540379720 |
|
電子リソース |
|
EB00224841 |
Hide details.
Material Type | E-Book |
---|---|
Classification | LCC:QA75.5-76.95 DC23:004.0151 |
ID | 4001088650 |
ISBN | 9783540379720 |