A methodology for programming abstract data types in Ada
- 6 October 1982
- proceedings article
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Ada-Europe guidelines for the portability of Ada programsACM SIGAda Ada Letters, 1982
- An Automatic Technique for Selection of Data Representations in SETL ProgramsACM Transactions on Programming Languages and Systems, 1981
- Studies in Ada StylePublished by Springer Nature ,1981
- The Use of Data Abstraction in Program DesignPublished by Springer Nature ,1980
- On the criteria to be used in decomposing systems into modulesCommunications of the ACM, 1972
- Proof of correctness of data representationsActa Informatica, 1972