Web Rss

http://www.program-transformation.org/view/Sts program-transformation.org en-us Copyright 2008 by contributing authors Eelco Visser [webmaster@strategoxt.org] Eelco Visser [webmaster@strategoxt.org] TWiki TWiki.Sts http://www.program-transformation.org/view/Sts http://www.program-transformation.org/pub/TWiki/TWikiLogos/twikiRobot46x50.gif http://www.program-transformation.org/view/Sts/WebHome?t=2008-05-07T21:14Z 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 ... (last changed by EelcoVisser) 2008-05-07T21:14Z EelcoVisser 1.57 updated major http://www.program-transformation.org/rdiff/Sts/WebHome http://www.program-transformation.org/rdiff/Sts/WebHome http://www.program-transformation.org/view/Sts/WebLeftBar?t=2008-05-07T21:13Z Home STS'08 STS'06 STS'04 StsBench News Recent Changes Mailinglist (last changed by EelcoVisser) 2008-05-07T21:13Z EelcoVisser 1.27 updated major http://www.program-transformation.org/rdiff/Sts/WebLeftBar http://www.program-transformation.org/rdiff/Sts/WebLeftBar http://www.program-transformation.org/view/Sts/STS08?t=2008-05-07T21:11Z STS'08: Software Transformation Systems Workshop part of the Fifth international conference on Generative Programming and Component Engineering (GPCE'08) October ... (last changed by EelcoVisser) 2008-05-07T21:11Z EelcoVisser 1.1 updated major http://www.program-transformation.org/rdiff/Sts/STS08 http://www.program-transformation.org/rdiff/Sts/STS08 http://www.program-transformation.org/view/Sts/WebStatistics?t=2008-02-11T01:12Z 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 ... (last changed by TWikiGuest) 2008-02-11T01:12Z guest 1.1601 updated major http://www.program-transformation.org/rdiff/Sts/WebStatistics http://www.program-transformation.org/rdiff/Sts/WebStatistics http://www.program-transformation.org/view/Sts/BlW?t=2008-01-30T05:37Z a1 a2 a3 a4 a5 a6 a7 (last changed by TWikiGuest) 2008-01-30T05:37Z guest 1.1 updated major http://www.program-transformation.org/rdiff/Sts/BlW http://www.program-transformation.org/rdiff/Sts/BlW http://www.program-transformation.org/view/Sts/TILChairmarks?t=2008-01-09T20:11Z 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 ... (last changed by JamesCordy) 2008-01-09T20:11Z JamesCordy 1.20 updated major http://www.program-transformation.org/rdiff/Sts/TILChairmarks http://www.program-transformation.org/rdiff/Sts/TILChairmarks http://www.program-transformation.org/view/Sts/SyntacticMarkupUsingTXL?t=2008-01-06T19:51Z TXL solution to Chairmarks #4.7: Syntactic markup Marking up program statements or expressions with some structural property. This example demonstrates the use of ... (last changed by JamesCordy) 2008-01-06T19:51Z JamesCordy 1.1 updated major http://www.program-transformation.org/rdiff/Sts/SyntacticMarkupUsingTXL http://www.program-transformation.org/rdiff/Sts/SyntacticMarkupUsingTXL http://www.program-transformation.org/view/Sts/StatementFoldingUsingTXL?t=2008-01-04T03:53Z TXL solution to Chairmarks #3.5, Statement folding, recognizing and optimizing compile-time known if statements, and possibly while and for statements. Thie simple ... (last changed by JamesCordy) 2008-01-04T03:53Z JamesCordy 1.1 updated major http://www.program-transformation.org/rdiff/Sts/StatementFoldingUsingTXL http://www.program-transformation.org/rdiff/Sts/StatementFoldingUsingTXL http://www.program-transformation.org/view/Sts/StrengthReductionUsingTXL?t=2008-01-03T15:14Z TXL solution to Chairmarks #3.3, Strength reduction, recognize opportunities to reduce multiplication by an iterator to iterative addition. Thie simple example demonstrates ... (last changed by JamesCordy) 2008-01-03T15:14Z JamesCordy 1.1 updated major http://www.program-transformation.org/rdiff/Sts/StrengthReductionUsingTXL http://www.program-transformation.org/rdiff/Sts/StrengthReductionUsingTXL http://www.program-transformation.org/view/Sts/GotoEliminationUsingTXL?t=2008-01-03T04:46Z TXL solution to Chairmarks #2.5, Goto elimination, recognize and transform while-equivalent goto structures. Main.JamesCordy 31 Dec 2007 File "TILgotoelim.Txl" Goto ... (last changed by JamesCordy) 2008-01-03T04:46Z JamesCordy 1.2 updated major http://www.program-transformation.org/rdiff/Sts/GotoEliminationUsingTXL http://www.program-transformation.org/rdiff/Sts/GotoEliminationUsingTXL http://www.program-transformation.org/view/Sts/ConstantFoldingUsingTXL?t=2008-01-03T04:46Z TXL solution to Chairmarks #3.4, Constant folding, recognize and resolve opportunities to fold constant expressions. Thie simple example demonstrates constant propagation ... (last changed by JamesCordy) 2008-01-03T04:46Z JamesCordy 1.1 updated major http://www.program-transformation.org/rdiff/Sts/ConstantFoldingUsingTXL http://www.program-transformation.org/rdiff/Sts/ConstantFoldingUsingTXL http://www.program-transformation.org/view/Sts/CommonSubexpressionEliminationUsingTXL?t=2007-10-19T16:28Z TXL solution to Chairmarks #3.2, Common subexpression elimination. Thie simple example demonstrates the basics of common subexpression elimination at the statement ... (last changed by JamesCordy) 2007-10-19T16:28Z JamesCordy 1.1 updated major http://www.program-transformation.org/rdiff/Sts/CommonSubexpressionEliminationUsingTXL http://www.program-transformation.org/rdiff/Sts/CommonSubexpressionEliminationUsingTXL http://www.program-transformation.org/view/Sts/ConsistentlyRenamedClonesUsingTXL?t=2007-10-16T01:15Z TXL solution to Chairmarks #4.6: Clone detection with consistent renaming. This example implements clone detection for clones of structured statements (if, while, ... (last changed by JamesCordy) 2007-10-16T01:15Z JamesCordy 1.1 updated major http://www.program-transformation.org/rdiff/Sts/ConsistentlyRenamedClonesUsingTXL http://www.program-transformation.org/rdiff/Sts/ConsistentlyRenamedClonesUsingTXL http://www.program-transformation.org/view/Sts/ExactClonesUsingTXL?t=2007-10-16T00:31Z 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 ... (last changed by JamesCordy) 2007-10-16T00:31Z JamesCordy 1.1 updated major http://www.program-transformation.org/rdiff/Sts/ExactClonesUsingTXL http://www.program-transformation.org/rdiff/Sts/ExactClonesUsingTXL http://www.program-transformation.org/view/Sts/TypeInferenceUsingTXL?t=2007-06-24T21:29Z 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 ... (last changed by JamesCordy) 2007-06-24T21:29Z JamesCordy 1.2 updated major http://www.program-transformation.org/rdiff/Sts/TypeInferenceUsingTXL http://www.program-transformation.org/rdiff/Sts/TypeInferenceUsingTXL http://www.program-transformation.org/view/Sts/BackwardSlicingUsingTXL?t=2007-03-03T20:41Z 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 ... (last changed by JamesCordy) 2007-03-03T20:41Z JamesCordy 1.3 updated major http://www.program-transformation.org/rdiff/Sts/BackwardSlicingUsingTXL http://www.program-transformation.org/rdiff/Sts/BackwardSlicingUsingTXL