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

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

In contemporary years there was a extraordinary convergence of curiosity in programming languages in response to ALGOL 60. Researchers drawn to the idea of procedural and object-oriented languages chanced on that ALGOL 60 indicates the best way to upload systems and item periods to basic valuable languages in a common and fresh approach. And, nevertheless, researchers drawn to merely practical languages chanced on that ALGOL 60 exhibits how one can upload primary mechanisms to practical languages in a manner that doesn't compromise their fascinating homes. regrettably, some of the key works during this box were relatively challenging to procure. the first objective of this assortment is to take advantage of major fabric on ALGoL-like languages comfortably on hand to graduate scholars and researchers. Contents advent to quantity 1 1 half I historic historical past 1 half n simple ideas three half III Language layout five creation 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 creation to quantity 1 This quantity includes historic and foundational fabric, and works on lan­ guage layout. all the fabric can be available to starting graduate scholars in programming languages and theoretical desktop Science.

Show description

Read or Download ALGOL-like Languages PDF

Best programming: programming languages books

Mastering Visual Basic .NET. Bonus: Transact SQL

The publication is going into hugely particular aspect approximately themes given brief shrift in different books. for instance, Petroutsos is going past exhibiting you ways to populate an array; he additionally indicates tips to retailer the array to a disk dossier. within the printing bankruptcy, he does not simply express how you can print a number of traces of textual content; he exhibits tips to print a textual content dossier (including the good judgment to wreck lengthy lines), and the way to print tabular information and bitmaps.

Computational Physics: Fortran Version

Computational Physics is designed to supply direct event within the desktop modeling of actual structures. Its scope contains the basic numerical suggestions had to "do physics" on a working laptop or computer. every one of those is built heuristically within the textual content, by means of basic mathematical illustrations.

Extra resources for ALGOL-like Languages

Example text

Otherwise, it will be skipped and the operation will be continued with the next statement. 2. Conditional statement. According to the syntax, two different forms of conditional statements are possible. These may be illustrated as follows: if Bl then 51 else if B2 then 52 else 53 ; 54 and if Bl then 51 else if B2 then 52 else if B3 then 53 ; 54 P. ),]. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, et al. 37 Here Bl to B3 are Boolean expressions, while SI to S3 are unconditional statements.

It is recommended that this reserved list should contain: abs(E) for the modulus (absolute value) of the value of the expression E sign(E) for the sign of the value of E (+ 1 for E>O, 0 for E =0, -1 for E <0) sqrt(E) for the square root of the value of E for the sine of the value of E sin(E) for the cosine of the value of E cos(E) arctan(E) for the principal value of the arctangent of the value of E for the natural logarithm of the value of E In(E) exp(E) for the exponential function of the value of E (e E ) These functions are all understood to operate indifferently on arguments both of type real and integer.

P. ),]. W. Backus, F. L. Bauer,]. Green, C. Katz,]. McCarthy, et al. 33 In order to make it possible to define a specific dynamic succession, statements may be provided with labels. Since sequences of statements may be grouped together into compound statements and blocks, the definition of statement must necessarily be recursive. Also since declarations, described in section 5, enter fundamentally into the syntactic structure, the syntactic definition of statements must suppose declarations to be already defined.

Download PDF sample

Rated 4.93 of 5 – based on 8 votes