Algol-like Languages

Name: Algol-like Languages
Brand: Springer, Basel
SKU: 9781475738537
Price: 105.19 EUR
Availability: InStock

Автор: Peter O'Hearn, Robert Tennent

Език:

Корици: С меки корици

Издател: Springer, Basel

Наличност: Външен склад

Изпращаме след 5-8 дни

105.19 € 205.74 лв

To construct a compiler for a modern higher-level programming languagel one needs to structure the t...

Информация за книгата

Автор

Peter O'Hearn, Robert Tennent

Език

Английски език

Корици

Книга - С меки корици

Издадена

2013

страници

349

EAN

9781475738537

ISBN

1475738536

Enbook ID

05258391

Издател

Springer, Basel

Теглоt

551

Размери

155 x 235 x 19

Пълно описание

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. little is said about such struc turing in compiler texts that are intended to cover a wide variety of program ming languages. More is said in the Iiterature on semantics-directed compiler construction [1] but here too the viewpoint is very general (though limited to 1 languages with a finite number of syntactic types). On the other handl there is a considerable body of work using the continuation-passing transformation to structure compilers for the specific case of call-by-value languages such as SCHEME and ML [21 3]. ln this paperl we will describe a method of structuring the translation of ALGOL-like languages that is based on the functor-category semantics devel oped by Reynolds [4] and Oles [51 6]. An alternative approach using category theory to structure compilers is the early work of F. L. Morris [7]1 which anticipates our treatment of boolean expressionsl but does not deal with procedures. 2 Types and Syntax An ALGOL-like language is a typed lambda calculus with an unusual repertoire of primitive types. Throughout most of this paper we assume that the primi tive types are comm(and) int(eger)exp(ression) int(eger)acc(eptor) int(eger)var(iable) I and that the set 8 of types is the least set containing these primitive types and closed under the binary operation -.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Algol-like Languages

Информация за книгата

Пълно описание

Може също да ви хареса

Deceptive Communication

Volume 9 of the Collected Works of Marie-Louise von Franz

All-Attainment Teaching in Secondary Mathematics

When Gracie Met The Grump

Havana: The History and Legacy of Cuba's Capital

Creative Threads

Trickster Revisited

100 Questions and Answers about Americans

How Computer Technology Influences Art and Design Programs

Beginning Responsive Web Design with HTML5 and CSS3

Workplace Culture in Academic Libraries

Society, Culture and the Auditory Imagination in Modern France

Клиенти, които купиха тази книга, купиха също

Perdida En El Museo (Lost in the Mouseum): Izquierda/Derecha (Left/Right)

Le Roi Lear

Titans

Sechs Metamorphosen nach Ovid

Expedice příroda: 50 našich lesních zvířat

Catalogue Des Plantes Vasculaires Indigenes Ou Generalement Cultivees En Corse (1872)

L'epreuve 4/Avant le Labyrinthe/L'ordre de tuer

Martilara Simit Atacaktik Hani Irmakin Güncesi

Schreiben als Weg