On-demand Evaluation for Maude | Zendy

Francisco Durán | Zendy; Santiago Escobar | Zendy; Salvador Lucas | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

On-demand Evaluation for Maude

Author(s) -

Francisco Durán,

Santiago Escobar,

Salvador Lucas

Publication year - 2005

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2004.07.013

Subject(s) - laziness , computer science , argument (complex analysis) , function (biology) , lazy evaluation , term (time) , simple (philosophy) , programming language , zero (linguistics) , functional programming , linguistics , epistemology , philosophy , psychology , biochemistry , chemistry , physics , quantum mechanics , evolutionary biology , psychiatry , biology

trategy annotations provide a simple mechanism for introducing some laziness in the evaluation of expressions. As an eager programming language, Maude can take advantage of them and, in fact, they are part of the language. Maude strategy annotations are lists of non-negative integers associated to function symbols which specify the ordering in which the arguments are (eventually) evaluated in function calls. A positive index enables the evaluation of an argument whereas 'zero' means that the function call has to be attempted. The use of negative indices has been proposed to express evaluation on-demand, where the demand is an attempt to match an argument term with the left-hand side of a rewrite rule. In this paper we show how to furnish Maude with the ability of dealing with on-demand strategy annotations

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research