Algol-Like Languages (Progress in Theoretical Computer Science)

O'Hearn, Peter W./ Tennant, Robert/ Tennent, Robert D.

Birkhauser Verlag AG（1996/12発売）

• 製本 Hardcover:ハードカバー版／ページ数 360 p.
• 言語 ENG
• 商品コード 9783764339371
• DDC分類 005.133

Full Description

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.

Contents

Part 1 Historical background: revised report on the algorithmic language ALGOL 60, Peter Naur et al; the varieties of programming language, Christopher Strachey. Part 2 Basic principles: the essence of ALGOL, John C, Reynolds; ALGOL and functional programming, Peter W. O'Hearn; orthogonality of assignments and procedures in ALGOL, Matthias Felleisen and Stephen Weeks; IDEALIZED ALGOL and its specification logic, John C. Reynolds; towards fully abstract semantics for local variables, Albert R. Meyer and Kurt Sieber. Part 3 Language design: design of the programming language FORSYTHE, John C. Reynolds; assignments for applicative languages, Vipin Swarup et al; syntactic control of interference, John C. Reynolds; contents of volume II.