Reflections on Programming Systems

Historical and Philosophical Aspects

Nonfiction, Religion & Spirituality, Philosophy, Reference, Computers, Operating Systems
Cover of the book Reflections on Programming Systems by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319972268
Publisher: Springer International Publishing Publication: January 10, 2019
Imprint: Springer Language: English
Author:
ISBN: 9783319972268
Publisher: Springer International Publishing
Publication: January 10, 2019
Imprint: Springer
Language: English

This book presents a historical and philosophical analysis of programming systems, intended as large computational systems like, for instance, operating systems, programmed to control processes. The introduction to the volume emphasizes the contemporary need of providing a foundational analysis of such systems, rooted in a broader historical and philosophical discussion.

The different chapters are grouped around three major themes. The first concerns the early history of large systems developed against the background of issues related to the growing semantic gap between hardware and code. The second revisits the fundamental issue of complexity of large systems, dealt with by the use of formal methods and the development of `grand designs’ like Unix. Finally, a third part considers several issues related to programming systems in the real world, including chapters on aesthetical, ethical and political issues.

This book will interest researchers from a diversity of backgrounds. It will appeal to historians, philosophers, as well as logicians and computer scientists who want to engage with topics relevant to the history and philosophy of programming and more specifically the role of programming systems in the foundations of computing.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book presents a historical and philosophical analysis of programming systems, intended as large computational systems like, for instance, operating systems, programmed to control processes. The introduction to the volume emphasizes the contemporary need of providing a foundational analysis of such systems, rooted in a broader historical and philosophical discussion.

The different chapters are grouped around three major themes. The first concerns the early history of large systems developed against the background of issues related to the growing semantic gap between hardware and code. The second revisits the fundamental issue of complexity of large systems, dealt with by the use of formal methods and the development of `grand designs’ like Unix. Finally, a third part considers several issues related to programming systems in the real world, including chapters on aesthetical, ethical and political issues.

This book will interest researchers from a diversity of backgrounds. It will appeal to historians, philosophers, as well as logicians and computer scientists who want to engage with topics relevant to the history and philosophy of programming and more specifically the role of programming systems in the foundations of computing.

More books from Springer International Publishing

Cover of the book University Initiatives in Climate Change Mitigation and Adaptation by
Cover of the book Tackling the Inverse Problem for Non-Autonomous Systems by
Cover of the book Riemannian Computing in Computer Vision by
Cover of the book Financial Markets, SME Financing and Emerging Economies by
Cover of the book Advanced Computational Methods for Knowledge Engineering by
Cover of the book Agile Methods by
Cover of the book Gender Training by
Cover of the book Labor in Culture, Or, Worker of the World(s) by
Cover of the book Handbook of Accessible Instruction and Testing Practices by
Cover of the book Air Pollution in Eastern Asia: An Integrated Perspective by
Cover of the book Electrochemically Engineered Nanoporous Materials by
Cover of the book English Language Education Policy in Asia by
Cover of the book Developments in Language Theory by
Cover of the book Alternating Current Multi-Circuit Electric Machines by
Cover of the book Chile in Transition by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy