Data & IT

Language Hierarchies and Interfaces

F L Bauer • K Samelson

Pocket

769:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

432 sidor
1976

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.

Författare: F L Bauer, K Samelson
Format: Pocket/Paperback
ISBN: 9783540079941
Språk: Engelska
Antal sidor: 432
Utgivningsdatum: 1976-12-01
Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K