WorldCat Identities

Barstow, David R.

Overview
Works: 16 works in 65 publications in 2 languages and 746 library holdings
Genres: Handbooks and manuals 
Roles: Author, Editor
Classifications: QA76.6, 001.642
Publication Timeline
.
Most widely held works about David R Barstow
 
Most widely held works by David R Barstow
Interactive programming environments( Book )

22 editions published between 1984 and 1987 in 3 languages and held by 371 WorldCat member libraries worldwide

Knowledge-based program construction by David R Barstow( Book )

13 editions published in 1979 in English and Undetermined and held by 278 WorldCat member libraries worldwide

The Programming language Ada : reference manual : proposed standard document, United States Department of Defense by G Goos( Book )

3 editions published in 1983 in English and held by 26 WorldCat member libraries worldwide

Software -- Programming Languages
Automatic construction of algorithms and data structures using a knowledge base of programming rules by David R Barstow( Book )

12 editions published between 1977 and 1979 in English and Undetermined and held by 18 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)
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

Rapid development of software( Visual )

2 editions published in 1990 in English and held by 2 WorldCat member libraries worldwide

Summary: Discusses how productivity can be improved by shortening the software development cycle through automation
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

Artificial Intelligence at Schlumbergers by David R Barstow( )

1 edition published in 1984 in English and held by 1 WorldCat member library worldwide

Schlumberger is a large, multinational corporation concerned primarily with the measurement, collection, and interpretation of data. For the past fifty years, most of the activities have been related to hydrocarbon exploration. The efficient location and production of hydrocarbons from an underground formation requires a great deal of knowledge about the formation, ranging in scale from the size and shape of the rock's pore spaces to the size and shape of the entire reservoir. Schlumberger provides its clients with two types of information : measurements, called logs, of the petrophysical properties of the rock around the borehole, such as its electrical, acoustical, and radioactive characteristics; and in terpretations of these logs in terms of geophysical properties such as porosity and mineral composition. Since log interpretation is expert skill, the emergence of expert systems technology prompted Schlumberger's initial interest in Artificial Intelligence. Our first full- scale attempt at a commercial-quality expert system was the Dipmeter Advisor. Following these initial efforts, Schlumberger has expanded its Artificial Intelligence activities, and is now engaged in both basic and applied research in a wide variety of areas
Maxims for knowledge engineering by Stanford University( Book )

1 edition published in 1981 in English and held by 1 WorldCat member library worldwide

The Programming language Ada reference manual : American National Standards Institute, inc.( Book )

1 edition published in 1983 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
Sphinx : a programming environment for device control software by David R Barstow( Book )

1 edition published in 1987 in English and held by 1 WorldCat member library worldwide

The refinement paradigm : The interaction of coding and efficiency knowlwdge in program synthesis by Elaine Kant( )

1 edition published in 1981 in English and held by 1 WorldCat member library worldwide

Progress report on program-understanding systems by C. C Green( Book )

2 editions published in 1974 in English and held by 0 WorldCat member libraries 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
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.63 (from 0.60 for Interactiv ... to 1.00 for A Perspect ...)

The Programming language Ada : reference manual : proposed standard document, United States Department of DefenseThe Programming language Ada reference manual : American National Standards Institute, inc.
Alternative Names
Barstow, David R.

バーストウ, デイヴィッド・R

Languages
Covers
The Programming language Ada reference manual : American National Standards Institute, inc.