Book on programming systems
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
Dear Maarten, congratulations on having this most welcome contribution tot the history of programming appear. Having attended versions of some of the contributions I can't wait to see the full collection. Cheers, Gerard ________________________________ Van: Members <members-bounces@lists.sigcis.org> namens Maarten Bullynck <maarten.bullynck@kuttaka.org> Verzonden: maandag 28 januari 2019 12:47 Aan: members@lists.sigcis.org Onderwerp: [SIGCIS-Members] Book on programming systems 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 _______________________________________________ This email is relayed from members at sigcis.org, the email discussion list of SHOT SIGCIS. Opinions expressed here are those of the member posting and are not reviewed, edited, or endorsed by SIGCIS. The list archives are at http://lists.sigcis.org/pipermail/members-sigcis.org/ and you can change your subscription options at http://lists.sigcis.org/listinfo.cgi/members-sigcis.org
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
Thank you for this comprehensive paper, Maarten. Great job. How did you find documentation about all these completely forgotten systems? In Paris-8 University library? After reading your chapter, I understand better some of my early experiences with operating systems (OS/360 MFT). Cheers! Le jeudi 31 janvier 2019 Maarten Bullynck a écrit ceci :
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
_______________________________________________ This email is relayed from members at sigcis.org, the email discussion list of SHOT SIGCIS. Opinions expressed here are those of the member posting and are not reviewed, edited, or endorsed by SIGCIS. The list archives are at http://lists.sigcis.org/pipermail/members-sigcis.org/ and you can change your subscription options at http://lists.sigcis.org/listinfo.cgi/members-sigcis.org
-- Laurent Bloch - https://laurentbloch.net - lb@laurentbloch.org Si vous trouvez que l'éducation coûte cher, essayez l'ignorance ! (A. Lincoln)
participants (3)
-
Alberts, Gerard -
Laurent Bloch -
Maarten Bullynck