Login / Signup
Programming by Refinement, as Exemplified by the SETL Representation Sublanguage.
Robert B. K. Dewar
Arthur Grand
Ssu-Cheng Liu
Jacob T. Schwartz
Edmond Schonberg
Published in:
ACM Trans. Program. Lang. Syst. (1979)
Keyphrases
</>
real time
programming language
neural network
artificial intelligence
website
software engineering
image representation
data sets
information systems
image sequences
multiresolution
image features
relevance feedback