ALGOL-like Languages by Peter W. O’Hearn, Robert D. Tennent

Posted by

By Peter W. O’Hearn, Robert D. Tennent

In fresh years there was a notable convergence of curiosity in programming languages in keeping with ALGOL 60. Researchers drawn to the idea of procedural and object-oriented languages found that ALGOL 60 indicates how one can upload approaches and item periods to basic valuable languages in a basic and fresh method. And, nonetheless, researchers attracted to simply practical languages came upon that ALGOL 60 indicates the right way to upload central mechanisms to sensible languages in a fashion that doesn't compromise their fascinating homes. regrettably, a few of the key works during this box were quite challenging to acquire. the first objective of this assortment is to take advantage of major fabric on ALGoL-like languages with ease to be had to graduate scholars and researchers. Contents creation to quantity 1 1 half I ancient historical past 1 half n simple ideas three half III Language layout five advent to quantity 2 6 half IV Functor-Category Semantics 7 half V Specification common sense 7 half VI techniques and native Variables eight half vn Interference, Irreversibility and Concurrency nine Acknowledgements eleven Bibliography eleven advent to quantity 1 This quantity comprises historic and foundational fabric, and works on lan­ guage layout. the entire fabric will be available to starting graduate scholars in programming languages and theoretical laptop Science.

Show description

Read Online or Download ALGOL-like Languages PDF

Similar programming: programming languages books

Professional JavaScript Frameworks: Prototype,YUI, ExtJS, Dojo and MooTools (Wrox Programmer to Programmer)

Because the industry-standard, must-know scripting language, JavaScript is supported by means of all significant browsers and is more and more the basis of recent net improvement applied sciences similar to Ajax and JSON. This booklet deals a range of a few of the main energetic and so much used JavaScript frameworks to be had, replete with useful examples and causes of what each one framework does top.

Extra info for ALGOL-like Languages

Sample text

Chapter 1. 3. Semantics A variable is a designation given to a single value. 2). The type of the value of a particular variable is defined in the declaration for the variable itself (cf. 1. Type Declarations) or for the corresponding array identifier (cf. 2. Array Declarations). 4. 1. Subscripted variables designate values which are components of multidimensional arrays (cf. 2. Array Declarations). Each arithmetic expression of the subscript list occupies one subscript position of the subscripted variable, and is called a subscript.

Restriction Since labels are inherently local, no go to statement can lead from outside into a block. A go to statement may, however, lead from outside into a compound statement. 36 Chapter 1. 5. Go to an undefined switch designator A go to statement is equivalent to a dummy statement if the designational expression is a switch designator whose value is undefined. 4. 1. Syntax (dummy statement) .. 2. Examples L: begin ... 3. Semantics A dummy statement executes no operation. It may serve to place a label.

2). The type of the value of a particular variable is defined in the declaration for the variable itself (cf. 1. Type Declarations) or for the corresponding array identifier (cf. 2. Array Declarations). 4. 1. Subscripted variables designate values which are components of multidimensional arrays (cf. 2. Array Declarations). Each arithmetic expression of the subscript list occupies one subscript position of the subscripted variable, and is called a subscript. The complete list of subscripts is enclosed in the subscript brackets [ J.

Download PDF sample

Rated 4.30 of 5 – based on 46 votes