Whetstone wanderings
January 2011
Pages 84 - 92
Abstract
The paper starts with a description of research work undertaken by the author based upon the Whetstone compiler and interpreter. This leads naturally onto the controversial area of the successor to ALGOL 60. The author's choice would be Ada due to his involvement with the language. Next is a reflection on the Whetstone system made possible by an emulator of the KDF9 computer. Finally, there is a reflection on modern computing which appears to have gone downhill as far as software is concerned.
References
[1]
Barnes, J.: High Integrity Software - the Spark approach to safety and security. Addison-Wesley, Reading (2003)
[2]
Stroustrup, B.: The Design and Evolution of C++. Addison-Wesley, Reading (1994)
[3]
Randell, B., Russell, L. J.: ALGOL 60 Implementation. Academic Press, London (1964)
[4]
Wichmann, B. A.: Some statistics from ALGOL programs. NPL, CCU report (1970)
[5]
Wichmann, B. A.: Five ALGOL compilers. The Computer Journal. Comp. Journal 15(1), 8-12 (1972)
[6]
Curnow, H. J., Wichmann, B. A.: A synthetic benchmark. Computer Journal 19(1), 43-49 (1976)
[7]
Wichmann, B. A.: ALGOL 60 Compilation and Assessment, p. 317. Academic Press, London (1973)
[8]
Holt, R.C., Hume, J. N. P.: Introduction to Computer Science using the Turing Programming language. Reston Publishing (1984)
[9]
Roy Longbottom's PC Benchmark Collection, http://www.roylongbottom.org.uk/whetstone.htm
[10]
Wichmann, B. A.: A comparison of Pascal and Ada. Computer Journal 25(2), 248- 252
[11]
Roberts, K. V., Peckover, R. S.: Symbolic Programming for Plasma Physics. Culham Laboratory Report CLM-P 257 November 257
[12]
Wichmann, B. A.: Why Ada is for you. In: Woodman, M. (ed.) Programming Language Choice - Practice and Experience, pp. 125-134. Thomson Computer Press (1996) ISBN 1-85032-186-8
[13]
The ALGOL Bulletin, http://archive.computerhistory.org/resources/text/algol/ algol bulletin/, currently not available, but can be found on the ACM portal
[14]
Swade, D.: Pioneer Profile: Ada Lovelace. Resurrection (53), 31-34 (2010)
[15]
ISO/IEC JTC 1/SC 22/WG 23. Programming Language Vulnerabilities
[16]
Modified Report on the Algorithmic Language ALGOL 60. Computer Journal (1976)
[17]
Wichmann, B. A.: Computer Science has failed Software Engineering. OU talk
[18]
Wichmann, B. A.: Programming Languages - Glories and Blunders. Talk for BCS G5 (April 2007)
[19]
Wichmann, B. A.: Before Moore's Law. Resurrection (33), 19-24 (2004)
Recommendations
Layout-sensitive language extensibility with SugarHaskell
Haskell '12: Proceedings of the 2012 Haskell SymposiumProgrammers need convenient syntax to write elegant and concise programs. Consequently, the Haskell standard provides syntactic sugar for some scenarios (e.g., do notation for monadic code), authors of Haskell compilers provide syntactic sugar for more ...
Layout-sensitive language extensibility with SugarHaskell
Haskell '12Programmers need convenient syntax to write elegant and concise programs. Consequently, the Haskell standard provides syntactic sugar for some scenarios (e.g., do notation for monadic code), authors of Haskell compilers provide syntactic sugar for more ...
A certified framework for compiling and executing garbage-collected languages
ICFP '10We describe the design, implementation, and use of a machine-certified framework for correct compilation and execution of programs in garbage-collected languages. Our framework extends Leroy's Coq-certified Compcert compiler and Cminor intermediate ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 01 January 2011
Qualifiers
- Chapter
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 13 Nov 2024