Topic
ALGOL 68
About: ALGOL 68 is a research topic. Over the lifetime, 293 publications have been published within this topic receiving 3757 citations. The topic is also known as: ALGOrithmic Language 1968.
Papers published on a yearly basis
Papers
TL;DR: 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 explained.
Abstract: 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 symbols, and the syntactic units known as identifiers, numbers and strings are defined. Further, some im.portant notions such as cliiantity and value are defined. The third chapter explains the rules for forming expressions and the meaning of these expressions. Three different types of expressions exist: arithmetic, Boolean (logical) and designational. The fourth chapter describes the operational units of the language, known as statements. The basic statements are : assignment statements (evaluation of a formula), go to statements (explicit break of the sequence of execution of statements), dummy statements, and procedure statements (call for execution of a closed process, defined by a procedure declaration). The formation of more complex structures, having statement character, is explained. These include : conditional statements, for statements, compound statements, and blocks. In the fifth chapter, the units known as declarations, serving for defining permanent properties of the units entering into a process described in the language, are defined. The report ends with two detailed examples of the use of the language and an alphabetic index of definitions.
950 citations
1 Jan 1976
TL;DR: The report gives a complete defining description of the international algorithmic language Algol 60.
Abstract: The report gives a complete defining description of the international algorithmic language Algol 60. This is a language suitable for expressing a large class of numerical processes in a form suitably concise for direct automatic translation into the language of programmed automatic computers.
364 citations
Journal Article•
302 citations
Book•
19 Apr 1976
TL;DR: Algol 60 as discussed by the authors is a language suitable for expressing a large class of numerical processes in a form suitably concise for direct automatic translation into the language of programmed automatic computers.
Abstract: The report gives a complete defining description of the international algorithmic language Algol 60. This is a language suitable for expressing a large class of numerical processes in a form suitably concise for direct automatic translation into the language of programmed automatic computers.
158 citations
1 Jan 1979
TL;DR: This paper defines Predicate Path Expressions (PPEs), which allow for a more convenient specification of many synchronization problems, and formally defines the semantics of PPEs by a transformation to a corresponding nondeterministic program, thus allowing the use of known verification techniques for nond deterministic programs to be used for proving properties of the PPE and the data abstraction of which it is a part.
Abstract: Path expressions are a tool for synchronization of concurrent processes. They are an integral part of the data abstraction mechanism in a programming language, and specify synchronization entirely in terms of the allowable sequences of operations on an object of the abstract data type. This paper describes an attempt to push the path expression synchronization construct along three dimensions - specification, verification, and implementation - into a useful theoretical and practical tool. We define Predicate Path Expressions (PPEs), which allow for a more convenient specification of many synchronization problems. The predicate is a powerful extension to path expressions that increases their expressiveness. We formally define the semantics of PPEs by a transformation to a corresponding nondeterministic program, thus allowing the use of known verification techniques for nondeterministic programs to be used for proving properties of the PPE and the data abstraction of which it is a part. We also describe our existing implementation, in Algol 68, of a data abstraction mechanism that incorporates PPEs.
146 citations
Related Topics (5)
Performance Metrics
| Year | Papers |
|---|---|
| 2014 | 1 |
| 2003 | 1 |
| 1996 | 3 |
| 1994 | 1 |
| 1993 | 4 |
| 1992 | 1 |