Abstraction Techniques in Modern Programming Languages
- 1 October 1984
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Software
- Vol. 1 (4), 10-26
- https://doi.org/10.1109/ms.1984.229453
Abstract
Modern Programming languages depend on abstraction: they manage complexity by emphazing what is significant to the user and suppressing what is not.Keywords
This publication has 39 references indexed in Scilit:
- Debugging Larch shared language specificationsIEEE Transactions on Software Engineering, 1990
- Toward relaxing assumptions in languages and their implementationsACM SIGPLAN Notices, 1980
- Specification and verification of the UCLA Unix security kernelCommunications of the ACM, 1980
- Constructing verified and reliable communications processing systemsACM SIGSOFT Software Engineering Notes, 1977
- Early experience with MesaCommunications of the ACM, 1977
- GypsyACM SIGPLAN Notices, 1977
- Security Kernel validation in practiceCommunications of the ACM, 1976
- A view of program verificationACM SIGPLAN Notices, 1975
- Protection in programming languagesCommunications of the ACM, 1973
- Letters to the editor: go to statement considered harmfulCommunications of the ACM, 1968