| Descript |
viii, 286 pages : illustrations ; 25 cm |
|
text txt rdacontent |
|
unmediated n rdamedia |
|
volume nc rdacarrier |
| Series |
Philosophical studies series ; volume 133 |
|
Philosophical studies series ; v. 133
|
| Note |
Includes bibliographical references |
|
Programming Systems : in Search of Historical and Philosophical Foundations / Liesbeth De Mol and Giuseppe Primiero -- Programming Without Systems -- Validity and Correctness Before the OS : the Case of LEO I and LEO II / Rabia Arif, Elisabetta Mori, and Giuseppe Primiero -- What is an Operating System? A Historical Investigation (1954-1964) / Maarten Bullynck -- Formalizing Systems -- Formal Semantics of Algol 60 : Four Descriptions in their Historical Context / Troy K. Astarte, Cliff B. Jones -- Sans-Papiers as First-Class Citizens / Julian Rohrhuber -- Creating Systems -- Unix, Plan 9 and the Lurking Smalltalk / Stephen Kell -- Unix : Building a Development Environment from Scratch / Warren Toomey -- Evaluating Systems -- Ethical Operating Systems / Naveen Sundar Govindarajulu, Selmer Bringsjord, Atriya Sen, Jean-Claude Paquin, and Kevin OʼNeill -- From Sovereign Operating Systems to the Sovereign Digital Chain / Gaël Duval -- Elegance in Software / Robin K. Hill |
| Subject |
Computer programming -- Philosophy
|
|
Computer programming -- History
|
|
Computer programming. fast (OCoLC)fst00872390
|
|
Computer programming -- Philosophy.
fast (OCoLC)fst00872401
|
|
History. fast (OCoLC)fst01411628
|
| Alt Author |
De Mol, Liesbeth, editor
|
|
Primiero, Giuseppe, editor
|
|
