Programming in a wide spectrum language: a collection of examples
- 1 October 1981
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 1 (1-2), 73-114
- https://doi.org/10.1016/0167-6423(81)90006-x
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Program Development as a Formal ActivityIEEE Transactions on Software Engineering, 1981
- Safe procedural implementations of algebraic typesInformation Processing Letters, 1980
- Towards a wide spectrum language to support program specification and program developmentACM SIGPLAN Notices, 1978
- Can programming be liberated from the von Neumann style?Communications of the ACM, 1978
- Recursive data structuresInternational Journal of Parallel Programming, 1975
- An introduction to the set theoretical language SETLComputers & Mathematics with Applications, 1975
- Programming by action clustersBIT Numerical Mathematics, 1969
- Recursive functions of symbolic expressions and their computation by machine, Part ICommunications of the ACM, 1960