Algol-Like Languages (Progress in Theoretical Computer Science)

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

Birkhauser Verlag AG（1996/12発売）

• 製本 Hardcover:ハードカバー版／ページ数 296 p.
• 言語 ENG
• 商品コード 9783764338800
• 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 4 Functor-category semantics: functor categories and store shapes, Frank J. Oles; using functor categories to generate intermediate code, John C. Reynolds. Part 5 Specification logic: semantical analysis of specification logic, Robert D. Tennent; semantical analysis of specification logic, 2, Peter W. O'Hearn and Robert D. Tennent. Part 6 Procedures and local variables: full abstraction for the second-order subset, Kurt Sieber; parametricity and local variables, Peter W. O'Hearn and Robert D. Tennent; operationally-based reasoning about local variables, Andrew M. Pitts. Part 7 Interference, irreversibility and concurrency: syntactic control of interference revisited, Peter W. O'Hearn et al; global state considered unnecessary, Uday S. Reddy; linearity, sharing and state, Samson Abramsky and Guy McCusker; the essence of PARALLEL ALGOL, Stephen Brookes; contents of volume I.