Dear All, In my last message on the volume "Programming Systems: in Search of Historical and Philosophical Foundation" (Springer 2019) edited by Liesbeth de Mol and Giuseppe Primiero, I accidentally included a link to an old version of my paper that appears in that volume. A draft version closer to the published one is now online: https://halshs.archives-ouvertes.fr/halshs-01541602 "What Is an Operating System? A Historical Investigation (1954–1964)" best wishes, Maarten
I have the pleasure to announce the publication of a volume on the history and philosophy of programming systems, edited by Liesbeth De Mol and Giuseppe Primiero.
https://www.springer.com/gp/book/9783319972251
The volume collects contributions to the third HaPoP symposium in Paris (http://hapoc.org/events/hapop3/schedule). Freely accessible drafts of the introduction and of the chapter I authored can be found on HAL (see links in the table of contents.)
Table of contents -----------------
Liesbeth De Mol and Giuseppe Primiero: Programming Systems: in Search of Historical and Philosophical Foundations, p. 1-12 (see also: https://hal.univ-lille3.fr/hal-01674676)
Rabia Arif et al.: Validity and Correctness Before the OS: the Case of LEO I and LEO II, p. 15-47
Maarten Bullynck: What Is an Operating System? A Historical Investigation (1954–1964), p. 49-79 (see https://halshs.archives-ouvertes.fr/halshs-01541602)
Troy K. Astarte et al.: Formal Semantics of ALGOL 60: Four Descriptions in their Historical Context, p. 83-152
Julian Rohrhuber: Sans-Papiers as First-Class Citizens, p. 153-185
Stephen Kell: Unix, Plan 9 and the Lurking Smalltalk, p. 189-213
Warren Toomey: Unix: Building a Development Environment from Scratch, p. 215-231
Naveen Sundar Govindarajulu et al.: Ethical Operating Systems, p. 235-260
Gaël Duval: From Sovereign Operating Systems to the Sovereign Digital Chain, p. 261-271
Robin K. Hill: Elegance in Software, p. 273-286
best wishes,
Maarten Bullynck
Département de mathématiques & histoire des sciences Université Paris 8