The ALCOR Illinois 7090/7094 post mortem dump

@article{Bayer1967TheAI,
  title={The ALCOR Illinois 7090/7094 post mortem dump},
  author={Rudolf Bayer and David Gries and Manfred Paul and Hans R{\"u}diger Wiehle},
  journal={Commun. ACM},
  year={1967},
  volume={10},
  pages={804-808}
}
A dump technique for programs written in ALGOL 60 is described. This technique provides an intelligible analysis of an unsuccessful computation process in terms of the original source program. 

Figures from this paper

Some validation tests for an Algol 60 compiler

This report contains details of over 100 Algol 60 test programs available from NPL which can be used to validate a compiler. Interpreting the results of the tests requires a good knowledge of Algol

Translator design to support run‐time debugging

Designers and implementors of high‐level language translators can, with relatively little extra effort, greatly facilitate run‐time symbolic debugging. Practical suggestions are presented, based on

The design of a high-level, language-independent symbolic debugging system

The design of a language-independent, interactive system to facilitate the analysis and symbolic debugging of computer programs written in high-level languages is presented and its realization is illustrated by examples of debugging commands and procedures encoded in a debugging language.

Debugging aids for hybrid- computer programmers

The analog-dump and static-check methods recommended here, at worst, help hybrid programmers with their debugging efforts by automating certain common tac tics and how correction of these errors can be auto mated to some extent.

External Characteristics of Computer Operations: Toward Large Conversational Time-Sharing Systems

  • H. Wiehle
  • Computer Science
    IEEE Annals of the History of Computing
  • 2010
The ways German universities and similar institutions initially used small computers are discussed, as well as the emergence of high-level programming languages, the appearance and predominance of large batch-processing systems, and the arising efforts to reestablish a conversational mode of operations.

Compiler Construction

  • N. Wirth
  • Computer Science
    Lecture Notes in Computer Science
  • 1994
This book has emerged from my lecture notes for an introductory course in compiler design at ETH Zürich, and will try to explain why the subject of compiler design is considered as important and relevant to computer science students in general.

A software debugging glossary

This glossary contains 291 definitions of terms dealing with the debugging of computer software. The list includes numerous synonyms, as well as the proper names of debugging systems described in the

An in – core batching standard fortran complier for large ICL 1900 machines

A complier which, although its main aim was to process batches of small student jobs, was desinged to compete with all the manufacturer's compliers on their chosen ground.

Compiler Construction

The overall compiler structure that the authors shall use in this book is outlined in Figures 1.4 through 1.8, and below is the decomposition of the problem, with boxes representing subtasks.

Rechnerbetrieb aus Benutzersicht: Auf dem Weg zu den großen dialogfähigen Timesharing-Systemen

  • H. Wiehle
  • Computer Science
    Informatik - Forschung und Entwicklung
  • 2008
A historic review of computer operations in a scientific-technical environment from the second half of the fifties to the middle of the sixties, which concentrates on the access modalities and computer supported tools with which normal users had to accomplish their program developments.

References

SHOWING 1-5 OF 5 REFERENCES

Some techniques used in the ALCOR ILLINOIS 7090

An ALGOL compiler has been written by the ALCOR group for the IBM 7090. Some little known but significant techniques in compiler writing, together with organizational details of this compiler, are

Revised report on the algorithm language ALGOL 60

a survey of the basic coustituents arid fcuturcs of the language is given, and the formal notation, by which the syntactic structure is defined, is esplaincd. The sccnnd chapter lists all the basic

The ALCOR Illinois 7090 Post 5,~ortem Dump, description and imbedding instructions

  • Dept. of Comput. Sci., U. of Illinois
  • 1966

=X*3+YIX)., 'INTEGER' 'PRGCECURE' EXTERN IX)., 'REAL' X., 'CDDE'.~ MATRIX(/3/) .=3.7., A .=IOOO., C .='TRUE'.t 'IF' A 'GREATER' REALPIAiA,EXTERN) 'THEN' R .=REAEP(A*A,EXTERN).t 'END' 'FINIS

  • =X*3+YIX)., 'INTEGER' 'PRGCECURE' EXTERN IX)., 'REAL' X., 'CDDE'.~ MATRIX(/3/) .=3.7., A .=IOOO., C .='TRUE'.t 'IF' A 'GREATER' REALPIAiA,EXTERN) 'THEN' R .=REAEP(A*A,EXTERN).t 'END' 'FINIS