Stack-based strategic control

Victor L. Winter

Research output: Contribution to journalConference article

1 Scopus citations

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
Publication statusPublished - 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

Keywords

  • HATS
  • Program transformation
  • Strategic programming
  • TL

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this