Implementing Dynamic-Cut in TOY

This paper presents the integration of the optimization known as dynamic cut within the functional-logic system TOY. The implementation automatically detects deterministic functions at compile time, and includes in the generated code the test for detecting at run-time the computations that can actua...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Electronic notes in theoretical computer science Jg. 177; S. 153 - 168
Hauptverfasser: Caballero, R., García-Ruiz, Y.
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Elsevier B.V 01.06.2007
Schlagworte:
determinism
functional-logic Programming
program analysis
programming language implementation
determinism
functional-logic Programming
programming language implementation
program analysis
ISSN:1571-0661, 1571-0661
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:This paper presents the integration of the optimization known as dynamic cut within the functional-logic system TOY. The implementation automatically detects deterministic functions at compile time, and includes in the generated code the test for detecting at run-time the computations that can actually be pruned. The outcome is a much better performance when executing deterministic functions including either or-branches in their definitional trees or extra variables in their conditions, with no serious overhead in the rest of the computations. The paper also proves the correctness of the criterion used for detecting deterministic functions w.r.t. the semantic calculus CRWL.
ISSN:1571-0661
1571-0661
DOI:10.1016/j.entcs.2007.01.009