KIDS: a semiautomatic program development system
- 1 January 1990
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 16 (9) , 1024-1043
- https://doi.org/10.1109/32.58788
Abstract
No abstract availableThis publication has 25 references indexed in Scilit:
- Derived preconditions and their use in program synthesisPublished by Springer Nature ,2005
- Mechanical translation of set theoretic problem specifications into efficient RAM code-A case studyJournal of Symbolic Computation, 1987
- Applications of a strategy for designing divide-and-conquer algorithmsScience of Computer Programming, 1987
- Report on the larch shared languageScience of Computer Programming, 1986
- Top-down synthesis of divide-and-conquer algorithmsArtificial Intelligence, 1985
- Program developmentsCommunications of the ACM, 1983
- Program Transformation SystemsACM Computing Surveys, 1983
- Finite Differencing of Computable ExpressionsACM 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
- Program development by stepwise refinementCommunications of the ACM, 1971