Language Hierarchies and Interfaces - International Summer School

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.

Sommario

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.

Dettagli sul prodotto

• Con la collaborazione di: F. L. Bauer (Editore), F.L. Bauer (Editore), Friedrich L Bauer (Editore), Friedrich L. Bauer (Editore), L Bauer (Editore), F L Bauer (Editore), Samelson (Editore), Samelson (Editore), K Samelson (Editore), K. Samelson (Editore)
• Editore: Springer, Berlin
• Lingue: Inglese
• Formato: Tascabile
• Pubblicazione: 15.01.2004
• EAN: 9783540079941
• ISBN: 978-3-540-07994-1
• Pagine: 432
• Dimensioni: 155 mm x 234 mm x 25 mm
• Peso: 707 g
• Illustrazioni: X, 432 p.
• Serie: Lecture Notes in Computer Science; Lecture Notes in Computer Science
• Categoria: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Informatica