Algol-like Languages - Rilegato

O'Hearn, Peter; Tennent, Robert

 
9780817638801: Algol-like Languages

Sinossi

In 1959 John Backus presented a paper on a proposed international algebraic language which evolved into ALGOL 60. This set of two volumes aims to review the attempts over recent years to use programming languages based on ALGOL 60, using Backus' original document as an introduction.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

I Historical Background.- 1 Revised Report on the Algorithmic Language ALGOL 60.- 2 The Varieties of Programming Language.- II Basic Principles.- 3 The Essence of ALGOL.- 4 ALGOL and Functional Programming.- 5 Orthogonality of Assignments and Procedures in ALGOL.- 6 IDEALIZED ALGOL and its Specification Logic.- 7 Towards Fully Abstract Semantics for Local Variables.- III Language Design.- 8 Design of the Programming Language FORSYTHE.- 9 Assignments for Applicative Languages.- 10 Syntactic Control of Interference.

Product Description

Book by OHearn Peter Tennent Robert

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo