NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Automatic program generation from specifications using PROLOGAn 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.
Document ID
19880014812
Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
Pelin, Alex (Florida International Univ. Miami., United States)
Morrow, Paul (Air Force Weapons Lab. Kirtland AFB, N. Mex., United States)
Date Acquired
September 5, 2013
Publication Date
June 1, 1988
Publication Information
Publication: NASA, Marshall Space Flight Center, Third Conference on Artificial Intelligence for Space Applications, Part 2
Subject Category
Computer Programming And Software
Accession Number
88N24196
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

There are no records associated with this record.
No Preview Available