Skip to topic | Skip to bottom


Home

EelcoVisser
EelcoVisser.RepresentingObjectVariablesr1.2 - 28 Apr 2005 - 22:53 - Main.wiki

Start of topic | Skip to actions

Description

Stratego treats variables in the object language as ordinary data objects. This disregards the special role of variables in programming languages and requires a lot of plumbing to treat operations such as substitution right. If variable bindings could be treated transparently in program transformation specifications, they would probably be more readable. There are approaches to achieve this:

  • Higher-Order Abstract Syntax
  • Transform:FreshML
  • Transform:LambdaProlog

  • Domenic Duggan. Higer-Order Substitutions. Information and Computation 164 (2001) 1-53

ResearchInterests Questions

  • What would be the best approach to incorporate in a language based on rewriting strategies / Stratego ?

  • How could this approach be implemented?

  • How do these approaches interfere with generic travesal strategies?

  • What are the performance / complexity penalties of these approaches?

-- EelcoVisser - 28 Nov 2001



You are here: EelcoVisser > RepresentingObjectVariables

to top

Copyright © 2003-2017, Software Engineering Research Group, Delft University of Technology, The Netherlands