|
" Algol-like Languages "
edited by Peter W. O'Hearn, Robert D. Tennent.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
736694
|
| Doc. No
|
:
|
b556559
|
| Main Entry
|
:
|
edited by Peter W. O'Hearn, Robert D. Tennent.
|
| Title & Author
|
:
|
Algol-like Languages\ edited by Peter W. O'Hearn, Robert D. Tennent.
|
| Publication Statement
|
:
|
Boston, MA: Birkhäuser Boston : Imprint : Birkhäuser, 1997
|
| Series Statement
|
:
|
Progress in theoretical computer science.
|
| Page. NO
|
:
|
(vii, 349 pages)
|
| ISBN
|
:
|
147573851X
|
|
|
:
|
: 9781475738513
|
| Contents
|
:
|
11 Functor Categories and Store Shapes --;12 Using Functor Categories to Generate Intermediate Code --;13 Semantical Analysis of Specification Logic --;14 Semantical Analysis of Specification Logic, 2 --;15 Full Abstraction for the Second-Order Subset --;16 Parametricity and Local Variables --;17 Operationally-Based Reasoning About Local Variables --;18 Syntactic Control of Interference Revisited --;19 Global State Considered Unnecessary --;20 Linearity, Sharing and State --;21 The Essence of Parallel Algol --;of Volume 1.
|
| Abstract
|
:
|
To construct a compiler for a modern higher-level programming languagel one needs to structure the translation to a machine-like intermediate language in a way that reflects the semantics of the language. 2 Types and Syntax An ALGOL-like language is a typed lambda calculus with an unusual repertoire of primitive types.
|
| Subject
|
:
|
Computer science.
|
| Subject
|
:
|
Mathematics.
|
| Added Entry
|
:
|
Peter W O'Hearn
|
|
|
:
|
Robert D Tennent
|
| |