Strategy Construction in the Higher-Order Framework of TL | Zendy

Victor Winter | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Strategy Construction in the Higher-Order Framework of TL

Author(s) -

Victor Winter

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

Subject(s) - combinatory logic , rewriting , construct (python library) , expression (computer science) , computer science , transformation (genetics) , order (exchange) , paragraph , base (topology) , term (time) , binary number , mathematics , theoretical computer science , algebra over a field , programming language , pure mathematics , arithmetic , finance , mathematical analysis , biochemistry , chemistry , physics , quantum mechanics , world wide web , economics , gene

When viewed from a strategic perspective, a labeled rule base in a rewriting system can be seen as a restricted form of strategic expression (e.g., a collection of rules strictly composed using the left-biased choice combinator). This paper describes higher-order mechanisms capable of dynamically constructing strategic expressions that are similar to rule bases. One notable difference between these strategic expressions and rule bases is that strategic expressions can be constructed using arbitrary binary combinators (e.g., left-biased choice, right-biased choice, sequential composition, or user defined). Furthermore, the data used in these strategic expressions can be obtained through term traversals.A higher-order strategic programming framework called TL is described. In TL it is possible to dynamically construct strategic expression of the kind mentioned in the previous paragraph. A demonstration follows showing how the higher-order constructs available in TL can be used to solve several problems common to the area of program transformation

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