Knowledge-based programming: A survey of program design and construction techniques

An application of artificial intelligence (AI) to the development of software is presented for the construction of efficient implementations of programs from formal high-level specifications. Central to this discussion is the notion of program development by means of program transformation. Using th...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on software engineering 1986-07, Vol.SE-12 (7), p.752-768
Main Author: Goldberg, A. T.
Format: Article
Language:English
Subjects:
Applied sciences
Artificial intelligence
Computer programming
Computer science
control theory
systems
Conversational language
Data structures
Development
Engineering
Exact sciences and technology
Knowledge
Knowledge based systems
Knowledge-based software development
Learning and adaptive systems
Optimization
program optimization
program synthesis
program transformation
Programming
Semantics
Software
very-high-level languages
Citations: Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:An application of artificial intelligence (AI) to the development of software is presented for the construction of efficient implementations of programs from formal high-level specifications. Central to this discussion is the notion of program development by means of program transformation. Using this methodology, a formal specification is compiled (either manually or automatically) into an efficient implementation by the repeated application of correctness-preserving, source-to-source transformations. The author considers techniques for data structure selection, the procedural representation of logic assertions, store-versus-compute, finite differencing, loop fusion, and algorithm design methods presented from the point of view of algorithm design and high-level program optimization.
ISSN:0098-5589
1939-3520
DOI:10.1109/TSE.1986.6312977