Journal of the ACM (JACM)
Symbolic execution and program testing
Communications of the ACM
Assertions and APL programming
APL '75 Proceedings of seventh international conference on APL
Fable: A programming-language solution to IC process automation problems
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
Assertional checking and symbolic execution: An effective combination for debugging
ACM '79 Proceedings of the 1979 annual conference
The design of a high-level, language-independent symbolic debugging system
ACM '77 Proceedings of the 1977 annual conference
Methods for teaching program verification
SIGCSE '75 Proceedings of the fifth SIGCSE technical symposium on Computer science education
Setting the foundations of computer science in a business oriented program
SIGCSE '75 Proceedings of the fifth SIGCSE technical symposium on Computer science education
Comments on parameter passing techniques in programming languages
ACM SIGPLAN Notices
Programming languages with hierarchical structure
ACM SIGPLAN Notices
SAGES: system aiding the generation of engineering software
ACM SIGPLAN Notices
Experience with extensible, portable Fortran extensions
ACM SIGPLAN Notices
The roots of structured programming
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
Multiple evaluators in an extensible programming system
AFIPS '72 (Fall, part II) Proceedings of the December 5-7, 1972, fall joint computer conference, part II
| Hi-index | 0.02 |
"A Contribution to the Development of ALGOL" by Niklaus Wirth and C. A. R. Hoare was the basis for a compiler developed for the IBM 360 at Stanford University. This report is a description of the implemented language, ALGOL W. Historical background and the goals of the language may be found in the Wirth and Hoare paper. This manual refers to the version of the Algol W compiler dated 16 January 1972.