| Topics in Sts web: | Changed: now 01:42 | Changed by: |
| BackwardSlicingUsingTXL | 03 Mar 2007 - 20:41 - r1.3 | JamesCordy |
| 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 ... | ||
| BlW | 30 Jan 2008 - 05:37 - NEW | TWikiGuest |
| a1 a2 a3 a4 a5 a6 a7 | ||
| CommonSubexpressionEliminationUsingTXL | 19 Oct 2007 - 16:28 - NEW | JamesCordy |
| TXL solution to Chairmarks #3.2, Common subexpression elimination. Thie simple example demonstrates the basics of common subexpression elimination at the statement ... | ||
| ConsistentlyRenamedClonesUsingTXL | 16 Oct 2007 - 01:15 - NEW | JamesCordy |
| TXL solution to Chairmarks #4.6: Clone detection with consistent renaming. This example implements clone detection for clones of structured statements (if, while, ... | ||
| ConstantFoldingUsingTXL | 03 Jan 2008 - 04:46 - NEW | JamesCordy |
| TXL solution to Chairmarks #3.4, Constant folding, recognize and resolve opportunities to fold constant expressions. Thie simple example demonstrates constant propagation ... | ||
| Declarations-to-GlobalUsingTXL | 02 Nov 2005 - 12:33 - NEW | JamesCordy |
| 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 ... | ||
| Declarations-to-LocalUsingTXL | 02 Nov 2005 - 15:46 - NEW | JamesCordy |
| 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 ... | ||
| ExactClonesUsingTXL | 16 Oct 2007 - 00:31 - NEW | JamesCordy |
| 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 ... | ||
| For-to-Nondeclaring-ForUsingTXL | 10 Oct 2005 - 18:46 - NEW | JamesCordy |
| TXL solution to Chairmarks #2.1, declaring "for" statement to nondeclaring "for" statement. Main.JamesCordy 10 Oct 2005 File "TILfordeclare.Txl" TXL transformation ... | ||
| For-to-WhileUsingTXL | 11 Oct 2005 - 02:27 - r1.2 | JamesCordy |
| TXL solution to Chairmarks #2.2, transform all "for" statements to their equivalent "while" statement form. Main.JamesCordy 10 Oct 2005 File "TILfortowhile.Txl" ... | ||
| GotoEliminationUsingTXL | 03 Jan 2008 - 04:46 - r1.2 | JamesCordy |
| TXL solution to Chairmarks #2.5, Goto elimination, recognize and transform while-equivalent goto structures. Main.JamesCordy 31 Dec 2007 File "TILgotoelim.Txl" Goto ... | ||
| GrammarOverrides | 10 Oct 2005 - 16:57 - NEW | JamesCordy |
| 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 ... | ||
| LiftInvariantAssignedComputationsUsingTXL | 04 Nov 2005 - 22:26 - NEW | JamesCordy |
| 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 ... | ||
| LiftInvariantAssignmentsUsingTXL | 04 Nov 2005 - 21:24 - r1.2 | JamesCordy |
| 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 ... | ||
| MailingList | 03 Jun 2006 - 07:59 - r1.2 | MagneHaveraaen |
| 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 ... | ||
| RemovingRedundantDeclarationsUsingTXL | 04 Jul 2006 - 15:00 - NEW | JamesCordy |
| TXL solution to Chairmarks #4.1: Removing redundant declarations. Main.JamesCordy 04 Jul 2006 File "TILredundant.Txl" TXL transformation to remove unused declarations ... | ||
| RobustParsing | 10 Oct 2005 - 16:53 - NEW | JamesCordy |
| 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 ... | ||
| STS04 | 06 Feb 2006 - 14:45 - r1.5 | MartinBravenboer |
| Software Transformation Systems Workshop 2004 STS04 was arranged Sunday, October 24th 2004 as part of Generative Programming and Component Engineering 2004 (GPCE'04 ... | ||
| STS06 | 08 Nov 2006 - 08:47 - r1.11 | EelcoVisser |
| STS'06: Software Transformation Systems Workshop part of the Fifth international conference on Generative Programming and Component Engineering (GPCE'06) October ... | ||
| STS08 | 18 Oct 2008 - 22:48 - r1.4 | YannisSmaragdakis |
| STS'08: Software Transformation Systems Workshop (CANCELED) part of the Fifth international conference on Generative Programming and Component Engineering (GPCE'08 ... | ||
| SelfTracingProgramsUsingTXL | 02 Nov 2008 - 21:33 - r1.2 | JamesCordy |
| 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 ... | ||
| SourceFactoring | 10 Oct 2005 - 16:43 - NEW | JamesCordy |
| Factoring is a general method for separating various orthogonal attributes of source code in order to simplify and clarify manipulation and transformation by handling ... | ||
| StatementFoldingUsingTXL | 04 Jan 2008 - 03:53 - NEW | JamesCordy |
| TXL solution to Chairmarks #3.5, Statement folding, recognizing and optimizing compile-time known if statements, and possibly while and for statements. Thie simple ... | ||
| StatementStatisticsUsingTXL | 28 Oct 2005 - 03:43 - NEW | JamesCordy |
| TXL solution to Chairmarks #4.2: Collecting statement statistics. Main.JamesCordy 28 Oct 2005 File "TILstats.Txl" Gather statement statistics for a Tiny Imperative ... | ||
| StrengthReductionUsingTXL | 03 Jan 2008 - 15:14 - NEW | JamesCordy |
| TXL solution to Chairmarks #3.3, Strength reduction, recognize opportunities to reduce multiplication by an iterator to iterative addition. Thie simple example demonstrates ... | ||
| StsBench | 29 Apr 2005 - 10:35 - r1.7 | JamesCordy |
| The goals of benchmarking Software Transformations Systems are: Increase communication on a technical level between designers of these systems Provide a quick overview ... | ||
| SyntacticMarkupUsingTXL | 06 Jan 2008 - 19:51 - NEW | JamesCordy |
| TXL solution to Chairmarks #4.7: Syntactic markup Marking up program statements or expressions with some structural property. This example demonstrates the use of ... | ||
| TILBegin-EndExtensionUsingTXL | 10 Oct 2005 - 17:44 - NEW | JamesCordy |
| 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 ... | ||
| TILChairmarks | 27 May 2009 - 20:39 - r1.26 | JamesCordy |
| 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 ... | ||
| TILInterpreterUsingTXL | 13 Oct 2005 - 04:02 - r1.2 | JamesCordy |
| TXL solution to Chairmarks #5.1: A complete Imperative Language interpreter implemented as a standalone TXL source transformation. No other libraries or support modules ... | ||
| TILParserUsingTXL | 02 Nov 2005 - 16:02 - r1.3 | JamesCordy |
| 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 ... | ||
| TILPrettyPrinterUsingTXL | 10 Oct 2005 - 15:25 - r1.2 | JamesCordy |
| 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 ... | ||
| TILTrainingSet | 10 Oct 2005 - 18:57 - r1.3 | JamesCordy |
| 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 ... | ||
| TigerBenchmark | 02 Nov 2004 - 17:15 - NEW | JurgenVinju |
| The proposal is to have several software transformation systems implement a Tiger compiler. Tiger resources The Tiger language reference is in the Transform.ModernCompilerImplementationInML ... | ||
| TinyImperativeLanguage | 30 Aug 2005 - 03:49 - r1.4 | JamesCordy |
| 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 ... | ||
| TypeInferenceUsingTXL | 24 Jun 2007 - 21:29 - r1.2 | 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 ... | ||
| WebChanges | 01 Nov 2004 - 13:59 - r1.5 | EelcoVisser |
| Recent Changes SEARCH{". " regex "on" nosearch "on" nototal "on" order "modified" reverse "on" limit "50" nosummary "on" header " Topic Changed By " format " $topic ... | ||
| WebChanges100 | 06 Dec 2001 - 13:26 - NEW | EelcoVisser |
| SEARCH{". " regex "on" nosearch "on" nototal "on" order "modified" reverse "on" limit "100" nosummary "on" header " Topic Changed By " format " $topic $date $wikiusername ... | ||
| WebChanges200 | 06 Dec 2001 - 13:25 - NEW | EelcoVisser |
| SEARCH{". " regex "on" nosearch "on" nototal "on" order "modified" reverse "on" limit "200" nosummary "on" header " Topic Changed By " format " $topic $date $wikiusername ... | ||
| WebChanges500 | 06 Dec 2001 - 13:23 - NEW | EelcoVisser |
| SEARCH{". " regex "on" nosearch "on" nototal "on" order "modified" reverse "on" limit "500" nosummary "on" header " Topic Changed By " format " $topic $date $wikiusername ... | ||
| WebCustomMenus | 28 Apr 2005 - 22:24 - NEW | Main.wiki |
| WebHome | 07 May 2008 - 21:14 - r1.57 | EelcoVisser |
| 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 ... | ||
| WebIndex | 02 Dec 2001 - 21:20 - r1.2 | EelcoVisser |
| SEARCH{"\. " scope "topic" regex "on" nosearch "on" format " $topic " noheader "on"} | ||
| WebLeftBar | 07 May 2008 - 21:13 - r1.27 | EelcoVisser |
| Home STS'08 STS'06 STS'04 StsBench News Recent Changes Mailinglist | ||
| WebNews | 23 Dec 2004 - 15:11 - r1.27 | EelcoVisser |
| 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 | 01 Mar 2004 - 21:14 - r1.14 | AndrewMalton |
| 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 ... | ||
| WebPreferences | 05 Dec 2004 - 14:17 - r1.14 | MartinBravenboer |
| 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 ... | ||
| WebRss | 08 Feb 2004 - 22:11 - NEW | MartinBravenboer |
| TWiki's INCLUDINGWEB web SCRIPTURL /view SCRIPTSUFFIX / INCLUDINGWEB program-transformation.org INCLUDE{" TWIKIWEB .WebRssBase"} | ||
| WebSearch | 09 May 2001 - 21:56 - NEW | EelcoVisser |
| 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 ... | ||
| WebStatistics | 11 Feb 2008 - 01:12 - r1.1601 | TWikiGuest |
| 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 ... | ||
| WebTools | 18 May 2003 - 12:40 - r1.3 | EelcoVisser |
| 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 ... | ||