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 Rivers – Physical, Fluvial and Environmental Processes by
Cover of the book Fundamentals and Applications of Hardcopy Communication by
Cover of the book Magnetic Order and Coupling Phenomena by
Cover of the book Truth, Objects, Infinity by
Cover of the book From Rechtsstaat to Universal Law-State by
Cover of the book Corrosion Science and Engineering by
Cover of the book Event-Triggered Sliding Mode Control by
Cover of the book The sine-Gordon Model and its Applications by
Cover of the book The Semantic Web by
Cover of the book Methods for Appearance-based Loop Closure Detection by
Cover of the book Feminist Approaches to Media Theory and Research by
Cover of the book Cybersecurity Investments by
Cover of the book Cultural Phylogenetics by
Cover of the book Perspectives in Lie Theory by
Cover of the book Early Gastrointestinal Cancers II: Rectal Cancer 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