Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Algol-like Languages

BuchKartoniert, Paperback
349 Seiten
Englisch
Springererschienen am03.03.2013
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.mehr
Verfügbare Formate
BuchGebunden
EUR106,99
BuchGebunden
EUR106,99
BuchGebunden
EUR106,99
BuchKartoniert, Paperback
EUR106,99
BuchKartoniert, Paperback
EUR106,99
E-BookPDF1 - PDF WatermarkE-Book
EUR96,29
E-BookPDF1 - PDF WatermarkE-Book
EUR96,29

Produkt

KlappentextTo 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.
Details
ISBN/GTIN978-1-4757-3853-7
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2013
Erscheinungsdatum03.03.2013
ReiheProgress in Theoretical Computer Science
Seiten349 Seiten
SpracheEnglisch
Gewicht546 g
IllustrationenVII, 349 p.
Artikel-Nr.30096859

Inhalt/Kritik

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