Reflections on Programming Systems Historical and Philosophical Aspects /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: De Mol, Liesbeth (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Primiero, Giuseppe (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Σειρά: Philosophical Studies Series, 133
• Θέματα: Philosophy.; Operating systems (Computers).; Computers.; History.; Technology-History.; Philosophy of Technology.; Operating Systems.; History of Computing.; History of Science.; History of Technology.

This book presents a systematic philosophical and historical analysis of operating systems (0S). The discussion starts with the evolution of OSs since before their birth. It continues with a comprehensive philosophical analysis grounded in technical aspects. Coverage looks at software and (where app...

Πίνακας περιεχομένων:

• Preface
• Part I: Programming without Systems
• Chapter 1. Validity & Correctness before the OS: the case of LEO I and LEO II (Rabia Arif, Elisabetta Mori, Giuseppe Primiero)
• Chapter 2. What is an Operating System? A historical investigation (1954-1964) (Maarten Bullynck)
• Part II: Formalizing Systems
• Chapter 3. Formal Semantics of ALGOL 60: Four Descriptions in their Historical Context (Troy K. Astarte, Cliff B. Jones)
• Chapter 4. Sans-papiers as first-class citizens (Julian Rohrhuber)
• Part III: Creating Systems
• Chapter 5. Unix, Plan 9 and the Lurking Smalltalk (Stephen Kell)
• Chapter 6. Unix: Building a Development Environment from Scratch (Warren Toomey)
• Part IV: Evaluating Systems
• Chapter 7. Ethical Operating Systems (Naveen Sundar Govindarajulu, Selmer Bringsjord, Atriya Sen, Jean-Claude Paquin, Kevin O'Neill)
• Chapter 8. From Sovereign Operating Systems to the Sovereign Digital Chain (Gael Duval)
• Chapter 9. Elegance in Software (Robin K. Hill).