This paper is an introduction to the main features of ALGOL 68, emphasizing the novel features not found in many other programming languages. The top...

The current use of formal definitions of programming languages is very limited, largely because of a lack of fully developed techniques and because o...

The purpose of this paper is to describe the concepts, definitions, and ideas of computer architecture and to suggest that architecture can be viewed...

The ways that the methods of data flow analysis can be applied to improve software reliability are described. There is also a review of the basic ter...

This paper develops four related architectural principles which can guide the construction of error-tolerant operating systems. The fundamental princ...