Title
Implementierung funktionaler Programmiersprachen: Codegenerierung, Speicherverwaltung und Testsysteme fr Sprachen mit verzgerter,Used
Sold by Ergodebooks, an authorized reseller.
Returns accepted within 30 days | support@ergodebooks.com
Shipping Information
- Free Standard Shipping — United States only
- Processing Time: 1–3 business days
- Estimated Delivery: 3–5 business days after dispatch
- Double-boxed, fully insured & discreetly packaged
- Tracking number sent via email once dispatched
- Orders over $250 require signature upon delivery. Taxes calculated at checkout.
Returns & Refund
Returns accepted within 30 days of delivery.
Damaged or Defective Item
Free return shipping + replacement or full refund
Wrong Item Received
Free return shipping + replacement or full refund
Change of Mind
Return shipping at customer's expense · 25% restocking fee applies
Payment Option
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 Listenoder Mengenabstraktionen und nur sehr eingeschrnkte Mglich keiten des PatternMatching. Sie ist jedoch mchtig genug, um die im folgenden behandelten wesentlichen Probleme der Codegenerierung aufzeigen zu knnen. Wir wollen diese Sprache MiniSAMPAE 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 MSProgramm 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.
⚠️ WARNING (California Proposition 65):
This product may contain chemicals known to the State of California to cause cancer, birth defects, or other reproductive harm.
For more information, please visit www.P65Warnings.ca.gov.