The European side of the last phase of the development of ALGOL 60

@inproceedings{Naur1978TheES,
  title={The European side of the last phase of the development of ALGOL 60},
  author={Peter Naur},
  booktitle={SIGP},
  year={1978}
}
  • P. Naur
  • Published in SIGP 1 August 1978
  • History
In preparing this account of some of the developments leading to ALGOL 60 I have primarily sought to present such relevant information that is readily available to myself, but not otherwise accessible or well known. In addition I have tried to answer the specific questions formulated by the organizers of the Conference on the History of Programming Languages. The notes fall in three freely intermixed groups: those that relate to existing documents, those that reflect my own reasoning as a… 

Details : The history of programming language semantics : an overview

The history of programming language semantics is explored by considering the history of model-based approaches to describing programming languages, with a particular focus on the IBM Laboratory Vienna under Heinz Zemanek, and the Programming Research Group at Oxford University under Christopher Strachey.

A history of ALGOL 68

The rigorous application of the principle oforthogonality makes ALGOL 68 one of the cleanest languages around, as this author hopes to show.

Universality versus Locality: The Amsterdam Style of Algol Implementation

This article elaborates on the tension between universality and locality by contrasting the Amsterdam and Munich styles of programming by highlighting Edsger Dijkstra's concept of a machine-independent object language.

The Advent of Recursion in Programming, 1950s-1960s

The presented results help to better understand the technological ancestry of modernday computer science, in the hope that contemporary researchers can more easily build upon its past.

Dijkstra's Rallying Cry for Generalization: The Advent of the Recursive Procedure, Late 1950s-Early 1960s

Some early contributions of Dijkstra are described by elaborating on his involvement in putting forward and implementing the recursive procedure as an ALGOL60 language construct and his generalizing style of solving problems.

The Invention of Programming Languages

This chapter examines developments in Programming notations during the 1950s, culminating in the proposals for the Algol language, and the parallel evolution of theoretical accounts of programming notations.

A gift from Pandora's box : The software crisis

It is argued that the patterns and tensions to be found throughout the whole development of software are not accidental: they arise not simply from academic controversies but from the very nature of software and from the social circumstances of its production and use.

On the Origin of Recursive Procedures

It is demonstrated that recursive procedure declarations and recursive procedure activations are logically disjoint concepts, and contributed to a clarification of some of the concepts related to recursion.

Programming Languages

Given the critical role of programming languages in computing today, the reader might suspect that the computing community quickly recognized the significance of the notion of high-level languages, and afforded its inventors the recognition and praise commensurate with such an important concept.

Easing the creation and maintenance of software systems through the use of domain machines

The author proposes a framework for the realisation of domain machines which when populated can provide separate specialised support for the particular characteristics of a software system design, and proves that adopting the framework is an improvement on traditional approaches to large scale system construction and evolution.

References

SHOWING 1-10 OF 74 REFERENCES

Report on the algorithmic language ALGOL 60

It was decided to hold an international meeting in January 1960 for improving the ALGOL language and preparing a final report, and seven representatives were selected to attend the January 1960 international conference.

Report on the Algorithmic Language ALGOL 68

Report of Algorithmic Language ALGOL 68

Working Group 2.1 on ALGOL of the International Federation for Information Processing has discussed the development of “ALGOL X”, a successor to ALGol 60 since 1963, and invited written descriptions of the language based on the previous discussions.

Preliminary report: international algebraic language

This appears to be a natural method for a 256 memory machine, if it had good indexing and looping features and the contribution of the left-hand term becomes proportionately large enough such that it alone might be used within accuracy limits after a certain number of digits are developed.

A syntax directed compiler for ALGOL 60

The author's algorithm is indebted to Arthur Anger, presently at Harvard University, for many helpful criticisms and suggestions, and for coding the algorithm on the UNiwxc 1105.

Revised report on the algorithmic languageAlgol 60

A complete defining description of the international algorithmic languageAlgol 60, a language suitable for expressing a large class of numerical processes in a form sufficiently concise for direct automatic translation into the language of programmed automatic computers is given.

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 syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM Conference

This paper gives a summary of the syntax and interpretation rules of the proposed international algebraic language put forward by the Zurich ACM-GAMM Conference, followed by a formal , complete

The remaining trouble spots in ALGOL 60

This paper lists the ambiguities remaining in the language ALGOL 60, which have been noticed since the publication of the Revised ALGOL 60 Report in 1963.

The programming language PASCAL

  • J. Wakerly
  • Computer Science
    Microprocess. Microsystems
  • 1979
...