| 書目名稱 | Implementierung funktionaler Programmiersprachen | | 副標(biāo)題 | Codegenerierung, Spe | | 編輯 | Michael Gloger | | 視頻video | http://file.papertrans.cn/463/462580/462580.mp4 | | 圖書封面 |  | | 描述 | 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 chec | | 出版日期 | Book 1993 | | 關(guān)鍵詞 | Algorithmen; Implementierung; Komplexit?t; Optimierung; Programmiersprache | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-322-91022-6 | | isbn_softcover | 978-3-8244-2037-7 | | isbn_ebook | 978-3-322-91022-6 | | copyright | Springer Fachmedien Wiesbaden 1993 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-2-7 05:56
發(fā)表于 2025-3-21 17:41:09
