Stack-based strategic control

Victor L Winter

Research output: Contribution to journalConference article

1 Citation (Scopus)

Abstract

In a strategic framework, combinators provide a fundamental mechanism for exercising control over rewriting. This type of control is based on the observation of the success or failure of strategy application. This paper describes a framework where information relating to the outcome of strategy application is stored in two internally maintained stacks. These stacks represent an implicit state which is used to control the rewriting process.

Original languageEnglish (US)
Pages (from-to)135-149
Number of pages15
JournalElectronic Notes in Theoretical Computer Science
StatePublished - Dec 1 2007
Event7th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2007, as part of the 4th Federated Conference on Rewriting, Deduction, and Programming, RDP 2007 - Paris, France
Duration: Jun 25 2007Jun 25 2007

Fingerprint

Rewriting
Framework
Strategy
Observation

Keywords

  • HATS
  • Program transformation
  • Strategic programming
  • TL

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Stack-based strategic control. / Winter, Victor L.

In: Electronic Notes in Theoretical Computer Science, 01.12.2007, p. 135-149.

Research output: Contribution to journalConference article

@article{f4ecc327586446e288b4e42270003e07,
title = "Stack-based strategic control",
abstract = "In a strategic framework, combinators provide a fundamental mechanism for exercising control over rewriting. This type of control is based on the observation of the success or failure of strategy application. This paper describes a framework where information relating to the outcome of strategy application is stored in two internally maintained stacks. These stacks represent an implicit state which is used to control the rewriting process.",
keywords = "HATS, Program transformation, Strategic programming, TL",
author = "Winter, {Victor L}",
year = "2007",
month = "12",
day = "1",
language = "English (US)",
pages = "135--149",
journal = "Electronic Notes in Theoretical Computer Science",
issn = "1571-0661",
publisher = "Elsevier",

}

TY - JOUR

T1 - Stack-based strategic control

AU - Winter, Victor L

PY - 2007/12/1

Y1 - 2007/12/1

N2 - In a strategic framework, combinators provide a fundamental mechanism for exercising control over rewriting. This type of control is based on the observation of the success or failure of strategy application. This paper describes a framework where information relating to the outcome of strategy application is stored in two internally maintained stacks. These stacks represent an implicit state which is used to control the rewriting process.

AB - In a strategic framework, combinators provide a fundamental mechanism for exercising control over rewriting. This type of control is based on the observation of the success or failure of strategy application. This paper describes a framework where information relating to the outcome of strategy application is stored in two internally maintained stacks. These stacks represent an implicit state which is used to control the rewriting process.

KW - HATS

KW - Program transformation

KW - Strategic programming

KW - TL

UR - http://www.scopus.com/inward/record.url?scp=84890260931&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84890260931&partnerID=8YFLogxK

M3 - Conference article

SP - 135

EP - 149

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

SN - 1571-0661

ER -