LEADER 04357nam  22006495  450 
001 9910309856203321
005 20230810194902.0
010   $a3-319-97226-X
024 7 $a10.1007/978-3-319-97226-8
035   $a(CKB)4100000007463690
035   $a(DE-He213)978-3-319-97226-8
035   $a(MiAaPQ)EBC5632056
035   $a(EXLCZ)994100000007463690
100   $a20190110d2018      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aReflections on Programming Systems $eHistorical and Philosophical Aspects /$fedited by Liesbeth De Mol, Giuseppe Primiero
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (VIII, 286 p. 79 illus.) 
225 1 $aPhilosophical Studies Series,$x2542-8349 ;$v133
311   $a3-319-97225-1 
327   $aPreface -- 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).
330   $aThis 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 appropriate) hardware as well as their historical developments. The authors not only offer historical and philosophical reflections on operating systems. They also explore the programs they coordinate and trace the epsitemic and ontological consequences of their designs. Each chapter investigates one or more overlapping fragments of this fascinating history. These include: the birth of the UNIX system and the development of early systems and prototypes; a conceptual analysis of the plurality of systems; an investigation into business, ethical, and aesthetics aspects related to operating systems; and logical principles of formal languages. This book will interest researchers from a diversity of backgrounds. It will appeal to historians, philosophers, as well as logicians and computer scientists who want to engage with topics relevant to the history and philosophy of programming and more specifically that of operating systems.
410  0$aPhilosophical Studies Series,$x2542-8349 ;$v133
606   $aTechnology$xPhilosophy
606   $aOperating systems (Computers)
606   $aComputers$xHistory
606   $aScience$xHistory
606   $aTechnology
606   $aHistory
606   $aPhilosophy of Technology
606   $aOperating Systems
606   $aHistory of Computing
606   $aHistory of Science
606   $aHistory of Technology
615  0$aTechnology$xPhilosophy.
615  0$aOperating systems (Computers).
615  0$aComputers$xHistory.
615  0$aScience$xHistory.
615  0$aTechnology.
615  0$aHistory.
615 14$aPhilosophy of Technology.
615 24$aOperating Systems.
615 24$aHistory of Computing.
615 24$aHistory of Science.
615 24$aHistory of Technology.
676   $a601
702   $aDe Mol$b Liesbeth$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPrimiero$b Giuseppe$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a9910309856203321
996   $aReflections on Programming Systems$91912819
997   $aUNINA