NASA NTRS · 19690000562
Automatic computation of data-set definitions
Abstract
Mathematical method for the construction of a computer program data set description from a computer program contains detailed declarative information. Cartesian products and disjoint-union operators are used to yield a series of recursive group equations.
Keep this discovery
Explore connections, maps & timelines
Reynolds, J. C.. 1969-12-01. Automatic computation of data-set definitions. https://ntrs.nasa.gov/citations/19690000562
Cite the original work for its findings. Save a collection to share your selection of sources.