Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-42638
Titel: | SASL : Implementierung einer rein funktionalen Programmiersprache mit Lazy Evaluation |
VerfasserIn: | Nökel, Klaus Rehbold, Robert |
Sprache: | Deutsch |
Erscheinungsjahr: | 1986 |
Erscheinungsort: | Kaiserslautern |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | Dieser Report beschreibt eine Implementierung von SASL in Lisp, die auf Variablenabstraktion und Kombinatorgraph-Reduktion beruht. Nach einer Einführung in SASL schildert ein Kapitel über Variablenabstraktion ausführlich, wie aus SASL-Programmen effektive Kombinatorausdrücke erzeugt werden, einschließlich der Behandlung von lokalen Definitionen, mehrzeiligen Funktionsdefinitionen mit Fallunterscheidung durch Patternmatching sowie von ZF-Mengennotation. Zur Auswertung der so erzeugten Kombinatorgraphen wird die konkrete Implementierung einer effizienten Reduktions-maschine vorgestellt. This report presents an implementation of SASL in Lisp which uses abstraction of variables and reduction of combinator graphs. Following an introduction to SASL a section shows in detail how SASL programs can be translated into compact combinator graphs, with special emphasis on the methods used to deal with local definitions, function definitions that spread over several lines making use of pattern matching for case selection, and with ZF-set notation. The second part of the report gives a detailed account of the concrete implementation of an efficient algorithm for the reduction of combinator graphs. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-426385 hdl:20.500.11880/38573 http://dx.doi.org/10.22028/D291-42638 |
Schriftenreihe: | SEKI working paper : SWP ; SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1860-5931] |
Band: | 86,7 |
Datum des Eintrags: | 30-Sep-2024 |
Fakultät: | SE - Sonstige Einrichtungen |
Fachrichtung: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
Professur: | SE - Sonstige |
Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
SEKI-Working-Paper-SWP-86-07_Nökel-Rehbold_SASL-Implementierung-einer-rein-funktionalen-Programmiersprache-mit-Lazy-Evaluation.pdf | 50,64 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.