(untitled)¶
J.T. Schwartz, R. B. K. (untitled).
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Domain-specific¶
- Set theoretic programming
- Set-theoretic programming expresses computation through membership, comprehension, union, relation composition, quantification, and nondeterministic choice as in SETL.
This sourceDewar, E. Dubinsky, and E. Schonberg. Programming with sets, an introduction to SETL. Springer-Verlag, 1986.
- Set-theoretic programming expresses computation through membership, comprehension, union, relation composition, quantification, and nondeterministic choice as in SETL.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:a14283ab046b · see in the full table