Reflections on Programming Systems
-15%
portes grátis
Reflections on Programming Systems
Historical and Philosophical Aspects
Primiero, Giuseppe; De Mol, Liesbeth
Springer International Publishing AG
01/2019
286
Dura
Inglês
9783319972251
15 a 20 dias
612
Descrição não disponível.
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).
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Operating Systems;Evolution of Software and Hardware;Business Computing;Ethical Software;History of Programming Languages;Coding practices;OS historical analysis;OS Philosophical Analysis;History graphical user interfaces;Ontology GUI;Unix system history;AISB/IACAP Conference Proceedings;IFIP Advances in Information and Communication Technology;THE operating system;Data Validation history;ALGOL 60
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).
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Operating Systems;Evolution of Software and Hardware;Business Computing;Ethical Software;History of Programming Languages;Coding practices;OS historical analysis;OS Philosophical Analysis;History graphical user interfaces;Ontology GUI;Unix system history;AISB/IACAP Conference Proceedings;IFIP Advances in Information and Communication Technology;THE operating system;Data Validation history;ALGOL 60
