[SIGCIS-Members] Book on programming systems

[Maarten Bullynck]

Dear All,

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