WorldCat Identities

Barstow, David R.

Overview
Works: 18 works in 67 publications in 3 languages and 773 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 370 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 274 WorldCat member libraries worldwide

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 17 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)
The programming language Ada reference manual American national standards institute, inc. ANSI-MIL-STD-1815A-1983, approved 17 February 1983( Book )

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

A hypothetical dialogue exhibiting a knowledge base for a program-understanding system by Claude Cordell Green( Book )

1 edition published in 1975 in English and held by 5 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 Programming language Ada : reference manual by Gerhard Goos( Book )

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

Software -- Programming Languages
Codification of programming knowledge : graph algorithms by David R Barstow( Book )

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

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

On program synthesis knowledge by Claude Cordell Green( Book )

1 edition published in 1977 in English and held by 2 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)
Maxims for knowledge engineering by David R Barstow( Book )

1 edition published in 1981 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
Rapid development of software : the 35th videoconference seminar via satellite, Wednesday, May 2, 1990( Visual )

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

Shows the current state of the art in rapid software development, both in terms of what is happening in several laboratories and what is available as commercial products
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
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

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

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

3 editions 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
Elevate Ein Handbuch für morgen - A Manual for Change( Book )

1 edition published in 2015 in German and held by 1 WorldCat member library worldwide

Rückblick auf zehn Jahre Elevate
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.64 (from 0.53 for The refine ... to 1.00 for Artificial ...)

The programming language Ada reference manual American national standards institute, inc. ANSI-MIL-STD-1815A-1983, approved 17 February 1983The Programming language Ada : reference manual
Alternative Names
Barstow, David R.

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

Languages
Covers
The Programming language Ada : reference manual