Readings in Artificial Intelligence and Software Engineering

BIBLIOGRAPHY

Readings in Artificial Intelligence and Software Engineering ◽

10.1016/b978-0-934613-12-5.50050-1 ◽

1986 ◽

pp. 589-599

Download Full-text

A Perspective on Automatic Programming Used by permission of the International Joint Conferences on Artificial Intelligence; copies of the Proceedings are available from Morgan Kaufmann Publishers, Inc., 95 First St., Los Altos, CA 94055 USA.

Readings in Artificial Intelligence and Software Engineering ◽

10.1016/b978-0-934613-12-5.50045-8 ◽

1986 ◽

pp. 537-559 ◽

Cited By ~ 1

Author(s):

David Barstow

Keyword(s):

Artificial Intelligence ◽

Automatic Programming ◽

International Joint

Download Full-text

The Draco Approach to Constructing Software from Reusable Components Manuscript received August 1, 1983; revised May 14, 1984. This work was supported by the National Science Foundation under Grant MCS-81-03718 and by the Air Force Office of Scientific Research (AFOSR).

Readings in Artificial Intelligence and Software Engineering ◽

10.1016/b978-0-934613-12-5.50044-6 ◽

1986 ◽

pp. 525-535

Author(s):

JAMES M. NEIGHBORS

Keyword(s):

Air Force ◽

National Science Foundation ◽

Scientific Research ◽

Reusable Components ◽

National Science

Download Full-text

Program Abstraction and Instantiation An earlier version of this paper was presented at the Fifth Conference on Software Engineering, San Diego, Calif., March 1981.

Readings in Artificial Intelligence and Software Engineering ◽

10.1016/b978-0-934613-12-5.50040-9 ◽

1986 ◽

pp. 475-490

Author(s):

NACHUM DERSHOWITZ

Keyword(s):

Software Engineering ◽

San Diego

Download Full-text

Intelligent Program Analysis

Readings in Artificial Intelligence and Software Engineering ◽

10.1016/b978-0-934613-12-5.50036-7 ◽

1986 ◽

pp. 431-441

Author(s):

Gregory R. Ruth

Keyword(s):

Program Analysis

Download Full-text

Programming by Examples

Readings in Artificial Intelligence and Software Engineering ◽

10.1016/b978-0-934613-12-5.50029-x ◽

1986 ◽

pp. 317-327

Author(s):

Michael A. Bauer

Download Full-text

Reusability Through Program Transformations Manuscript received August 1, 1983; revised May 14, 1984.

Readings in Artificial Intelligence and Software Engineering ◽

10.1016/b978-0-934613-12-5.50016-1 ◽

1986 ◽

pp. 185-190

Author(s):

THOMAS E. CHEATHAM

Keyword(s):

Program Transformations

Download Full-text

On the Efficient Synthesis of Efficient Programs**The research reported here was conducted while the author was at Stanford University. The work was supported by a National Science Foundation Fellowship, by a Fannie and John Hertz Foundation Fellowship, by the Stanford Artificial Intelligence Laboratory under ARPA Order 2494, Contract MDA903-76-C-0206, and by Systems Control, Inc. under ARPA Order 3687, Contract N00014-79-C-0127. The views and conclusions contained in this paper should not be interpreted as necessarily representing the official policies, either expressed or implied, of any funding agency.

Readings in Artificial Intelligence and Software Engineering ◽

10.1016/b978-0-934613-12-5.50015-x ◽

1986 ◽

pp. 157-183 ◽

Cited By ~ 2

Author(s):

Elaine Kant ◽

R.M. Burstall

Keyword(s):

Artificial Intelligence ◽

National Science Foundation ◽

Funding Agency ◽

Stanford University ◽

Efficient Synthesis ◽

National Science ◽

Systems Control ◽

Artificial Intelligence Laboratory

Download Full-text

Mechanical proofs about computer programs

Readings in Artificial Intelligence and Software Engineering ◽

10.1016/b978-0-934613-12-5.50009-4 ◽

1986 ◽

pp. 65-85

Author(s):

D.I. Good

Keyword(s):

Computer Programs

Download Full-text

A Deductive Approach to Program Synthesis This research was supported in part by the National Science Foundation under Grants MCS 76-83655 and MCS 78-02591, in part by the Office of Naval Research under Contracts N00014-76-C-0687 and N00014-75-C-0816, in part by the Defense Advanced Research Projects Agency of the Department of Defense under Contract MDA903-76-C-0206, and in part by the United States–Israel Binational Science Foundation.

Readings in Artificial Intelligence and Software Engineering ◽

10.1016/b978-0-934613-12-5.50006-9 ◽

1986 ◽

pp. 3-34 ◽

Cited By ~ 6

Author(s):

ZOHAR MANNA ◽

RICHARD WALDINGER

Keyword(s):

United States ◽

Department Of Defense ◽

National Science Foundation ◽

Program Synthesis ◽

The United States ◽

Naval Research ◽

Research Projects ◽

Office Of Naval Research ◽

National Science ◽

Binational Science Foundation

Download Full-text

Readings in Artificial Intelligence and Software Engineering
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Elsevier

BIBLIOGRAPHY

A Perspective on Automatic Programming Used by permission of the International Joint Conferences on Artificial Intelligence; copies of the Proceedings are available from Morgan Kaufmann Publishers, Inc., 95 First St., Los Altos, CA 94055 USA.

The Draco Approach to Constructing Software from Reusable Components Manuscript received August 1, 1983; revised May 14, 1984. This work was supported by the National Science Foundation under Grant MCS-81-03718 and by the Air Force Office of Scientific Research (AFOSR).

Program Abstraction and Instantiation An earlier version of this paper was presented at the Fifth Conference on Software Engineering, San Diego, Calif., March 1981.

Intelligent Program Analysis

Programming by Examples

Reusability Through Program Transformations Manuscript received August 1, 1983; revised May 14, 1984.

Mechanical proofs about computer programs

Export Citation Format

Readings in Artificial Intelligence and Software EngineeringLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Elsevier

BIBLIOGRAPHY

A Perspective on Automatic Programming Used by permission of the International Joint Conferences on Artificial Intelligence; copies of the Proceedings are available from Morgan Kaufmann Publishers, Inc., 95 First St., Los Altos, CA 94055 USA.

The Draco Approach to Constructing Software from Reusable Components Manuscript received August 1, 1983; revised May 14, 1984. This work was supported by the National Science Foundation under Grant MCS-81-03718 and by the Air Force Office of Scientific Research (AFOSR).

Program Abstraction and Instantiation An earlier version of this paper was presented at the Fifth Conference on Software Engineering, San Diego, Calif., March 1981.

Intelligent Program Analysis

Programming by Examples

Reusability Through Program Transformations Manuscript received August 1, 1983; revised May 14, 1984.

Mechanical proofs about computer programs

Readings in Artificial Intelligence and Software Engineering
Latest Publications