Program development by stepwise transformations — The project CIP
- 1 January 1979
- book chapter
- Published by Springer Nature
- p. 237-272
- https://doi.org/10.1007/bfb0014671
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- A study on transformational semanticsPublished by Springer Nature ,1979
- Towards a wide spectrum language to support program specification and program developmentACM SIGPLAN Notices, 1978
- Data Types as LatticesSIAM Journal on Computing, 1976
- InformatikPublished by Springer Nature ,1974
- BLISSCommunications of the ACM, 1971
- The Equivalence of Certain ComputationsThe Computer Journal, 1966
- The next 700 programming languagesCommunications of the ACM, 1966