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 and Topics 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 AlgolExpand
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 onExpand
The design of a high-level, language-independent symbolic debugging system
TLDR
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. Expand
Debugging aids for hybrid- computer programmers
TLDR
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. Expand
External Characteristics of Computer Operations: Toward Large Conversational Time-Sharing Systems
  • H. Wiehle
  • Computer Science
  • IEEE Annals of the History of Computing
  • 2010
TLDR
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. Expand
Compiler Construction
  • N. Wirth
  • Computer Science
  • Lecture Notes in Computer Science
  • 1994
TLDR
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. Expand
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 theExpand
An in – core batching standard fortran complier for large ICL 1900 machines
TLDR
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. Expand
Compiler Construction
TLDR
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. Expand
Rechnerbetrieb aus Benutzersicht: Auf dem Weg zu den großen dialogfähigen Timesharing-Systemen
  • H. Wiehle
  • Computer Science
  • Informatik - Forschung und Entwicklung
  • 2008
TLDR
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. Expand
...
1
2
...

References

SHOWING 1-7 OF 7 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, areExpand
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 basicExpand
The ALCOR Illinois 7090 Post 5,~ortem Dump, description and imbedding instructions
  • Dept. of Comput. Sci., U. of Illinois
  • 1966
User's manual for the ALCOR ILLINOIS 7090 ALGOL-60 Translator
  • Dept. of Comput. Sci., U. of Illinois
  • 1964
Revised report on the algorithmic language ALGOL 60
TLDR
This paper introduces a new programming model that affected the design of programming languages in the decades to come, and gives meaning to LISP through a meta-circular " defunctionalized " interpreter and discusses the implementation of LISp's runtime. Expand
=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