Reflections on Programming Systems Historical and Philosophical Aspects /

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...

Full description

Saved in:
Bibliographic Details
Format: Electronic eBook
Language:English
Published: Cham : Springer International Publishing, 2018.
Edition:1st ed. 2018.
Series:Philosophical Studies Series, 133
Subjects:
Philosophy.
Operating systems (Computers).
Computers.
History.
Technology-History.
ISBN:9783319972268
ISSN:0921-8599 ;
Online Access: Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Table of Contents:
  • 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).

Similar Items