Web Rss

Software Transformation Systems
TWiki's Sts web /view/Sts program-transformation.org en-us Copyright 2020 by contributing authors Eelco Visser [webmaster@strategoxt.org] Eelco Visser [webmaster@strategoxt.org] TWiki TWiki.Sts TWiki home.Sts /view/Sts /pub/TWiki/TWikiLogos/twikiRobot46x50.gif SelfTracingProgramsUsingTXL /view/Sts/SelfTracingProgramsUsingTXL?t=2008-11-02T21:33Z 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 ... (last changed by JamesCordy) 2008-11-02T21:33Z JamesCordy 1.2 updated major /rdiff/Sts/SelfTracingProgramsUsingTXL /rdiff/Sts/SelfTracingProgramsUsingTXL STS08 /view/Sts/STS08?t=2008-10-18T22:48Z STS'08: Software Transformation Systems Workshop (CANCELED) part of the Fifth international conference on Generative Programming and Component Engineering (GPCE'08 ... (last changed by YannisSmaragdakis) 2008-10-18T22:48Z YannisSmaragdakis 1.4 updated major /rdiff/Sts/STS08 /rdiff/Sts/STS08 BlW /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 /rdiff/Sts/BlW /rdiff/Sts/BlW StatementFoldingUsingTXL /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 /rdiff/Sts/StatementFoldingUsingTXL /rdiff/Sts/StatementFoldingUsingTXL StrengthReductionUsingTXL /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 /rdiff/Sts/StrengthReductionUsingTXL /rdiff/Sts/StrengthReductionUsingTXL GotoEliminationUsingTXL /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 /rdiff/Sts/GotoEliminationUsingTXL /rdiff/Sts/GotoEliminationUsingTXL ConstantFoldingUsingTXL /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 /rdiff/Sts/ConstantFoldingUsingTXL /rdiff/Sts/ConstantFoldingUsingTXL CommonSubexpressionEliminationUsingTXL /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 /rdiff/Sts/CommonSubexpressionEliminationUsingTXL /rdiff/Sts/CommonSubexpressionEliminationUsingTXL ConsistentlyRenamedClonesUsingTXL /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 /rdiff/Sts/ConsistentlyRenamedClonesUsingTXL /rdiff/Sts/ConsistentlyRenamedClonesUsingTXL ExactClonesUsingTXL /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 /rdiff/Sts/ExactClonesUsingTXL /rdiff/Sts/ExactClonesUsingTXL BackwardSlicingUsingTXL /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 /rdiff/Sts/BackwardSlicingUsingTXL /rdiff/Sts/BackwardSlicingUsingTXL STS06 /view/Sts/STS06?t=2006-11-08T08:47Z STS'06: Software Transformation Systems Workshop part of the Fifth international conference on Generative Programming and Component Engineering (GPCE'06) October ... (last changed by EelcoVisser) 2006-11-08T08:47Z EelcoVisser 1.11 updated major /rdiff/Sts/STS06 /rdiff/Sts/STS06 RemovingRedundantDeclarationsUsingTXL /view/Sts/RemovingRedundantDeclarationsUsingTXL?t=2006-07-04T15:00Z TXL solution to Chairmarks #4.1: Removing redundant declarations. Main.JamesCordy 04 Jul 2006 File "TILredundant.Txl" TXL transformation to remove unused declarations ... (last changed by JamesCordy) 2006-07-04T15:00Z JamesCordy 1.1 updated major /rdiff/Sts/RemovingRedundantDeclarationsUsingTXL /rdiff/Sts/RemovingRedundantDeclarationsUsingTXL MailingList /view/Sts/MailingList?t=2006-06-03T07:59Z 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 ... (last changed by MagneHaveraaen) 2006-06-03T07:59Z MagneHaveraaen 1.2 updated major /rdiff/Sts/MailingList /rdiff/Sts/MailingList STS04 /view/Sts/STS04?t=2006-02-06T14:45Z Software Transformation Systems Workshop 2004 STS04 was arranged Sunday, October 24th 2004 as part of Generative Programming and Component Engineering 2004 (GPCE'04 ... (last changed by MartinBravenboer) 2006-02-06T14:45Z MartinBravenboer 1.5 updated major /rdiff/Sts/STS04 /rdiff/Sts/STS04 LiftInvariantAssignedComputationsUsingTXL /view/Sts/LiftInvariantAssignedComputationsUsingTXL?t=2005-11-04T22:26Z 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 ... (last changed by JamesCordy) 2005-11-04T22:26Z JamesCordy 1.1 updated major /rdiff/Sts/LiftInvariantAssignedComputationsUsingTXL /rdiff/Sts/LiftInvariantAssignedComputationsUsingTXL