Towards a wide spectrum language to support program specification and program development
- 1 December 1978
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 13 (12), 15-24
- https://doi.org/10.1145/954587.954588
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Report on the programming language EuclidACM SIGPLAN Notices, 1977
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- Data Types as LatticesSIAM Journal on Computing, 1976
- Improving and refining programs by program manipulationPublished by Association for Computing Machinery (ACM) ,1976
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975
- Specification techniques for data abstractionsIEEE Transactions on Software Engineering, 1975
- Correctness-preserving program transformationsPublished by Association for Computing Machinery (ACM) ,1975
- Structured Programming with go to StatementsACM Computing Surveys, 1974