Showing programs on a screen
- 31 December 1985
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 5, 111-142
- https://doi.org/10.1016/0167-6423(85)90008-5
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Showing programs on a screenScience of Computer Programming, 1985
- A specification languageLecture Notes in Computer Science, 1982
- The Cornell program synthesizerCommunications of the ACM, 1981
- Prettyprinting in an interactive programming environmentACM SIGPLAN Notices, 1981
- PrettyprintingACM Transactions on Programming Languages and Systems, 1980
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975
- Procedures and parameters: An axiomatic approachLecture Notes in Mathematics, 1971