Mechanical translation of set theoretic problem specifications into efficient RAM code-A case study
- 1 October 1987
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 4 (2) , 207-232
- https://doi.org/10.1016/s0747-7171(87)80066-4
Abstract
No abstract availableKeywords
This publication has 50 references indexed in Scilit:
- Program derivation by fixed point computationScience of Computer Programming, 1989
- Computer-assisted microanalysis of programsCommunications of the ACM, 1982
- Finite Differencing of Computable ExpressionsACM Transactions on Programming Languages and Systems, 1982
- Some Observations Concerning Formal Differentiation of Set Theoretic ExpressionsACM Transactions on Programming Languages and Systems, 1982
- Programming with EquationsACM Transactions on Programming Languages and Systems, 1982
- An Automatic Technique for Selection of Data Representations in SETL ProgramsACM Transactions on Programming Languages and Systems, 1981
- Computational problems related to the design of normal form relational schemasACM Transactions on Database Systems, 1979
- High level iterators and a method for automatically designing data structure representationComputer Languages, 1975
- Automatic data structure choice in a language of very high levelCommunications of the ACM, 1975
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955