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 Modeling Nonlinear Problems in the Mechanics of Strings and Rods by
Cover of the book Spectra and Dynamics of Small Molecules by
Cover of the book Reading Books and Prints as Cultural Objects by
Cover of the book Prior Processes and Their Applications by
Cover of the book Recent Results on Time-Delay Systems by
Cover of the book Layered Two-Dimensional Heterostructures and Their Tunneling Characteristics by
Cover of the book Policy Analysis of Structural Reforms in Higher Education by
Cover of the book Innovations in the Treatment of Substance Addiction by
Cover of the book The Polemics of C.L.R. James and Contemporary Black Activism by
Cover of the book Sustainable Hydrogen Production Processes by
Cover of the book Colonial Theories of Institutional Development by
Cover of the book Reviews in Fluorescence 2017 by
Cover of the book Proceedings of the 4th International Conference on Applications in Nonlinear Dynamics (ICAND 2016) by
Cover of the book Sustainable Interdependent Networks by
Cover of the book Magnetic Control of Tokamak Plasmas 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