TXL solution to Chairmarks #4.5: Static slicing. This example implements backward static slicing using cascaded markup to a fixed point. Notes: In an implementation ...

a1 a2 a3 a4 a5 a6 a7

TXL solution to Chairmarks #3.2, Common subexpression elimination. Thie simple example demonstrates the basics of common subexpression elimination at the statement ...

TXL solution to Chairmarks #4.6: Clone detection with consistent renaming. This example implements clone detection for clones of structured statements (if, while, ...

TXL solution to Chairmarks #3.4, Constant folding, recognize and resolve opportunities to fold constant expressions. Thie simple example demonstrates constant propagation ...

TXL solution to Chairmarks #2.3, Declarations-to-global, move all declarations from any nesting level to the global scope. Main.JamesCordy 02 Nov 2005 File "TILtoglobal ...

TXL solution to Chairmarks #2.4, Declarations-to-local, move all declarations to their most local location. Main.JamesCordy 02 Nov 2005 File "TILtolocal.Txl" TXL ...

TXL solution to Chairmarks #4.6: Clone detection. This example implements clone detection for exact clones of structured statements (if, while, for) in a TIL program ...

TXL solution to Chairmarks #2.1, declaring "for" statement to nondeclaring "for" statement. Main.JamesCordy 10 Oct 2005 File "TILfordeclare.Txl" TXL transformation ...

TXL solution to Chairmarks #2.2, transform all "for" statements to their equivalent "while" statement form. Main.JamesCordy 10 Oct 2005 File "TILfortowhile.Txl" ...

TXL solution to Chairmarks #2.5, Goto elimination, recognize and transform while-equivalent goto structures. Main.JamesCordy 31 Dec 2007 File "TILgotoelim.Txl" Goto ...

Overrides refer to nonterminal modifications or extensions to a fixed base grammar for the purpose of extending the language or customizing the parse to the task ...

A more sophisticated TXL solution to Chairmarks #3.1, Move all invariant assigned computations outside of while loops. This is a more sophisticated version of Invariant ...

TXL solution to Chairmarks #3.1, Move all invariant assignments outside of while loops. This is a simple demonstration of the basics of data flow checking and code ...

The sts mailinglist has been created following a discussion at the end of the STS workshop on Sunday October 24, 2004. General information about the mailing list is ...

TXL solution to Chairmarks #4.1: Removing redundant declarations. Main.JamesCordy 04 Jul 2006 File "TILredundant.Txl" TXL transformation to remove unused declarations ...

Parsing refers to one of a number of methods for modifying a grammar or parser in such a way as to allow for parsing to continue in the presence of parts of the input ...

Software Transformation Systems Workshop 2004 STS04 was arranged Sunday, October 24th 2004 as part of Generative Programming and Component Engineering 2004 (GPCE'04 ...

STS'06: Software Transformation Systems Workshop part of the Fifth international conference on Generative Programming and Component Engineering (GPCE'06) October ...

STS'08: Software Transformation Systems Workshop (CANCELED) part of the Fifth international conference on Generative Programming and Component Engineering (GPCE'08 ...

TXL solution to Chairmarks #4.3: Self-tracing program transformation. Main.JamesCordy 10 Oct 2005 File "TILtrace.Txl" Simple transform to make a Tiny Imperative ...

Factoring is a general method for separating various orthogonal attributes of source code in order to simplify and clarify manipulation and transformation by handling ...

TXL solution to Chairmarks #3.5, Statement folding, recognizing and optimizing compile-time known if statements, and possibly while and for statements. Thie simple ...

TXL solution to Chairmarks #4.2: Collecting statement statistics. Main.JamesCordy 28 Oct 2005 File "TILstats.Txl" Gather statement statistics for a Tiny Imperative ...

TXL solution to Chairmarks #3.3, Strength reduction, recognize opportunities to reduce multiplication by an iterator to iterative addition. Thie simple example demonstrates ...

The goals of benchmarking Software Transformations Systems are: Increase communication on a technical level between designers of these systems Provide a quick overview ...

TXL solution to Chairmarks #4.7: Syntactic markup Marking up program statements or expressions with some structural property. This example demonstrates the use of ...

A TXL solution to Chairmarks #1.3, the begin-end syntax extension for the Imperative Language. TXL is designed for implementing language extensions, so adding a new ...

The Chairmarks are a small set of little benchmark transformation tasks, all based on the Imperative Language (TIL). They are called "chairmarks" because they are ...

TXL solution to Chairmarks #5.1: A complete Imperative Language interpreter implemented as a standalone TXL source transformation. No other libraries or support modules ...

TXL solution for Chairmarks #1: A parser for the Imperative Language (TIL) implemented in TXL. This is the entire solution, run using the command "txl program.til ...

In TXL, all parsers are also pretty printers, so see the Parser Using TXL if comments are not an issue. Because the TXL solution to preserving formatting and comments ...

Imperative Language (TIL) Example Programs Only a couple so far, hopefully many more to come. We've assumed a C++ style commenting convention for the TIL language ...

The proposal is to have several software transformation systems implement a Tiger compiler. Tiger resources The Tiger language reference is in the Transform.ModernCompilerImplementationInML ...

This is a proposal for a Tiny Imperative Language for setting tiny benchmarks of source transformation systems such as the Chairmarks. Main.EelcoVisser Main.JamesCordy ...

TXL solution to Chairmarks #4.4: Type inference. This example implements type inference for untyped variables in a TIL program and flags all type conflicts and ambiguous ...

Recent Changes SEARCH{". " regex "on" nosearch "on" nototal "on" order "modified" reverse "on" limit "50" nosummary "on" header " Topic Changed By " format " $topic ...

SEARCH{". " regex "on" nosearch "on" nototal "on" order "modified" reverse "on" limit "100" nosummary "on" header " Topic Changed By " format " $topic $date $wikiusername ...

SEARCH{". " regex "on" nosearch "on" nototal "on" order "modified" reverse "on" limit "200" nosummary "on" header " Topic Changed By " format " $topic $date $wikiusername ...

SEARCH{". " regex "on" nosearch "on" nototal "on" order "modified" reverse "on" limit "500" nosummary "on" header " Topic Changed By " format " $topic $date $wikiusername ...

This wiki has been created following the Workshop on Software Transformation Systems at GPCE'04 in Vancouver on October 24, 2004. The purpose of the wiki is to collect ...

SEARCH{"\. " scope "topic" regex "on" nosearch "on" format " $topic " noheader "on"}

Home STS'08 STS'06 STS'04 StsBench News Recent Changes Mailinglist

STARTINCLUDE 2004-12-23 Proceedings of the STS04 workshop are now available. 2004-11-01 Creation of the Sts web as website for the Software Transformation Systems ...

WebNotify is a subscription service to be automatically notified by email when topics change in the TWiki.Sts web. This is a convenient service, so you do not have ...

The following settings are web preferences of the TWiki.Sts web. These preferences overwrite the site-level preferences in TWIKIWEB . WIKIPREFSTOPIC , and can be overwritten ...

TWiki's INCLUDINGWEB web SCRIPTURL /view SCRIPTSUFFIX / INCLUDINGWEB program-transformation.org INCLUDE{" TWIKIWEB .WebRssBase"}

Simple search: Topic text (body) All webs (not only TWiki.Sts web) Topic name TWIKIWEB .BookView Advanced search: Topic text (body) Search all MAINWEB TWIKIWEB Know ...

Statistics for TWiki.Sts Web Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Feb 2008 ...

Useful twiki things to do are: Keep track of WebChanges Get a WebNotify of changes Check the WebStatistics Browse the WebIndex Do a WebSearch See the other Main.TWikiUsers ...