Programming by Refinement, as Exemplified by the SETL Representation Sublanguage
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automatic data structure choice in a language of very high level
Communications of the ACM
Automatic data structure choice in a language of very high level
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Improving and refining programs by program manipulation
ACM '76 Proceedings of the 1976 annual conference
Selection of representations for data structures
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Hi-index | 0.02 |