A Science of Operations - Machines, Logic and the Invention of Programming

@inproceedings{Priestley2011ASO,
  title={A Science of Operations - Machines, Logic and the Invention of Programming},
  author={Mark Priestley},
  booktitle={History of Computing},
  year={2011}
}
  • M. Priestley
  • Published in History of Computing 14 February 2011
  • Computer Science
Today, computers fulfil a dazzling array of roles, a flexibility resulting from the great range of programs that can be run on them.A Science of Operations examines the history of what we now call programming, defined not simply as computer programming, but more broadly as the definition of the steps involved in computations and other information-processing activities. This unique perspective highlights how the history of programming is distinct from the history of the computer, despite the… 

When Technology Became Language: The Origins of the Linguistic Conception of Computer Programming, 1950–1960

The article shows how the idea of a universal language was a decisive step in the emergence of programming languages, in the recognition of computer programming as a proper field of knowledge, and eventually in the way the authors think of the computer.

The Invention of the Object: Object Orientation and the Philosophical Development of Programming Languages

It is argued that the philosophies behind object- oriented programming are ultimately opposed to the claims of object-oriented ontology and find themselves more closely allied with philosophies that insist on the mediation of what exists through language.

Details : The history of programming language semantics : an overview

The history of programming language semantics is explored by considering the history of model-based approaches to describing programming languages, with a particular focus on the IBM Laboratory Vienna under Heinz Zemanek, and the Programming Research Group at Oxford University under Christopher Strachey.

AI and the Origins of the Functional Programming Language Style

The origins of Lisp in the early AI programming work of the mid-to-late 1950s are examined, the key technical differences between it and the style first manifested in the Logic Theory Machine are analyzed, and it is concluded that programming practice and experience play a large and underappreciated role in the development of programming styles and languages.

Logic, Programming, and Computer Science: Local Perspectives

  • L. D. Mol
  • Computer Science
    IEEE Ann. Hist. Comput.
  • 2021
This Special Issue offers new perspectives on the question of how and why logic became intertwined with computing and programming. It focuses on the locality of programming and computing practices,

The Dawn of Software Engineering: From Turing to Dijkstra

The Dawn of Software Engineering: from Turing to Dijkstra, Edgar G. Daylight deromanticizes Turing's & logic's role in the history of computing and vividly describes how & why DijkStra's ideas stood out among those of his contemporaries.

Towards a Historical Notion of ‘Turing—the Father of Computer Science’

In this paper, attempts are made to reconstruct networks of scholars and ideas prevalent in the 1950s, and to identify a specific group of actors interested in theorizing about computations in computers and attracted to the idea of language as a frame in which to understand computation.

Types in Programming Languages, Between Modelling, Abstraction, and Correctness - Extended Abstract

The central part of alanguage is made by the abstraction mechanisms it provides to model its application domain(s), all issues the language theorist may well group together in the type chapter of a language definition.

Several Types of Types in Programming Languages

It is argued that there are three different characters at play in programming languages, all of them now called types: the technical concept used in language design to guide implementation; the general abstraction mechanism used as a modelling tool; the classifying tool inherited from mathematical logic.

Mathematics and Mechanical Computation

Ideas prompted by the intersection of mathematics and machine are discussed: the physicalisation of memory and the implications for coding, algorithmic programming, machine solution of equations, heuristics, computation as systematic method, halting, and numerical analysis.
...

References

SHOWING 1-10 OF 108 REFERENCES

The Oceans

SVERDRUP, Johnson and Fleming have answered the demand for an up-to-date manual of oceanography with a comprehensive work, "The Oceans: Their Physics, Chemistry and General Biology". It is a large

Long-Term Variations of Caloric Insolation Resulting from the Earth's Orbital Elements

  • A. Berger
  • Physics, Environmental Science
    Quaternary Research
  • 1978

The Memory of the Ocean

The climate of the ocean is defined in terms of the length scale Lβ=(2U/ β) 1/2. Larger motions are treated deterministically, smaller motions statistically. The memory of the smaller motions, the

Structure and tectonic history of the Eastern Panama basin

New marine geophysical data allow the preparation of revised bathymetric and magnetic anomaly charts of the Panama Basin and demonstrate that the eastern part of the basin, between the fracture zone

Structural Pattern of the Galapagos Microplate and Evolution of the Galapagos Triple Junctions

A 13,000-km2 microplate intervenes to prevent the junction of the Nazca, Cocos, and Pacific plates in the eastern equatorial Pacific Ocean west of the Galapagos Islands. The microplate is rotating

Continental-Oceanic Crustal Transition Off Southwest Africa

More than 1,426 mi (2,300 km) of 48-trace, 12-fold seismic reflection profiles were used to examine the nature of the continent-ocean boundary off southwest Africa. South of the Orange River, faulted

The Commercial Fisheries for Jasus and Palinurus Species in the South-East Atlantic and South-West Indian Oceans

A special feature of the book will be detailed reviews of the spiny lobster fishery, research activities and marketing process in Japan, where customers are willing to pay more than US$50 per pound for live lobsters.

Chronology of Fluctuating Sea Levels Since the Triassic

An effort has been made to develop a realistic and accurate time scale and widely applicablechronostratigraphy and to integrate depositional sequences documented in public domain outcrop sections from various basins with this chronostratigraphic framework.

The carbon cycle and atmospheric CO2

Readers of this book will generally fit into two groups. One group consists of geologists and geochemists, who have studied the global carbon cycle for many decades. These readers will find that the
...