NASA NTRS · 19880014812
Automatic program generation from specifications using PROLOG
Abstract
An automatic program generator which creates PROLOG programs from input/output specifications is described. The generator takes as input descriptions of the input and output data types, a set of transformations and the input/output relation. Abstract data types are used as models for data. They are defined as sets of terms satisfying a system of equations. The tests, the transformations and the input/output relation are also specified by equations.
Keep this discovery
Explore connections, maps & timelines
Pelin, Alex, Morrow, Paul. 1988-06-01. Automatic program generation from specifications using PROLOG. https://ntrs.nasa.gov/citations/19880014812
Cite the original work for its findings. Save a collection to share your selection of sources.