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...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Electronic notes in theoretical computer science Ročník 177; s. 153 - 168
Hlavní autoři: Caballero, R., García-Ruiz, Y.
Médium: Journal Article
Jazyk:angličtina
Vydáno: Elsevier B.V 01.06.2007
Témata:
determinism
functional-logic Programming
program analysis
programming language implementation
determinism
functional-logic Programming
programming language implementation
program analysis
ISSN:1571-0661, 1571-0661
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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