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



Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.