Trends in the Design and Implementation of Programming Languages
- 1 January 1980
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer
- Vol. 13 (1) , 14-25
- https://doi.org/10.1109/mc.1980.1653336
Abstract
By the end of the decade, advances in areas such as structured programming, specification, verification, and language design will have transformed programming into a true engineering discipline.Keywords
This publication has 19 references indexed in Scilit:
- Logical Design Of Deductive Natural Language Consultable Data BasesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Exception Handling in CLUIEEE Transactions on Software Engineering, 1979
- Code Generation for Expressions with Common SubexpressionsJournal of the ACM, 1977
- Observations of Fallibility in Applications of Modern Programming MethodologiesIEEE Transactions on Software Engineering, 1976
- The programming language Concurrent PascalIEEE Transactions on Software Engineering, 1975
- A view of program verificationACM SIGPLAN Notices, 1975
- HYDRACommunications of the ACM, 1974
- On the criteria to be used in decomposing systems into modulesCommunications of the ACM, 1972
- A technique for software module specification with examplesCommunications of the ACM, 1972
- Proof of correctness of data representationsActa Informatica, 1972