Implementierung funktionaler Programmiersprachen

Name: Implementierung funktionaler Programmiersprachen
Brand: Springer Nature
SKU: 9783824420377
Availability: InStock

Best Price (Coupon Required):
Buy Implementierung funktionaler Programmiersprachen for $45.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $49.99 - $49.99

BEST PRICE

Single Product Purchase

$45.00

@ Link.springer.com with extra coupon

Price Comparison

Seller	Contact Seller	List Price	On Sale	Shipping	Best Promo	Final Price	Volume Discount	Financing	Availability	Seller's Page
BEST PRICE 1 Product Purchase @ Link.springer.com		$49.99	$49.99		10% OFF This deals requires coupon	$45.00		See Site	In stock	Visit Store

Product Details

Brand

Springer Nature

Manufacturer

N/A

Part Number

GTIN

9783824420377

Condition

New

Product Description

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 enthlt keine Listen-oder Mengenabstraktionen und nur sehr eingeschrnkte Mglich keiten des Pattern-Matching. Sie ist jedoch mchtig genug, um die im folgenden behandelten wesentlichen Probleme der Codegenerierung aufzeigen zu knnen. Wir wollen diese Sprache Mini-SAMPAE oder kurz MS nennen, da sie eine Un termenge der in SAMPAE zulssigen Programme definiert. Die Syntax von MS ist in den Abbildungen 2.1, 2.2 und 2.3 zusammengefat. Ein MS-Programm besteht aus einem einzigen Modul, das eine Liste von Definitionen und einen Ausdruck enthlt. Der Wert dieses Ausdrucks ist das Ergebnis des Programms bei der Ausfhrung. In der globalen Definitionsliste knnen Typen und Funktionen definiert werden. Die Typen der definierten Funktionen knnen in MS nicht spezifiziert werden. Typdefinitionen dienen lediglich dazu, neue Datenkonstruktoren zu definieren. Es wird davon ausge gangen, da eine frhere bersetzungsphase, der Typ checker , das Programm auf Typkorrektheit berprft und fr jedes syntaktische Konstrukt einen Typ berechnet hat, der whrend der Codegenerierungsphase erfragt werden kann.

Available Colors

N/A

Available Sizes

N/A