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 ...  

Number of topics: 51

Revision: r1.1 - 09 May 2001 - 21:56 - EelcoVisser
Sts > WebIndex
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback