Empirical and formal language design applied to a unified control construct for interactive computing
- 31 March 1978
- journal article
- Published by Elsevier in International Journal of Man-Machine Studies
- Vol. 10 (2), 197-216
- https://doi.org/10.1016/s0020-7373(78)80012-1
Abstract
No abstract availableThis publication has 17 references indexed in Scilit:
- On control constructs for constructing programsACM SIGPLAN Notices, 1977
- An experimental evaluation of data type conventionsCommunications of the ACM, 1977
- An experimental investigation of the effect of program structure on program understandingACM SIGPLAN Notices, 1977
- The KAIL selectorACM SIGPLAN Notices, 1976
- Some psychological evidence on how people debug computer programsInternational Journal of Man-Machine Studies, 1975
- An Exploratory Study of Computer Program DebuggingHuman Factors: The Journal of the Human Factors and Ergonomics Society, 1974
- An axiomatic definition of the programming language PASCALActa Informatica, 1973
- Advances in Computer-based EducationScience, 1970
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Letters to the editor: go to statement considered harmfulCommunications of the ACM, 1968