Több mint 4 millió cím angol és más nyelveken! Fedezd fel új történetedet még ma!

Algol-like Languages

Name: Algol-like Languages
Brand: Springer, Basel
SKU: 9781475738537
Price: 38497 HUF
Availability: InStock

Szerző: Peter O'Hearn, Robert Tennent

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer, Basel

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

38 497 Ft

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

Információk a könyvről

Szerző

Peter O'Hearn, Robert Tennent

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2013

oldal

349

EAN

9781475738537

ISBN

1475738536

Enbook ID

05258391

Kiadó

Springer, Basel

Súly

551

Méretek

155 x 235 x 19

Teljes leírás

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 -.

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Algol-like Languages

Információk a könyvről

Teljes leírás

Érdekelheti

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

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

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