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 Dynamic Paleontology by
Cover of the book Human Aspects of IT for the Aged Population. Applications, Services and Contexts by
Cover of the book Machine Tool Metrology by
Cover of the book Cadastre: Geo-Information Innovations in Land Administration by
Cover of the book Functional Ophthalmic Disorders by
Cover of the book WALCOM: Algorithms and Computation by
Cover of the book Combinatorial Algorithms by
Cover of the book Nanotechnology for Water Treatment and Purification by
Cover of the book Emerging Technology and Architecture for Big-data Analytics by
Cover of the book The BBC, The 'War on Terror' and the Discursive Construction of Terrorism by
Cover of the book Relational and Algebraic Methods in Computer Science by
Cover of the book Social, Cultural, and Behavioral Modeling by
Cover of the book Intelligent Systems for Computer Modelling by
Cover of the book Regional Perspectives on Policy Evaluation by
Cover of the book Damage Tolerance of Metallic Aircraft Structures 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