عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
147573851X
9781475738513
b556559
Algol-like Languages
[Book]
edited by Peter W. O'Hearn, Robert D. Tennent.
Boston, MA
Birkhäuser Boston : Imprint : Birkhäuser
1997
(vii, 349 pages)
Progress in theoretical computer science.
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.
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.
Computer science.
Mathematics.
edited by Peter W. O'Hearn, Robert D. Tennent.
Peter W O'Hearn
Robert D Tennent
مطالعه متن کتاب [Book]
Y
