WorldCat Identities

Barstow, David R.

Overview
Works: 32 works in 81 publications in 2 languages and 1,028 library holdings
Genres: Conference proceedings  Handbooks, manuals, etc  Case studies 
Roles: Reporter, Editor, Adapter
Classifications: QA76.6, 001.642
Publication Timeline
Key
Publications about  David R Barstow Publications about David R Barstow
Publications by  David R Barstow Publications by David R Barstow
Most widely held works about David R Barstow
 
Most widely held works by David R Barstow
Interactive programming environments ( Book )
18 editions published between 1984 and 1987 in English and Undetermined and held by 376 WorldCat member libraries worldwide
Knowledge-based program construction by David R Barstow ( Book )
10 editions published in 1979 in English and Undetermined and held by 288 WorldCat member libraries worldwide
A dangerous business ( Visual )
8 editions published between 2003 and 2006 in English and held by 198 WorldCat member libraries worldwide
An investigation of the McWane corporation, identified as one of the most dangerous companies in America in terms of health and safety violations, employee accidents and deaths. Over the last seven years the corporation has amassed more safety violations than all its major competitors combined
A dangerous business revisited ( Visual )
1 edition published in 2008 in English and held by 60 WorldCat member libraries worldwide
In January 2003, FRONTLINE, The New York Times, and the Canadian Broadcasting Corporation joined forces to investigate thousands of injuries and nine deaths at plants owned by the privately held McWane, Inc., one of the largest iron pipe foundry companies in North America. Through interviews with current and former employees and executives, government officials, and environmental, health and safety experts, a portrait emerged of McWane as the most dangerous company in an inherently dangerous business. In "A Dangerous Business Revisited" Lowell Bergman examines what happened after the broadcast five years ago: the Justice Department response, changes at the company, what happened to some of the injured workers, and how life changed for one whistleblower who told his story on camera
The Programming language Ada* : reference manual by American National Standards Institute ( )
3 editions published in 1983 in English and held by 38 WorldCat member libraries worldwide
Automatic construction of algorithms and data structures using a knowledge base of programming rules by David R Barstow ( Book )
10 editions published between 1977 and 1978 in English and Undetermined and held by 15 WorldCat member libraries worldwide
Although large amounts of programming knowledge are available to human programmers in the form of books and articles, very little of this knowledge is available in a form suitable for use by a machine in performing programming tasks automatically. The principal goal of the research reported here is the explication of programming knowledge to a sufficient level of detail that it can be used effectively by a machine. The programming task considered in this experiment is that of constructing concrete implementations of abstract algorithms in the domain of symbolic programming. Knowledge about several aspects of symbolic programming has been expressed as a collection of four hundred refinement rules. The rules deal primarily with collections and mappings and ways of manipulating such structures, including several enumeration, sorting and searching techniques. The principal representation techniques covered include the representation of sets as linked lists and arrays (both ordered and unordered), and the representation of mappings as tables, sets of pairs, property list markings, and inverted mappings (indexed by range element). In addition to these general constructs, many low-level programming details are covered (such as the use of variables to store values)
Exploring artificial intelligence : survey talks from the National Conferences on Artificial Intelligence by National Conference on Artificial Intelligence ( Book )
2 editions published in 1988 in English and held by 11 WorldCat member libraries worldwide
On program synthesis knowledge by Charles Green ( Book )
4 editions published in 1977 in English and Undetermined and held by 6 WorldCat member libraries worldwide
This paper presents a body of program synthesis knowledge dealing with array operations, space reutilization, the divide and conquer paradigm, conversion from recursive paradigms to iterative paradigms, and ordered set enumerations. Such knowledge can be used for the synthesis of efficient and in-place sorts including quicksort, mergesort, sinking sort, and bubble sort, as well as other ordered set operations such as set union, element removal, and element addition. The knowledge is explicated to a level of detail such that it is possible to codify this knowledge as a set of program synthesis rules for use by a computer-based synthesis system. The use and content of this set of programming rules is illustrated herein by the methodical synthesis of bubble sort, sinking sort, quicksort, and mergesort. (Author)
A hypothetical dialogue exhibiting a knowledge base for a program-understanding system by Cordell Green ( Book )
2 editions published in 1975 in English and held by 6 WorldCat member libraries worldwide
A hypothetical dialogue with a fictitious program-understanding system is presented. In the interactive dialogue the computer carries out a detailed synthesis of a simple insertion sort program for linked lists. The content, length and complexity of the dialogue reflect the underlying programming knowledge which would be required for a system to accomplish this task. The nature of the knowledge is discussed and the codification of such programming knowledge is suggested as a major research area in the development of program-understanding systems
The roles of knowledge and deduction in algorithm creation by David R Barstow ( Book )
1 edition published in 1980 in English and held by 3 WorldCat member libraries worldwide
Sofutōea kaihatsu shien kankyō ( Book )
1 edition published in 1986 in Japanese and held by 2 WorldCat member libraries worldwide
Codification of programming knowledge : graph algorithms by David R Barstow ( Book )
1 edition published in 1978 in English and held by 2 WorldCat member libraries worldwide
The aviation iPad revolution by David R Barstow ( )
1 edition published in 2012 in English and held by 1 WorldCat member library worldwide
A Perspective on Automatic Programming by David R Barstow ( )
1 edition published in 1984 in English and held by 1 WorldCat member library worldwide
Most work in automatic programming has focused primarily on the roles of deduction and programming knowledge. However, the role played by knowledge of the task domain seems to be at least as important, both for the usability of an automatic programming system and for the feasibility of building one which works on non-trivial problems. This perspective has evolved during the course of a variety of studies over the last several years, including detailed examination of existing software for a particular domain (quantitative interpretation of oil well logs) and the implementation of an experimental automatic programming system for that domain. The importance of domain knowledge has two important implications: a primary goal of automatic programming research should be to characterize the programming process for specific domains; and a crucial issue to be addressed in these characterizations is the interaction of domain and programming knowledge during program synthesis
The Arctic--islands of the frozen sea ( Visual )
in English and held by 1 WorldCat member library worldwide
History of exploration in the Canadian arctic archipelago, the Queen Elizabeth Islands. Describes the climate, flora, and fauna of the islands. Includes extensive photographic documentation of the area
Automatic construction of algorithsms and data structures using a knowledge base of programming rules by David R Barstow ( Book )
1 edition published in 1978 in English and held by 1 WorldCat member library worldwide
Program-Understanding Systems ( )
1 edition published in 1974 in English and held by 1 WorldCat member library worldwide
This progress report covers the first year and one half of work by the automatic-programming research group at the Stanford Artificial Intelligence Laboratory. Major emphasis has been placed on methods of program specification, codification of programming knowledge, and implementation of pilot systems for program writing and understanding. List processing has been used as the general problem domain for this work
Automatic construction of algorithms and data structures using knowledge base of programming rules by David R Barstow ( Book )
1 edition published in 1979 in English and held by 1 WorldCat member library worldwide
Rapid development of software ( Visual )
1 edition published in 1990 in English and held by 1 WorldCat member library worldwide
Summary: Discusses how productivity can be improved by shortening the software development cycle through automation
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.69 (from 0.00 for Program-Un ... to 1.00 for The aviati ...)
Alternative Names
Barstow, David R.
バーストウ, デイヴィッド・R
Languages
English (65)
Japanese (1)
Covers