Hierarchical design and efficient implementation in SETL: a case study

Authors:
Edmond Schonberg
Affiliations:
Illinois Institute of Technology, Chicago, Ill.
Venue:
ACM SIGPLAN Notices
Year:
1979

Citing 3
Cited 0

Programming by Refinement, as Exemplified by the SETL Representation Sublanguage

ACM Transactions on Programming Languages and Systems (TOPLAS)
An example of hierarchical design and proof

Communications of the ACM
Structured programming

Structured programming

Quantified Score

Hi-index	0.00

Visualization

Abstract