Viac ako 4 milióny titulov v angličtine aj ďalších jazykoch! Objavte svoj nový príbeh ešte dnes!

Implementierung funktionaler Programmiersprachen

Name: Implementierung funktionaler Programmiersprachen
Brand: Deutscher Universitätsverlag
SKU: 9783824420377
Price: 51.44 EUR
Availability: InStock

Codegenerierung, Speicherverwaltung und Testsysteme für Sprachen mit verzögerter Auswertung

Autor: Michael Gloger

Jazyk:

Väzba: Brožovaná

Vydavateľ: Deutscher Universitätsverlag

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

51.44 €

2.1 MS -Eine einfache funktionale Sprache Zur Beschreibung der Übersetzung funktionaler Sprachen wir...

Informácie o knihe

Autor

Michael Gloger

Jazyk

Nemčina

Väzba

Kniha - Brožovaná

Vydalo

1993

Stránok

252

EAN

9783824420377

ISBN

3824420376

Enbook ID

06946428

Vydavateľ

Deutscher Universitätsverlag

Hmotnosť

350

Rozmery

148 x 210 x 14

Kompletný popis

2.1 MS -Eine einfache funktionale Sprache Zur Beschreibung der Übersetzung funktionaler Sprachen wird in diesem Ab schnitt eine einfache Sprache definiert, die als gemeinsamer Kern der meisten modernen funktionalen Sprachen angesehen werden kann. Diese Sprache enthält keine Listen-oder Mengenabstraktionen und nur sehr eingeschränkte Möglich keiten des Pattern-Matching. Sie ist jedoch mächtig genug, um die im folgenden behandelten wesentlichen Probleme der Codegenerierung aufzeigen zu können. Wir wollen diese Sprache Mini-SAMPAE oder kurz MS nennen, da sie eine Un termenge der in SAMPAE zulässigen Programme definiert. Die Syntax von MS ist in den Abbildungen 2.1, 2.2 und 2.3 zusammengefaßt. Ein MS-Programm besteht aus einem einzigen Modul, das eine Liste von Definitionen und einen Ausdruck enthält. Der Wert dieses Ausdrucks ist das Ergebnis des Programms bei der Ausführung. In der globalen Definitionsliste können Typen und Funktionen definiert werden. Die Typen der definierten Funktionen können in MS nicht spezifiziert werden. Typdefinitionen dienen lediglich dazu, neue Datenkonstruktoren zu definieren. Es wird davon ausge gangen, daß eine frühere Übersetzungsphase, der Typ checker , das Programm auf Typkorrektheit überprüft und für jedes syntaktische Konstrukt einen Typ berechnet hat, der während der Codegenerierungsphase erfragt werden kann.

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Implementierung funktionaler Programmiersprachen

Codegenerierung, Speicherverwaltung und Testsysteme für Sprachen mit verzögerter Auswertung

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež