Open Advanced Search

Log in
Enterprise Plans
Free Trial

Log in
Free Trial
Enterprise Plans
Browse
Features
Pricing

DeepDyve

Advanced Search

show/hide query preview

With all of the words or DOIs:

DeepDyve's default query mode: search by keyword or DOI.

With the exact phrase:

Require these words, in this exact order. Do not surround your terms in double-quotes ("") in this field.

With at least one of the words:

Find any of these words, separated by spaces

Without the words:

Exclude each of these words, separated by spaces

With words in the article title:

Search for these terms only in the title of an article

Published between the years:

With the following authors:

Most effective as: LastName, First Name or Lastname, FN

With words in the journal name:

Search for articles published in journals where these words are in the journal name

Reset filters

Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

DeepDyve requires Javascript to function. Please enable Javascript on your browser to continue.

A Science of Operations

Part of the History of Computing Book Series

DOI: 10.1007/978-1-84882-555-0

ISBN: 978-1-84882-554-3

Publisher: Springer London - Springer Journals

Nov 12, 2010

1 - 10 of 12 Chapters

Available

Introduction

Priestley, Mark

Pages: 1 –15

[In this book, the history of programming is seen as standing at the intersection of the two fields of machinery and language, and in particular as being closely related to attempts to give a mechanical account of language on the one hand, and a linguistic account of machines on the other. The...
Available

Babbage’s Engines

Priestley, Mark

Pages: 17 –51

[Charles Babbage was a significant figure in English mathematics at the start of the 19th century, but he is now principally remembered for his work on the design and development of a series of what he described as mechanical calculating engines. He devoted a large amount of time and money to...
Available

Semi-Automatic Computing

Priestley, Mark

Pages: 53 –65

[The previous chapter described Babbage’s unsuccessful attempts to design and build mechanical calculating engines. The development of automatic computing proceeded in a rather gradual and ad hoc manner during the late 19th and early 20th centuries, and this chapter describes some of the major...
Available

Logic, Computability and Formal Systems

Priestley, Mark

Pages: 67 –98

[The work of Comrie and others demonstrated the benefits that could be obtained from even a partial automation of the processes of scientific computation. Human input was still required in order to control operations and to ensure that steps in a calculation were performed in the right order and...
Available

Automating Control

Priestley, Mark

Pages: 99 –121

[In October 1945, a conference on Advanced Computation Techniques was held at the Massachusetts Institute of Technology. Many of the presentations at the conference were about a new type of computing machine, one which worked on digital rather than analogue principles, provided a much greater...
Available

Logic and the Invention of the Computer

Priestley, Mark

Pages: 123 –155

[The logical investigation of the concept of effective computability and the development of the first automatic computing machines, described in the previous two chapters, were largely independent of each other. This chapter examines the development of the stored-program concept, the dominant...
Available

Machine Code Programming and Logic

Priestley, Mark

Pages: 157 –183

[The task of programming an automatic calculator or computer, usually referred to as ’coding’, was understood to be that of specifying the sequence of operations that the machine would carry out in the course of a computation. Many different order codes were possible for stored-program machines,...
Available

The Invention of Programming Languages

Priestley, Mark

Pages: 185 –224

[It quickly became apparent that the task of creating machine code programs was one that most humans would find challenging, and techniques for simplifying and automating parts of this process were soon developed. By the end of the 1950s, many programming systems existed, mostly designed for and...
Available

The Algol Research Programme

Priestley, Mark

Pages: 225 –252

[Compared to some of the other early programming languages, Algol 60 was not particularly successful in practical terms. This fact presents something of a puzzle: how did a language which was a relative failure in practical terms later come to be regularly described as the most influential of...
Available

The Logic of Correctness in Software Engineering

Priestley, Mark

Pages: 253 –276

[This chapter describes the approach taken by those working in the Algol research programme to the problem of how to improve the quality of software development and in particular to ensure that software systems met their users’ expectations and were completed economically and on schedule. These...

results per page

Browse All eBooks

Features

Search and discover articles on DeepDyve, PubMed, and Google Scholar
Read the full-text of open access and premium content
Organize articles with folders and bookmarks
Collaborate on and share articles and folders

Info

Pricing
Enterprise Plans
Browse Journals & Topics
About DeepDyve

Help

Help
Publishers
Contact Us

Sign up for your 14-Day Free Trial Now!

Read and print from thousands of top scholarly journals.

System error. Please try again!

Continue with Facebook

By signing up, you agree to DeepDyve’s Terms of Service and Privacy Policy.

Already have an account? Log in

Save Article to Bookmarks

Bookmark this article. You can see your Bookmarks on your DeepDyve Library.

To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.

Subscribe to Journal Email Alerts

To subscribe to email alerts, please log in first, or sign up for a DeepDyve account if you don’t already have one.

Follow a Journal

To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don’t already have one.

Our policy towards the use of cookies

All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.

cookie policy