Data type specification: Parameterization and the power of specification techniques
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
Teaching data abstraction to the practicing programmer: A case study
SIGCSE '80 Proceedings of the eleventh SIGCSE technical symposium on Computer science education
Capsules: A data abstraction facility for Pascal
ACM '81 Proceedings of the ACM '81 conference
Hi-index | 0.00 |