| Topics in Stratego web: | Changed: now 21:11 | Changed by: |
| ACoreLanguageForRewriting | 06 Dec 2001 - 17:36 - NEW | EelcoVisser |
| E. Visser and Z.-e.-A. Benaissa. A core language for rewriting. In C. Kirchner and H. Kirchner, editors, Second International Workshop on Rewriting Logic and its Applications ... | ||
| ATermLibrary | 08 Feb 2004 - 18:04 - r1.2 | MartinBravenboer |
| See ATerm Library at the Tools web. | ||
| AbstractSyntax | 17 May 2003 - 19:56 - NEW | MartinBravenboer |
| An abstract syntax is a representation of a source code (or data in general) that is independent of the representation of the program in source code, called the syntax ... | ||
| AbstractSyntaxTree | 09 Mar 2004 - 13:07 - r1.2 | MartinBravenboer |
| Description An abstract syntax tree is a tree representation of a source program. It abstracts more from the source program than a parse tree. Usually it doesn't ... | ||
| AddingConcreteSyntaxToAPrologBasedProgramSynthesisSystem | 08 May 2004 - 21:45 - r1.3 | EelcoVisser |
| B. Fischer and E. Visser. Adding concrete syntax to a Prolog-based program synthesis system (extended abstract). In M. Bruynooghe, editor, Preliminary proceedings ... | ||
| AdditionalPackageDownload | 03 Jul 2015 - 13:29 - r1.44 | EelcoVisser |
| INCLUDE{WebNotice} TOC Editor Plugins for Stratego Spoofax Stratego Editor Plug-In for Eclipse The Spoofax Stratego Editor plug-in provides syntax-highlighting and ... | ||
| AlgebraicSignature | 03 Dec 2004 - 01:43 - r1.3 | MartinBravenboer |
| An algebraic signature describes the structure of a set of terms. A signature introduces one or more AlgebraicSorts , i.e., collections of terms. Sorts are inhabited ... | ||
| AnonymousRewriteRule | 27 Feb 2003 - 12:38 - NEW | MartinBravenboer |
| An rewrite rule is a rule that can be used inside a stategy expression. An anonymous rewrite rule of the form: \ p1 p2 where s \ is desugared to {x1, ..., xn : ?p1 ... | ||
| AspectJFront | 26 Mar 2010 - 12:44 - r1.23 | RobVermaas |
| TOC Introduction AspectJ-front provides: Modular syntax definition for AspectJ 5.0 in SDF. The AspectJ syntax definition is an extension of the modular syntax definition ... | ||
| AspectStratego | 29 Jul 2005 - 22:02 - r1.2 | MartinBravenboer |
| AspectStratego is an extension to the Stratego language for dealing with cross-cutting, separate concerns. It may be downloaded from the build farm or SVN. It is planned ... | ||
| Aster | 01 Nov 2009 - 13:55 - r1.13 | LennartKats |
| Aster is an attribute grammar system based on Stratego. It makes use of the standard Stratego facilities such as matching and syntax to specify attribute equations ... | ||
| AutoBayes | 23 Nov 2003 - 10:54 - NEW | EelcoVisser |
| AutoBayes is a program synthesis for the domain of statistical data analysis. Stratego/XT is used in combination with AutoBayes to (1) provide concrete syntax for ... | ||
| AutoXT | 13 Sep 2005 - 12:29 - r1.7 | MartKolthof |
| The autoxt package provides Autoconf and Automake support for packages constructed with the XT toolset. The package provides the autoxt tool which should be run as ... | ||
| AvoidRunTimeChecksOnVariables | 17 Jul 2003 - 00:02 - r1.2 | EelcoVisser |
| The binding of a term variable does not coincide with its binding. That is, in the strategy expresssion {x : ... ; ?Foo(x) ; ... ; !Bar(x) } the variable x is first ... | ||
| BibTeX | 22 Oct 2003 - 22:39 - NEW | EelcoVisser |
| Bibliographic format. See BibtexTools Main.EelcoVisser 22 Oct 2003 | ||
| BibtexTools | 06 May 2008 - 21:12 - r1.17 | KarlTrygveKalleberg |
| TOC Description The bibtex-tools package provides components for processing BibTeX files, mainly for producing publication lists in PDF and HTML automatically from ... | ||
| BibtexToolsRelease02 | 24 Sep 2008 - 09:52 - r1.4 | EelcoVisser |
| The released versions of BibtexTools are currently not available. You can check out the sources directly from https://svn.strategoxt.org/repos/StrategoXT/bibtex-tools ... | ||
| BoundUnboundVariableAnalysis | 17 Aug 2003 - 13:21 - NEW | EelcoVisser |
| The bound-unbound-vars component of the optimizer annotates variables with one of the annotations "bound" , "unbound" , or "(un)bound" , with the following meanings ... | ||
| BreadthFirstTraversal | 06 Jan 2002 - 16:34 - r1.2 | EelcoVisser |
| JoostVisser and I have looked at a breadth first for Tools.JJTraveler . The breadth first in the Stratego library is incorrect: It doesn't apply s to the ... | ||
| BuildMatchFusion | 18 Aug 2003 - 20:16 - NEW | EelcoVisser |
| The composition of a match and a build (in either order) can often be simplified. If the match following a build is incompatible, failure is certain. For example, ... | ||
| BuildfarmConfiguration | 11 May 2008 - 11:28 - r1.5 | KarlTrygveKalleberg |
| To add a job, you need to: 1 describe your package in packages.nix (e.g. fooFront ) 2 add a release to releases.nix (e.g. fooFrontUnstable ), referring to fooFront ... | ||
| BuildingInterpretersWithRewritingStrategies | 23 May 2002 - 12:08 - r1.3 | EelcoVisser |
| EelcoDolstra and Main.EelcoVisser. Building Interpreters With Rewriting Strategies In Transform.MarkVanDenBrand and Transform.RalfLaemmel (editors) Workshop on ... | ||
| BuildingProgramOptimizersWithRewritingStrategies | 29 Nov 2003 - 23:41 - r1.3 | EelcoVisser |
| E. Visser, Z.-e.-A. Benaissa, and A. Tolmach. Building program optimizers with rewriting strategies. In Proceedings of the third ACM SIGPLAN International Conference ... | ||
| CTools | 27 Feb 2003 - 16:33 - NEW | MartinBravenboer |
| The c-tools package contains: a SDF syntax definition, a Printer, and Signatures for the C language. Using c-tools you can generate C code with Syntax for the C language ... | ||
| CX | 13 Sep 2006 - 12:23 - NEW | MartinBravenboer |
| TOC Introduction CX is an aterm bridge for CIL, an existing C front-end implement in OCaml. The Stratego/XT-based package CX uses this bridge to read C code. CX will ... | ||
| CaptureFailure | 03 Dec 2004 - 00:54 - r1.2 | MartinBravenboer |
| Success and failure in Stratego allows one to avoid computing with Boolean values all the time. However, sometimes it is necessary to capture the failure (or success ... | ||
| CategoryCategory | 19 Jul 2003 - 08:14 - r1.2 | EelcoVisser |
| The category of categories. SEARCH{search "CategoryCategory" regex on format " $topic " nosearch "on"} | ||
| CategoryCompiler | 22 Jul 2003 - 12:10 - NEW | EelcoVisser |
| SEARCH{"CategoryCompiler" format " $topic " noheader "on" nosearch "on"} CategoryCategory | ||
| CategoryConcreteObjectSyntax | 14 Mar 2003 - 12:35 - NEW | MartinBravenboer |
| SEARCH{search "CategoryConcreteObjectSyntax" nosummary "on" scope "text" noheader "on" nosearch "on" nototal "on" format " $topic "} CategoryCategory | ||
| CategoryGlossary | 09 Dec 2001 - 15:00 - NEW | EelcoVisser |
| SEARCH{search "CategoryGlossary" nosummary "on" scope "text" noheader "on" nosearch "on" nototal "on" format " $topic "} CategoryCategory | ||
| CategoryInstallation | 15 May 2003 - 11:03 - NEW | MartinBravenboer |
| SEARCH{search "CategoryInstallation" nosummary "on" scope "text" noheader "on" nosearch "on" nototal "on" format " $topic "} CategoryCategory | ||
| CategoryStrategoApplication | 22 Sep 2001 - 10:15 - NEW | EelcoVisser |
| The Category of StrategoLanguage applications. Click on the title to get them all. Transform.CategoryCategory | ||
| CharacterSyntax | 21 Dec 2002 - 15:35 - NEW | EelcoVisser |
| A few months ago I proposed to introduce character literals in Stratego as syntactic sugar for the integer ASCII value of the character. I would like to raise this ... | ||
| CobolX | 09 Feb 2004 - 13:30 - r1.6 | MartinBravenboer |
| Homepage: http://losser.st-lab.cs.uu.nl/~pretzel/ CobolX is a transformation system for Transform.COBOL developed by Main.HedzerWestra based on StrategoLanguage and ... | ||
| CodeBoost | 22 Sep 2001 - 22:03 - r1.3 | EelcoVisser |
| CodeBoost is a tool for source-to-source transformation and optimisation of C++ programs. It is intended to be used as a testbed for various high-level optimisations ... | ||
| CodeBoostContributors | 09 May 2001 - 21:57 - NEW | EelcoVisser |
| CodeBoostI JanHeering TBDinesh CodeBoostII MagneHaveraaen OttoSkroveBagge EelcoVisser | ||
| CodeBoostDownload | 20 Jan 2002 - 13:30 - r1.2 | OttoSkroveBagge |
| The CodeBoost distribution is available for download at http://www.codeboost.org/ Main.OttoSkroveBagge 20 Jan 2002 | ||
| CodeBoostI | 09 May 2001 - 21:57 - NEW | EelcoVisser |
| CodeBoostI was the first CodeBoost prototype, implemented in ASF+SDF. It is described in a paper 1 by TBDinesh, MagneHaveraaen and JanHeering. | ||
| CodeBoostII | 09 May 2001 - 21:57 - NEW | EelcoVisser |
| CodeBoostII is the second version of CodeBoost, described on these web pages. Its main advantage of CodeBoostI is that it performs SemanticAnalysis, allowing for more ... | ||
| CodeGeneration2009Tutorial | 15 Jun 2009 - 18:49 - r1.9 | LennartKats |
| The software for the Code Generation 2009 Tutorial is available through a virtual machine. To run this virtual machine you need a recent version of VirtualBox (version ... | ||
| CodeGenerationFromADomainSpecificLanguage | 23 Jul 2003 - 10:07 - NEW | EelcoVisser |
| Jonne van Wijngaarden, Code Generation from a Domain Specific Language. Designing and Implementing Complex Program Transformations MSc Thesis INF/SCR-03-29, Institute ... | ||
| CodeGenerationTutorial | 18 May 2009 - 13:07 - NEW | EelcoVisser |
| This page will contain information for the participants in the Code Generation 2009 Hands-On Stratego/XT tutorial. Main.EelcoVisser 18 May 2009 | ||
| CodingStandards | 15 May 2003 - 10:37 - r1.5 | MartinBravenboer |
| Layout and naming conventions for the language Guidelines how to layout your Stratego code Conventions how to chose names for strategies, rules, variables and modules ... | ||
| CombiningAspectOrientedAndStrategicProgramming | 08 Jan 2006 - 20:19 - r1.4 | KarlTrygveKalleberg |
| Karl Trygve Kalleberg and Eelco Visser. Combining Aspect-Oriented and Strategic Programming . RULE 2005. In H. Cirstea and N. Martí-Oliet, editors, Proceedings of ... | ||
| CommonSubexpressionElimination | 17 Aug 2003 - 13:06 - NEW | EelcoVisser |
| and copy propagation performs a forward propagation of known term expressions. This may result in multiple of (parts of) the same term. A common-subexpression elimination ... | ||
| CompilerImprovements | 09 Dec 2001 - 21:46 - r1.9 | EelcoVisser |
| This page lists ideas for improvement of the StrategoCompiler. Please add ideas and bug reports to the appropriate sub-topic. ImplementationScheme StrategoOptimization ... | ||
| CompilerWritingPicture | 30 Dec 2001 - 21:54 - NEW | EelcoVisser |
 Transform.ZinoBenaissa and Transform.EelcoVisser working on first StrategoCompiler at the Oregon ...
| ||
| ComposingSourceToSourceDataFlowTransformations | 02 Sep 2005 - 12:06 - r1.3 | EelcoVisser |
| K. Olmos and E. Visser. Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules. In R. Bodik, editor, 14th ... | ||
| ConcreteSyntax | 28 Nov 2003 - 13:27 - r1.4 | EelcoVisser |
| syntax written using prefix constructor terms can become rather unreadable when patterns become large. Therefore it is attractrive to write rules using the concrete ... | ||
| ConcreteSyntaxForObjects | 02 Sep 2005 - 12:14 - r1.4 | EelcoVisser |
| M. Bravenboer and E. Visser. Concrete Syntax for Objects. Domain-Specific Language Embedding and Assimilation without Restrictions. In D. C. Schmidt, editor, Proceedings ... | ||
| ConcreteSyntaxPackage | 10 Nov 2004 - 17:31 - r1.3 | MartinBravenboer |
| TOC Description The concrete-syntax package provides parse-cs, a generic program for parsing programs with embedded syntax. The program is parameterized with meta ... | ||
| CongruenceOperator | 03 Dec 2004 - 00:58 - r1.3 | MartinBravenboer |
| A term consisting of a constructor C and subterms ti: C(t1, t2, ..., tn) defines a congruence operator C(s1, s2, ..., sn) This is an operator that first matches a ... | ||
| ConnectingXMLProcessingAndTermRewritingWithTreeGrammars | 08 Feb 2007 - 00:57 - r1.4 | MartinBravenboer |
| Martin Bravenboer. Connecting XML Processing and Term Rewriting with Tree Grammars . Institute of Information and Computing Sciences, Utrecht University, The Netherlands ... | ||
| ConstantAndCopyPropagation | 19 Jul 2003 - 08:10 - NEW | EelcoVisser |
| When the current subject term is known for a match action, the bindings it induces can be propagated to the uses of the variables in the pattern. This is a data-flow ... | ||
| ConstantPropagation | 17 Sep 2003 - 08:48 - NEW | EelcoVisser |
| Constant propagation is a data-flow optimization in which assignments of a constant value to a variable are propagated to the use of that variable. The following paper ... | ||
| ConstantTermCaching | 15 Jan 2002 - 23:36 - r1.2 | EelcoVisser |
| Terms are constructed dynamically, even when they are are constant at compile time. Constant term caching is a transformation that lifts out constant terms and constructs ... | ||
| ContextualRule | 29 Jul 2003 - 14:19 - r1.2 | EelcoVisser |
| TOC Description A contextual rule is a rule in which the left-hand side and right-hand side terms contain contexts of the form x t . A typical example of a contextual ... | ||
| ContinuousBuild | 03 Jul 2015 - 13:29 - r1.45 | EelcoVisser |
| INCLUDE{WebNotice} The buildfarm continuously builds Stratego/XT and related packages. The distributions contain the latest of the latest developments. Although the ... | ||
| ContinuousDistribution | 17 Jan 2007 - 23:05 - r1.24 | MartinBravenboer |
| INCLUDE{ContinuousBuild} | ||
| CurrentSubjectTerm | 20 Jun 2003 - 13:11 - r1.2 | MartinBravenboer |
| Each rule or strategy applies to an implicit subject term. See versus strategies for a discussion. Visser 13 May 2003 The implicit current subject term is related ... | ||
| DataFlowArchitecture | 13 Jun 2003 - 11:51 - NEW | EelcoVisser |
| Transformation systems built with StrategoXT are typically organized using a data-flow architecture. This is rather an implicit notion in the framework, which could ... | ||
| DeadDefinitionElimination | 18 Aug 2003 - 20:06 - NEW | EelcoVisser |
| After inlining definitions that are no longer referred to can be removed. The dead-def-elim component of the optimizer achieves this. Implementation dead-def-elim ... | ||
| DeadVariableElimination | 17 Aug 2003 - 12:59 - NEW | EelcoVisser |
| The dead-var-elim component of the optimizer eliminates variables from a strategy expression if they are not used in a build. For example, in the expression { x, y ... | ||
| DebuggingTechniques | 15 May 2003 - 10:40 - r1.6 | MartinBravenboer |
| Here are some debugging techniques Reduce the specification and the input to localize the error Format Checking Use a FormatChecker to verify the results of transformations ... | ||
| DesignOfTheCodeBoostTransformationSystem | 24 Nov 2003 - 23:55 - r1.3 | EelcoVisser |
| O. S. Bagge, K. T. Kalleberg, M. Haveraaen and E. Visser. Design of the CodeBoost transformation system for domain-specific optimisation of C++ programs. In D. Binkley ... | ||
| DetectOverlappingRules | 17 Mar 2002 - 22:17 - NEW | EelcoVisser |
| The EvaluationOrder of the alternatives of the NonDeterministicChoice operator is not defined. The StrategoCompiler can decide in which order to try the alternatives ... | ||
| DeterministicChoice | 17 Mar 2002 - 22:25 - NEW | EelcoVisser |
| The local deterministic choice operator s1 StrategoGlossary | ||
| DisplayStrategies | 23 Jul 2003 - 22:33 - NEW | EelcoVisser |
| Is their a way to display strategies (or just thier names) from within Stratego. This could be used to add trace monitors to Stratego code. For example: I-str-detectfail ... | ||
| DynamicRule | 03 Dec 2004 - 00:56 - r1.6 | MartinBravenboer |
| A dynamic rule is an ordinary RewriteRule that is generated at run-time. A dynamic rule can inherit bindings of variables from its generation context. Dynamic rules ... | ||
| DynamicRuleSemantics | 29 Jul 2003 - 09:34 - r1.8 | EelcoVisser |
| rules allow the run-time addition of rewrite rules. This can be used to model context-sensitive rewriting and has a host of applications in program transformation ... | ||
| DynamicRulesRelated | 21 Apr 2004 - 07:07 - r1.2 | MartinBravenboer |
| This page collects references to language constructs in other languages that have some commonalities with dynamic rewrite rules. Dynamically Scoped Variables in Lisp ... | ||
| DynamicRulesRethought | 20 Apr 2004 - 09:24 - r1.7 | ArthurVanDam |
| We're currently rethinking the concept of dynamic rules; quite some changes are at stake. This topic collects some of our reasoning on behaviour and implementation ... | ||
| EBNF | 05 Mar 2002 - 15:14 - NEW | EelcoVisser |
| The EBNF package is a StrategoApplication developed to illustrate the basic concepts of transformation with rewriting strategies. The package has a single source directory ... | ||
| EcmaScript | 01 Sep 2006 - 00:42 - r1.4 | MartinBravenboer |
| The ECMAScript project is a collection of packages that collectively represent a formal specification for the ECMAScript Edition 4 programming language (also known ... | ||
| EcmaScriptFront | 17 Nov 2010 - 09:50 - r1.4 | RobVermaas |
| TOC Features ECMAScript-front is a package you can use to generate or transform ECMAScript Edition 4 (also known as JavaScript) code. Download Stable Releases Currently ... | ||
| EcmaScriptModel | 25 Aug 2006 - 17:40 - NEW | DaveHerman |
| TOC Features The ECMAScript-model package is an executable model of the ECMAScript Edition 4 programming language. The source code represents a small-step operational ... | ||
| EelcoVisser | 02 Dec 2001 - 18:30 - r1.3 | EelcoVisser |
| Eelco Visser designed and implemented StrategoLanguage. His homepage http://www.cs.uu.nl/~visser/ has plenty of other stuff on him. See also the and Transform.EelcoVisser ... | ||
| EffectsAnalysis | 17 Aug 2003 - 12:07 - r1.3 | EelcoVisser |
| Effects analysis can further enhance the optimizations performed by the optimizer. The following questions should be answered by effects analysis: Does the strategy ... | ||
| EmptyPage | 22 Dec 2007 - 18:25 - NEW | EelcoVisser |
| body of the empty page | ||
| ErrorReporting | 09 Dec 2001 - 21:49 - r1.2 | EelcoVisser |
| Ideas for improving the error reporting of the StrategoCompiler. Feel free to add more ideas. check import graph: operators used in a module should be visible through ... | ||
| EvaluationOrder | 17 Mar 2002 - 22:28 - r1.2 | EelcoVisser |
| The evaluation order of the alternatives of the NonDeterministicChoice operator is undefined . Improved efficiency of needed definition extraction by using dynamic ... | ||
| ExpTools | 27 Jun 2004 - 19:47 - r1.3 | MartinBravenboer |
| exp-tools is a transformation tool package containing all basic features found in a package for a more complex language than expressions (for example xml-tools). It ... | ||
| ExtendibleDocumentationGenerator | 26 Dec 2004 - 18:12 - r1.40 | MartinBravenboer |
| xDoc: generate documentation for Stratego specifications General Rob Vermaas is working at the moment on xDoc. Examples of generated documentation can be found at ... | ||
| ExtendingDynamicRules | 14 Sep 2004 - 22:07 - r1.2 | ArthurVanDam |
| A. van Dam. Extending Dynamic Rules. An Application-Oriented Study into Stratego's new Dynamic Rules. Master's thesis, Utrecht University, Utrecht, The Netherlands ... | ||
| FifthStrategoUserDays | 14 Jan 2005 - 12:39 - r1.41 | MartinBravenboer |
| Call for Participation Fifth Stratego User Days (SUD'04) with a special session on CodeBoost March 1 3, 2004 Utrecht University Utrecht, The Netherlands TOC Scope ... | ||
| FifthStrategoUserDaysPictures | 07 Sep 2005 - 20:31 - r1.4 | EelcoVisser |
| Mon, 1 Mar 2004 Tue, 2 Mar 2004 Wed, 3 Mar 2004 Main.ArthurVanDam 22 Mar 2004 | ||
| FifthStrategoUserDaysProgram | 27 Jun 2004 - 19:47 - r1.2 | MartinBravenboer |
| Monday Stratego Development 9:00 Eelco Visser Stratego/XT in 2003 Program Overview StrategoCompiler Announcement: C transformation system 10:00 Martin Bravenboer ... | ||
| FifthStrategoUsersDayText | 27 Jun 2004 - 19:47 - r1.2 | MartinBravenboer |
| Call for Participation FIFTH STRATEGO USER DAYS with a special session on CodeBoost March 1 3, 2004 Utrecht University Utrecht, The Netherlands http://www.stratego ... | ||
| FileAttachment | 28 Apr 2005 - 22:24 - NEW | Main.wiki |
| INCLUDE{" TWIKIWEB .FileAttachment"} | ||
| FileAttribute | 28 Apr 2005 - 22:24 - NEW | Main.wiki |
| FileExtensions | 23 Jun 2004 - 18:41 - NEW | MartinBravenboer |
| ( this overview is under construction, please contribute! ) .def Foo.def is an SDF definition . An SDF definition is stored in a .def file and is just a bundle of ... | ||
| FinalDefinitions | 27 Oct 2001 - 13:33 - NEW | EelcoVisser |
| final module/definition Marks a definition or all definitions in a module as final. This means that modules importing this definition cannot extend it. For separate ... | ||
| FirstStrategoUsersDay | 09 Mar 2001 - 07:39 - NEW | EelcoVisser |
| First Stratego Users Day March 24, 2000 CWI, Amsterdam On Friday, March 24, 2000, Merijn de Jonge and Joost Visser of CWI, Amsterdam will host the first Stratego ... | ||
| FirstStrategoUsersDayReport | 09 May 2001 - 21:57 - NEW | EelcoVisser |
| The first Stratego Users Day was held on March 24, 2000 at CWI. The subject of the meeting was for StrategoUsers to share experiences with StrategoLanguage and get ... | ||
| FixedLengthTuple | 10 Jan 2002 - 21:55 - r1.9 | EelcoVisser |
| A tuple is a term of the form (t1,...,tn) . In pre- StrategoRelease07 versions of Stratego this was syntactic sugar for TCons(t1,...,TCons(tn,TNil)) . The idea behind ... | ||
| FormatChecker | 29 Jan 2005 - 14:45 - r1.6 | MartinBravenboer |
| A format checker is a strategy that checks the well-formedness of an term. Format checkers can check more properties than can just be described using signatures. For ... | ||
| FourthStrategoUsersDay | 06 Dec 2004 - 11:15 - r1.23 | MartinBravenboer |
| Fourth Users Day (SUD'03) June 5, 2003 Utrecht University Utrecht, The Netherlands TOC Achievements The last year was again a productive year for the Stratego/XT ... | ||
| FourthStrategoUsersDayProgram | 19 Jun 2003 - 07:59 - r1.2 | RobVermaas |
| Program of the Fourth Users Day (SUD'03) June 5, 2003 Utrecht University Utrecht, The Netherlands Venue The meeting will be held at the Uithof campus of Utrecht University ... | ||
| FrequentlyAskedQuestions | 31 Aug 2006 - 14:53 - r1.17 | MartinBravenboer |
| TOC Installation Q: I get errors when compiling Stratego programs or when running compiled Stratego programs. A: If you've carefully followed the instructions and ... | ||
| FromNaturalSemanticsToStratego | 09 Jun 2006 - 09:14 - NEW | EelcoVisser |
| Brad Alexander from the School of Computer Science at the University of Adelaide visits Utrecht University, where he will give a talk in the Software Technology Colloquium ... | ||
| FrontPage | 14 Jan 2005 - 12:47 - r1.3 | RobVermaas |
| Stratego is a modular language for the specification of fully automatic program transformation systems based on the paradigm of rewriting strategies. The construction ... | ||
| FusingLogicAndControl | 15 Feb 2004 - 14:36 - r1.2 | EelcoVisser |
| PatriciaJohann and Main.EelcoVisser. Strategies for Fusing Logic and Control via Local, Application-Specific Transformations. Technical Report UU-CS-2003 ... | ||
| FusionOfStrategoAndXT | 14 Nov 2002 - 23:44 - r1.2 | EelcoVisser |
| In StrategoRelease08 an extension of Stratego with syntax is provided. This extension requires a tighter integration with SDF and several of the XT tools. In effect ... | ||
| GLR | 30 Jan 2004 - 17:28 - r1.2 | MartinBravenboer |
| See Sdf.GeneralizedLR at the SDF web | ||
| GPP | 17 Feb 2004 - 14:21 - r1.5 | MerijnDeJonge |
| GPP is the Generic Pretty Printer package. Checkout Tools.GenericPrettyPrinter for more information. | ||
| GenericTermDeconstruction | 03 Dec 2004 - 01:02 - r1.2 | MartinBravenboer |
| Generic term deconstruction decomposes a constructor application into its constructor and the list with children. This can be done using the # operator. The match ... | ||
| GenericTermTraversal | 14 Jun 2003 - 13:11 - r1.4 | EelcoVisser |
| A generic traversal is a traversal strategy that is parameterized with the transformation or transformations that should be applied when visiting subterms. The generic ... | ||
| GenericTermTraversalOperators | 17 May 2003 - 21:06 - NEW | MartinBravenboer |
| Generic term traversal operators support te definition of term traversal strategies like topdown and bottomup . Operators available in Stratego are: one applies a ... | ||
| GenericTraversal | 14 Jun 2003 - 13:08 - NEW | EelcoVisser |
| See term traversal Main.EelcoVisser 14 Jun 2003 | ||
| GrammarEngineeringSupportForPrecedenceRuleRecoveryAndCompatibilityChecking | 15 Mar 2007 - 04:01 - NEW | MartinBravenboer |
| Eric Bouwers, Martin Bravenboer, and Eelco Visser. Grammar Engineering Support for Precedence Rule Recovery and Compatibility Checking. In Proceedings of LDTA'07, ... | ||
| GrammarEngineeringTools | 03 Apr 2007 - 14:11 - r1.8 | MartinBravenboer |
| TOC Introduction The Stratego/XT Grammar Engineering Tools is a collection of tools for the recovery, development, testing, and maintenance of grammars. Currently ... | ||
| GuardedLeftChoice | 27 Jan 2002 - 14:42 - NEW | EelcoVisser |
| Added the guarded left choice operator s1 StrategoRelease07 | ||
| HSX | 21 Apr 2010 - 08:41 - r1.3 | EelcoVisser |
| HSX: A Framework for Haskell Transformation Note that this was the second Stratego project and probably not up-to-date with modern Stratego programming practices ... | ||
| HallOfFame | 03 Nov 2004 - 12:01 - NEW | EelcoVisser |
| in Stratego: a Stratego program that prints its own source | ||
| HallOfShame | 30 Nov 2004 - 11:09 - r1.2 | ReneDeGroot |
| This is an overview of the most horrible Stratego code that has been written. Feel free to add your own code! ;) Tuples and Concrete Object Syntax If you don't want ... | ||
| HandoutsForTheStrategoTutorialAtETAPS2002 | 08 Nov 2006 - 09:36 - r1.2 | EelcoVisser |
| The handouts are currently not available; more recent material is available from the documentation page. Main.EelcoVisser 08 Nov 2006 Handouts for the Tutorial ... | ||
| HowToReleaseStrategoXT | 05 Jun 2005 - 20:30 - r1.7 | MartinBravenboer |
| This is a to do list for creating a new release of StrategoXT. Make sure trunk is ok The trunk revision must build at all machines of the buildfarm, Cygwin and Mac ... | ||
| HowToSetUpAStrategoPackage | 06 Sep 2005 - 12:14 - r1.15 | MartinBravenboer |
| under construction Main.EelcoVisser 16 May 2003 A full fledged Stratego application does more than transform an ATerm into another ATerm. To transform programs ... | ||
| HowToUseSeparateCompilation | 23 Jun 2005 - 11:32 - r1.2 | MartKolthof |
| RED This manual is under construction! ENDCOLOR Table of Contents TOC Introduction Using a library At the command-line, or in Automake. Using strc at the command ... | ||
| HowToUseSharedLibraries | 05 Jul 2004 - 11:06 - r1.3 | MartinBravenboer |
| From StrategoXT 0.11 the Stratego Runtime creates libraries using Libtool. This means that both static and shared libraries are constructed (on platforms that support ... | ||
| HsOpt | 09 Jul 2003 - 14:54 - r1.3 | EelcoVisser |
| HsOpt is an optimizer for the Helium compiler implemented in the transformation language Stratego. Helium is a subset of Haskell developed at Utrecht University. The ... | ||
| IfThen | 03 Dec 2004 - 01:27 - r1.2 | MartinBravenboer |
| Syntax "if" Strategy "then" Strategy "end" Strategy Description The strategy if s1 then s2 end applies s2 if s1 succeeds. The result of s1 is ignored. That is, if ... | ||
| IfThenElse | 03 Dec 2004 - 01:27 - r1.2 | MartinBravenboer |
| Syntax "if" Strategy "then" Strategy "else" Strategy "end" Strategy Description t If s1 succeeds then strategy s2 is applied. If s1 fails, then s3 is applied. The ... | ||
| ImplementationOfFailure | 16 Apr 2002 - 14:12 - r1.3 | EelcoVisser |
| Before StrategoRelease06 failure was implemented in the StrategoCompiler by using GCC's computed labels feature. Starting with StrategoRelease06 failure handling is ... | ||
| ImplementationOfInliningInStratego | 24 Jan 2002 - 00:07 - NEW | EelcoVisser |
| by Transform.ArneDeBruijn August 10, 2001 INF/SCR-01-11 Master thesis, Institute of Information and Computing Sciences, Universiteit Utrecht Abstract All modern compilers ... | ||
| ImplementationScheme | 02 Jan 2002 - 16:36 - r1.2 | EelcoVisser |
| Ideas for improving the implementation scheme of the StrategoCompiler. Feel free to add ideas. GlobalBacktracking ImplementationOfFailure variables on backtracking ... | ||
| ImproveIOFacilitiesInSSL | 22 Aug 2003 - 12:43 - r1.3 | MartinBravenboer |
| TOC Introduction We need to improve the IO facilities in the SSL. Because the oldest strategies are to abstract, many different implementations have been created ... | ||
| InnermostFusion | 17 Aug 2003 - 12:39 - r1.2 | EelcoVisser |
| An experimental fusion transformation for fusing the generic InnermostStrategy with the rules it is instantiated with was implemented in StrategoRelease05. The transformation ... | ||
| InstallationInstructions | 31 Aug 2006 - 14:57 - r1.17 | MartinBravenboer |
| Installation instructions are available in the Stratego/XT Manual: MANUAL /installation.html | ||
| InstallationInstructions010 | 09 May 2004 - 08:32 - NEW | MartinBravenboer |
| StrategoXT 0.10 Installation Instructions Download the required packages First of all download the required packages ( .tar.gz , RPMs or Source RPMs). You need aterm ... | ||
| InstallationInstructions011 | 16 Jul 2004 - 12:12 - NEW | MartinBravenboer |
| StrategoXT 0.11 Installation Instructions Download the required packages First of all download the required packages ( .tar.gz , RPMs or Source RPMs). You need aterm ... | ||
| InstallationInstructions012 | 03 Oct 2004 - 11:55 - NEW | MartinBravenboer |
| StrategoXT 0.12 Installation Instructions Download the required packages First of all download the required packages ( .tar.gz , RPMs or Source RPMs). You need aterm ... | ||
| InstallationInstructions013 | 02 Jun 2005 - 18:05 - r1.2 | MartinBravenboer |
| First of all download the required packages ( .tar.gz , RPMs or Source RPMs). You need aterm 2.3.1 and sdf2-bundle 2.3 The URLs are specified in the the release page ... | ||
| InstallationInstructions014 | 02 Jun 2005 - 18:07 - NEW | MartinBravenboer |
| First of all download the required packages ( .tar.gz , RPMs or Source RPMs). You need aterm 2.3.1 and sdf2-bundle 2.3 The URLs are specified in the the release page ... | ||
| InstallationInstructions091 | 28 Jan 2004 - 08:54 - r1.4 | MartinBravenboer |
| TOC Download distribution First download Stratego XT 0.9.1. The instructions on this page assume that you have downloaded a distribution. See the Sources topic for ... | ||
| InstallationInstructions092 | 10 Nov 2004 - 17:31 - r1.2 | MartinBravenboer |
| Download the required packages First of all download the required packages ( .tar.gz , RPMs or Source RPMs). The URLs are specified in the topic of the StrategoXT ... | ||
| InstallationInstructions093 | 10 Nov 2004 - 17:31 - r1.2 | MartinBravenboer |
| Download the required packages First of all download the required packages ( .tar.gz , RPMs or Source RPMs). The URLs are specified in the topic of the StrategoXT ... | ||
| InstallationInstructions094 | 23 Jan 2004 - 09:15 - NEW | MartinBravenboer |
| Download the required packages First of all download the required packages ( .tar.gz , RPMs or Source RPMs). You need aterm 2.0 and sdf2-bundle 1.6. The URLs are ... | ||
| InstallationInstructions095 | 25 Mar 2004 - 20:17 - NEW | MartinBravenboer |
| Download the required packages First of all download the required packages ( .tar.gz , RPMs or Source RPMs). You need aterm 2.0.5 and sdf2-bundle 2.0.1 The URLs are ... | ||
| InstallationTrouble | 05 Nov 2005 - 01:04 - r1.10 | MartinBravenboer |
| This page discusses common problems (or non-problems) with the installation of Stratego on certain platforms. ATerm Installation (for Stratego/XT 0.14 and earlier ... | ||
| IntegrationBuild | 13 Feb 2009 - 14:52 - r1.6 | MartinBravenboer |
| The Stratego/XT packages integration build provides a heavily tested release of the latest version of Stratego/XT, its dependencies, and packages based on Stratego ... | ||
| InteractiveTransformationEnvironment | 16 Apr 2002 - 14:10 - NEW | EelcoVisser |
| Stratego is currently used to produce batch oriented transformation systems. For some applications (e.g., refactoring) it would be useful to have an environment in ... | ||
| JSGLR | 26 Oct 2012 - 13:17 - r1.5 | KarlTrygveKalleberg |
| JSGLR: An SGLR Parse Table Evaluator for Java The jsglr library implements scannerless GLR (SGLR) parsing in Java. The library provides an interpreter for parse tables ... | ||
| Java-Swul | 29 Jul 2005 - 21:58 - r1.10 | MartinBravenboer |
| Introduction Java-Swul is a domain-specific language (DSL) for creating Java SWING user interfaces. The Java-Swul language is embedded in Java. In this fasion it ... | ||
| JavaBorg | 29 Jul 2005 - 21:56 - r1.13 | MartinBravenboer |
| TOC JavaBorg is an instance of MetaBorg. Applications of JavaBorg are collected in the JavaBorg package. Installation JavaBorg can be obtained directly from the Subversion ... | ||
| JavaCSharp | 01 Aug 2008 - 07:13 - r1.2 | LennartKats |
| java-csharp was an experimental project to extend the Java language with a number of new language features, based on the related C# language. Using source-to-source ... | ||
| JavaFront | 11 Oct 2011 - 11:01 - r1.58 | KarlTrygveKalleberg |
| TOC Features Java-front is a package you can use to generate or transform Java code. It contains a handcrafted SDF grammar for Java, signatures generated from this ... | ||
| JavaFrontRelease05 | 26 Dec 2004 - 17:02 - r1.3 | MartinBravenboer |
| Released October 04, 2004 Download Java-front 0.5 requires StrategoXT 0.12. Source tar.gz java-front-0.5 Source RPM java-front-0.5 Redhat Linux RPM Redhat 9.0: java ... | ||
| JavaFrontRelease06 | 24 May 2005 - 08:34 - r1.5 | MartinBravenboer |
| Released January 14, 2005 Download Java-front 0.6 requires Stratego/XT 0.13. Source tar.gz java-front-0.6 Source RPM java-front-0.6 Redhat Linux RPM java-front-0.6 ... | ||
| JavaFrontRelease07 | 29 Jul 2005 - 21:53 - r1.2 | MartinBravenboer |
| Released May 24, 2005 Download Java-front 0.7 requires Stratego/XT 0.14. Source tar.gz java-front-0.7 Source RPM java-front-0.7 Redhat Linux RPM java-front-0.7 (Redhat ... | ||
| JavaFrontRelease08 | 04 Nov 2005 - 21:26 - r1.3 | MartinBravenboer |
| Released November 4th, 2005 Download Java-front VERSION requires Stratego/XT 0.16. Source tar.gz TARNAME VERSION Source RPM TARNAME VERSION Redhat Linux RPM TARNAME ... | ||
| JavaFrontRelease09 | 30 Aug 2009 - 09:05 - r1.2 | RobVermaas |
| Released July, 2009 Download Java Front VERSION requires Stratego/XT 0.17. Source tar.gz aterm- ATERMVERSION sdf2-bundle- SDFVERSION strategoxt- STRVERSION java-front ... | ||
| JavaJava | 10 Nov 2005 - 12:59 - r1.2 | MartinBravenboer |
| TOC Documentation Publication: Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax Download Distributions (tarball, rpm, srpm) of the ... | ||
| JavaJuke | 18 May 2005 - 09:07 - r1.5 | ReneDeGroot |
| Java-Swul parts The user interface of JavaJuke is build using Java-Swul. The interface source is a mixture of using Swul to create default Swing components and integrating ... | ||
| JavaSwulExamples | 18 May 2005 - 08:55 - r1.6 | ReneDeGroot |
| TOC Introduction The examples covered in this page show some of the capabilities of Java-Swul. All the examples are based on code in the xmpl directory in the Java ... | ||
| JimpleFront | 30 Jun 2008 - 23:21 - r1.6 | KarlTrygveKalleberg |
| TOC Introduction Jimple-front defines the syntax of Jimple, the typed 3-address representation of Java bytecode of the Soot Java optimization framework. This representation ... | ||
| JoostVisser | 09 May 2001 - 21:57 - NEW | EelcoVisser |
| Home: http://www.cwi.nl/~jvisser See also StrategoAndSDF | ||
| LGPL | 18 Jul 2003 - 11:39 - r1.2 | MartinBravenboer |
| StrategoXT packages are licensed under the GNU Lesser General Public License to: encourage the widest possible use of these packages guarantee the open evolution of ... | ||
| LanguageExtensions | 03 Dec 2004 - 01:44 - r1.13 | MartinBravenboer |
| This page lists StrategoLanguage constructs and features that are desirable to have. Feel free to add ideas by adding an item with a descriptive name. RightToLeftTraversal ... | ||
| LanguageIndependentTraversalsForProgramTransformation | 20 May 2004 - 22:42 - r1.4 | MartinBravenboer |
| Language Independent Traversals for Program Transformation. EelcoVisser. Workshop on Transform.GenericProgramming (Transform.WGP'00), July 2000. Ponte de Lima, Portugal ... | ||
| LatestDevelopments | 04 Oct 2013 - 22:32 - r1.13 | EelcoVisser |
| STARTINCLUDE .newsitem h3 { font-size: 100 ; color: #333333; padding-bottom: 3px; border-bottom: 1px dotted #bb9; } .newsitem em { float: right; font-size: x-small ... | ||
| LayoutGuidelines | 29 Apr 2002 - 11:08 - r1.2 | EelcoVisser |
| Good layout is important for the readability and hence maintainability of programs. This holds for any programming language. Stratego aims at not only providing a ... | ||
| LeftChoice | 17 Mar 2002 - 22:34 - NEW | EelcoVisser |
| Synonym for the DeterministicChoice operator CategoryGlossary StrategoGlossary | ||
| LibraryDocumentation | 04 Aug 2003 - 15:54 - r1.4 | MartinBravenboer |
| The documentation of Standard Library must be improved. You can help with this in two ways: If you have to you think longer than 10 seconds about what a strategy in ... | ||
| LibraryImprovements | 19 Jun 2003 - 07:59 - r1.9 | RobVermaas |
| Below is a list of ideas for improvements and extensions of the standard library. Feel free to add items to the list or even to start new topics. NewName BreadthFirstTraversal ... | ||
| LiftDefinitionsToTopLevel | 18 Aug 2003 - 19:52 - NEW | EelcoVisser |
| Local strategy definitions can be lifted to the top-level if they do not contain free variables. For example, foo(s) Bar(s, id) ; let f !"foobar" in foobar(f) end ... | ||
| ListConstructor | 15 Jan 2002 - 23:37 - r1.5 | EelcoVisser |
| In the ATerm representation lists are represented as terms of the form t1,...,tn . This is also the syntax for lists in Stratego; extended with the notation t1,.. ... | ||
| ListMatching | 25 Jan 2003 - 01:45 - NEW | MartinBravenboer |
| In ListMatching you can use list variables inside a match against a list pattern. List variables are variables followed by a . List variables represent list content ... | ||
| ListTraversal | 09 Jan 2002 - 00:02 - NEW | EelcoVisser |
| Lists are now (StrategoRelease07) considered as variadic constructors. The behaviour of the generic traversal operators is changed accordingly. For example, a, b, ... | ||
| MacOSXSupport | 23 Jun 2006 - 21:05 - r1.8 | MartinBravenboer |
| Mac OS X / Intel The latest unstable releases of Stratego/XT 0.17 support Mac OS X on Intel machines. An experimental installer is available. See the announcement ... | ||
| MailingList | 03 Jul 2015 - 13:33 - r1.20 | EelcoVisser |
| INCLUDE{WebNotice} There are several mailing lists that you may subscribe to depending on the amount of information needed. All lists are subscriber post only, and ... | ||
| MatchStrategy | 13 May 2003 - 21:52 - NEW | EelcoVisser |
| The match strategy ?t matches the term pattern t against the current subject term. If the match succeeds all variables in t are bound to the corresponding sub-terms ... | ||
| MatchSymbolsInBuildPatterns | 09 Dec 2001 - 23:51 - NEW | EelcoVisser |
| No WildCards should occur in Build's, or a wildcard could be interpreted as the identity strategy in a TermWrap interpretation. As patterns may only be used in matching ... | ||
| MetaBorg | 31 Jan 2006 - 10:13 - r1.11 | MartinBravenboer |
| MetaBorg is a method for providing concrete syntax for domain abstractions to application programmers. The method consists of embedding domain-specific languages in ... | ||
| MetaExplode | 20 Aug 2003 - 07:45 - r1.3 | MartinBravenboer |
| When using syntax for the language the input is parsed against the combined syntax of the object language (for example Tiger, Java, XML or Stratego) and the language ... | ||
| MetaProgrammingWithConcreteObjectSyntax | 14 Mar 2003 - 12:37 - r1.4 | MartinBravenboer |
| E. Visser. Meta-programming with concrete object syntax. In D. Batory, C. Consel, and W. Taha, editors, Generative Programming and Component Engineering (GPCE'02) ... | ||
| MetaStratego | 03 Dec 2006 - 12:30 - r1.6 | KarlTrygveKalleberg |
| MetaStratego is a meta-programming framework for Stratego which is under development by Main.KarlTrygveKalleberg and Main.ValentinDavid. Contact these authors directly ... | ||
| MetaTransitionMarker | 20 Aug 2003 - 07:51 - NEW | MartinBravenboer |
| In programming with concrete object syntax the transitions from the meta language to the object language and vice versa are marked by special constructors: transition ... | ||
| MicrosoftWindowsSupport | 10 Nov 2004 - 16:02 - r1.14 | MartinBravenboer |
| StrategoXT On Microsoft Windows StrategoXT requires Cygwin. In StrategoXT 0.9.4 all serious problems on Microsoft Windows/Cygwin are solved. Standard tarball distributions ... | ||
| ModuleMetaFile | 27 Jun 2004 - 19:50 - r1.2 | MartinBravenboer |
| In a module meta file you can define meta information for a Stratego module. The meta file must have the same name as the module, with the .meta extension and is in ... | ||
| NamingConventions | 20 Jan 2004 - 14:55 - r1.2 | ArthurVanDam |
| Naming conventions are important in any platform. If the naming conventions are followed in the library and by the developers of a project, you can remember the name ... | ||
| NativePrimitives | 12 Aug 2003 - 09:01 - r1.2 | EelcoVisser |
| The prim construct in Stratego allows calls to 'primitive' functions. This makes it easy to include external library functionality without further language extensions ... | ||
| NewName | 12 Apr 2004 - 20:27 - r1.4 | MartinBravenboer |
| The newname strategy is a variant of the new strategy, which generates a new unique string. Newname generates unique strings, just like new, but it also accepts a ... | ||
| NonDeterministicChoice | 17 Mar 2002 - 22:34 - NEW | EelcoVisser |
| The non-deterministic local choice operator s1 s2 chooses one of the strategies s1 or s2 to apply. If the one chose fails, the other one is tried. The operator is ... | ||
| NormalForm | 08 Jan 2002 - 17:41 - NEW | EelcoVisser |
| A term is in normal form if no rule applies anywhere within the term. This implies that rules are applied everywhere in a term. This is not always appropriate. In ... | ||
| ObsoleteDocumentation | 10 Aug 2005 - 09:41 - NEW | MartinBravenboer |
| for the Stratego Tutorial at ETAPS 2002 language constructs: overview of topics covering constructs of the language Glossary: explanation of terminology Card data ... | ||
| OldFrontPage | 25 Jan 2007 - 12:37 - NEW | EelcoVisser |
| Overview About the Stratego transformation language Stratego/XT combines the Stratego language and the XT tools Documentation Overview of the available documentation ... | ||
| OttoSkroveBagge | 09 May 2001 - 21:57 - NEW | EelcoVisser |
| Otto Skrove Bagge has designed and implemented the second version of CodeBoost. For more information, see http://www.ii.uib.no/~otto/index-eng.html. | ||
| OverlayDefinition | 01 Dec 2001 - 17:00 - r1.2 | EelcoVisser |
| Abstracting over Term Patterns with Overlays Overlays are abstractions over term patterns that can be used just like ordinary term constructors. Overlays can be used ... | ||
| PIL | 14 Oct 2009 - 14:55 - r1.6 | ZefHemel |
| PIL now has its own website: http://pil-lang.org | ||
| PLogicProver | 30 Jul 2003 - 15:34 - NEW | EelcoVisser |
| I thought I'd give you an brief update on my attempt to build a verification tool for P-logic, the logic for Haskell98 that we have developed in the Programatica ... | ||
| PairConstructor | 10 Jan 2002 - 21:57 - r1.4 | EelcoVisser |
| The Pair constructor Pair(x, y) was used in thread and traversals for distribution of environments during traversal. The Pair constructor has become obsolete with ... | ||
| PanOptimizer | 28 Nov 2001 - 22:21 - r1.2 | EelcoVisser |
| An optimizer for the Transform.PanLanguage was implemented in Stratego as part of a research on Transform.InliningStrategies. It performs the following optimizations ... | ||
| ParseStratego | 17 May 2003 - 14:20 - r1.2 | MartinBravenboer |
| parse-stratego is an XTC composition of tools in stratego-front. It parses a Stratego module according to the syntax specified in the meta file or plain syntax if ... | ||
| ParseTableComposition | 14 Nov 2007 - 12:37 - r1.8 | MartinBravenboer |
| TOC Introduction Extensible Compilers. Many extensible compilers and programming languages allow the syntax of a base language to be extended to introduce new syntactic ... | ||
| PastReleases | 03 Dec 2004 - 01:38 - r1.43 | MartinBravenboer |
| This page contains plans for past releases. See ReleasePlan for planning of future releases. StrategoXT 0.9.3 released September 1, 2003 New names for si and sc : ... | ||
| PatriciaJohann | 03 Jan 2002 - 10:20 - r1.2 | EelcoVisser |
| Patricia Johann is assistant professor at Bates College, Main. She worked on the implementation of WarmFusion in Stratego with EelcoVisser. For more information see ... | ||
| PatternMatchCompilation | 14 Aug 2003 - 21:42 - NEW | EelcoVisser |
| The pattern match optimizer of the compiler optimizes choices of strategies guarded with a pattern match operation ?t . A strategy of the form {xs1 : ?t1; s1} is transformed ... | ||
| PatternMatching | 21 Apr 2004 - 12:51 - r1.4 | MartinBravenboer |
| Patterns The match strategy ( ? ) Compares the current term to a pattern. A pattern is a term that might contain variables. If a variable in a term pattern is already ... | ||
| Permissive-Grammars | 14 Sep 2009 - 12:03 - NEW | LennartKats |
| INCLUDE{PermissiveGrammars} | ||
| PermissiveGrammars | 02 Aug 2010 - 11:44 - r1.21 | LennartKats |
| This page reports on the permissive grammars project. This project is aimed at adding practical error recovery to the Java implementation of for interactive parsing ... | ||
| PeterThoeny | 28 Apr 2005 - 22:24 - NEW | Main.wiki |
| PilManual | 02 Oct 2009 - 13:06 - NEW | ZefHemel |
| A simple PIL tutorial PIL is a language based on a small subset of Java, but simpler and with a few subtle differences and convenient additions. Let's start with ... | ||
| PitFalls | 15 May 2003 - 10:41 - r1.4 | MartinBravenboer |
| From time to time you write obvious code, but after several days of intensive debugging, you discover that it cannot possibly work. Beginners are espacially at risk ... | ||
| PkgConfig | 02 May 2005 - 08:51 - NEW | RobVermaas |
| Pkg-config In this release we have introduced pkg-config for locating packages and their configuration. The use of pkg-config has several advantages: Distributions ... | ||
| PrettyPrintStratego | 17 Feb 2004 - 15:12 - NEW | MartinBravenboer |
| pp-stratego abstract pretty prints a Stratego module in abstract syntax (usually stored in a .rtree file) to Stratego concrete syntax. pp-stratego pretty prints a ... | ||
| PrettyPrintTableGenerator | 04 Feb 2004 - 18:35 - r1.2 | MartinBravenboer |
| ppgen INCLUDE{"http://losser.st-lab.cs.uu.nl/~mbravenb/tool-ref/ppgen.html"} | ||
| PrettyPrinter | 09 Feb 2004 - 14:21 - r1.5 | MartinBravenboer |
| A printer is a mapping from terms to text. If this is done in a nice way, i.e., layout is placed in appropriate places, the formatter deserves the term pretty printer ... | ||
| ProceedingsSixthStrategoUserDays | 08 Jan 2006 - 20:20 - NEW | KarlTrygveKalleberg |
| Karl Trygve Kalleberg and Eelco Visser. Proceedings of the Sixth Stratego User Days . (SUD'05), Utrecht, The Netherlands, May 2 4, 2005. Technical Report UU-CS-2005 ... | ||
| ProgramTransformationWithScopedDynamicRewriteRules | 02 Sep 2005 - 12:09 - r1.3 | EelcoVisser |
| M. Bravenboer, A. van Dam, K. Olmos, and E. Visser. Program Transformation with Scoped Dynamic Rewrite Rules. Fundamenta Informaticae, 69:1--56, 2005. (techrep) Abstract ... | ||
| ProgramTransformationWithStrategoXT | 27 Oct 2008 - 21:08 - r1.9 | EelcoVisser |
| E. Visser. Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in StrategoXT-0.9. In C. Lengauer et al., editors, Domain-Specific Program ... | ||
| PrologTools | 13 Nov 2004 - 22:04 - r1.5 | MartinBravenboer |
| The prolog-tools package provides basic support for processing Prolog programs. The package provides a syntax definition, pretty-printer, and signature for the language ... | ||
| PublicationPages | 19 Dec 2004 - 14:18 - NEW | EelcoVisser |
| Publications by year type year and type type and year alphabetically wiki | ||
| PublicationsAlphabeticallyByAuthor | 28 Mar 2007 - 21:13 - r1.3 | EelcoVisser |
| INCLUDE{PublicationPages} INCLUDE{http://buildfarm.st.ewi.tudelft.nl/releases/strategoxt/publications-unstable-latest/publications/strategoxt/strategoxt-alpha.html ... | ||
| PublicationsByType | 28 Mar 2007 - 21:16 - r1.3 | EelcoVisser |
| INCLUDE{PublicationPages} INCLUDE{http://buildfarm.st.ewi.tudelft.nl/releases/strategoxt/publications-unstable-latest/publications/strategoxt/strategoxt-by-type.html ... | ||
| PublicationsByTypeAndYear | 28 Mar 2007 - 21:12 - r1.3 | EelcoVisser |
| INCLUDE{PublicationPages} INCLUDE{http://buildfarm.st.ewi.tudelft.nl/releases/strategoxt/publications-unstable-latest/publications/strategoxt/strategoxt-by-type-by ... | ||
| PublicationsByYear | 28 Mar 2007 - 21:14 - r1.3 | EelcoVisser |
| INCLUDE{PublicationPages} INCLUDE{http://buildfarm.st.ewi.tudelft.nl/releases/strategoxt/publications-unstable-latest/publications/strategoxt/strategoxt-by-year.html ... | ||
| PublicationsByYearAndType | 13 Jun 2008 - 10:09 - r1.6 | EelcoVisser |
| INCLUDE{PublicationPages} INCLUDE{ PUBLICATIONS /strategoxt/strategoxt-by-year-by-type.html} | ||
| QueryCompiler | 27 Jun 2004 - 19:49 - r1.4 | MartinBravenboer |
| Introduction The query-compiler package is a set of tools for the inspection of the process of query compilation. It shows how a SQL query is parsed, desugared, translated ... | ||
| QuineInStratego | 03 Nov 2004 - 12:15 - NEW | EelcoVisser |
| After GPCE/OOPSLA in Vancouver Tijs van der Storm challenged me to write a Stratego program that prints its own source. So I set to work, with the following result ... | ||
| QuotedConstructors | 03 Dec 2004 - 02:38 - r1.3 | MartinBravenboer |
| Quoted constructors are constructor names with double quotes as in "a very long constructor"(A, B) This feature is available from StrategoXT 0.13. | ||
| RecursionOperator | 13 May 2003 - 21:31 - NEW | EelcoVisser |
| See StrategyDefinition | ||
| RecursivePattern | 03 Dec 2004 - 01:04 - r1.4 | MartinBravenboer |
| patterns is a idiom for checking the format of terms by means of recursion and congruences. This idiom is useful for checking the conformance of terms to some signature ... | ||
| RefactoringStrategies | 29 Apr 2002 - 07:55 - r1.2 | EelcoVisser |
| Description The design of Stratego specifications can be improved by Transform.ReFactoring. Here is a list of refactorings. Please add to the list if you use missing ... | ||
| ReferenceCard | 11 Jan 2003 - 20:43 - r1.2 | EelcoVisser |
| The data-flow diagram below shows the main tools from the StrategoXT and SDF2 packages. The red edges indicate the standard composition of a transformation system ... | ||
| RegularTreeGrammar | 28 Jan 2005 - 19:46 - r1.4 | MartinBravenboer |
| A regular tree grammar defines a regular tree language. Regular tree grammars are widely applied as tools in formal reasoning, but in practice the basic formalism ... | ||
| RelationalAlgebra | 27 Jun 2004 - 19:49 - r1.3 | MartinBravenboer |
| Introduction The RelationalAlgebra package defines an syntax for relational algebra, a presentation of relational algebra in MathML and optimization of relational ... | ||
| ReleasePlan | 27 Aug 2004 - 07:29 - r1.164 | MartinBravenboer |
| This page provides the tentative scheduling for future releases of StrategoXT. See PastReleases for an overview of the development of StrategoXT. Note that except ... | ||
| ReportingBugs | 24 Aug 2005 - 14:33 - r1.3 | MartinBravenboer |
| JIRA Issue Tracking System In March 2004, we have adopted JIRA as an issue tracking system for StrategoXT and related projects. Where to report issues? Our JIRA installation ... | ||
| RepresentStrategyAsTerm | 17 May 2003 - 20:14 - r1.3 | MartinBravenboer |
| By representing a strategy as a term, it can be passed around. This requires an EvalStrategy operator that evaluates such a term. This need not be a primitive; Problems ... | ||
| RetrofittingTheAutoBayesProgramSynthesisSystemWithConcreteSyntax | 02 Sep 2005 - 12:20 - r1.6 | EelcoVisser |
| B. Fischer and E. Visser. Retrofitting the AutoBayes Program Synthesis System with Concrete Object Syntax. In C. Lengauer et al., editors, Domain-Specific Program ... | ||
| ReversibleRules | 27 Oct 2001 - 13:11 - NEW | EelcoVisser |
| Some/many rules can be used both ways. For example, in propositional logic we have A10 : Impl(x, y) Or(Not(x), y) A11 : Or(Not(x), y) Impl(x, y) It would be more ... | ||
| RewriteRule | 03 Dec 2004 - 00:39 - r1.4 | MartinBravenboer |
| A rewrite rule has the form Lab : l r where s where Lab is the label or name of the rule, l is the left-hand side term pattern, r the right-hand side term pattern ... | ||
| RewritingStrategiesForInstructionSelection | 13 Dec 2003 - 11:25 - r1.4 | EelcoVisser |
| M. Bravenboer and E. Visser. Rewriting Strategies for Instruction Selection. In S. Tison, editor, Rewriting Techniques and Applications (RTA'02), volume 2378 of Lecture ... | ||
| RewritingStrategy | 23 Dec 2004 - 22:43 - r1.4 | EelcoVisser |
| A rewriting strategy is an algorithm for transforming a term with respect to a set of rules. Some rewriting strategies are normalizing strategies, i.e., rewrite a ... | ||
| RhoStratego | 09 Jun 2004 - 10:37 - r1.5 | MartinBravenboer |
| RhoStratego is a functional language supporting first-class rules and generic traversal. Download The following releases are available: rhostratego-0.1.tar.bz2 The ... | ||
| RightToLeftTraversal | 27 Oct 2001 - 13:40 - NEW | EelcoVisser |
| Traversal primitives should have a right-to-left variant. Make threadl variant of thread that threads from right to left Main.EelcoVisser 27 Oct 2001 CategoryToDo ... | ||
| RssFeeds | 29 Apr 2005 - 21:54 - r1.2 | MartinBravenboer |
| Stratego XT SDF | ||
| RulesVersusStrategies | 13 May 2003 - 21:29 - NEW | EelcoVisser |
| In stratego all information is represented as a ATerm. An ATerm can be thought of as a structured tree-like representation of the information that needs to be transformed ... | ||
| SDF | 28 Jan 2004 - 09:17 - r1.4 | MartinBravenboer |
| See the SDF web. | ||
| SDF2 | 24 Jan 2004 - 16:05 - r1.2 | MartinBravenboer |
| See the SDF Web. | ||
| SGLR | 28 Jan 2004 - 09:17 - r1.3 | MartinBravenboer |
| See the Sdf.SGLR topic at the SDF web | ||
| STRJ | 26 Jan 2011 - 16:25 - r1.14 | LennartKats |
| STRJ compiles Stratego to Java, and is a Java-based variation of the Compiler. TOC Introduction The compiler comes in two flavors: one called strj , compiled with ... | ||
| SamplesNetXml | 27 Jun 2004 - 19:47 - r1.6 | MartinBravenboer |
| under construction Main.MartinBravenboer 23 Jul 2003 The samples-net-xml package is a bundle of server-side and client-side example applications using the xml and ... | ||
| ScRenamedToStrc | 12 Aug 2003 - 08:59 - NEW | EelcoVisser |
| The name of the Stratego compiler was changed to strc . In StrategoRelease093 sc is still available as a redirection to strc , but will no longer be available in the ... | ||
| ScopeConstructs | 14 Jun 2003 - 13:22 - NEW | EelcoVisser |
| Stratego provides scope constructs for several types of data. The variable scope {x1,...,xn:s} delimits the scope of bindings to the term variables xi to the strategy ... | ||
| ScopedDynamicRewriteRules | 14 May 2004 - 21:44 - r1.3 | EelcoVisser |
| E. Visser. Scoped dynamic rewrite rules. In M. van den Brand and R. Verma, editors, Rule Based Programming (RULE'01), volume 59/4 of Electronic Notes in Theoretical ... | ||
| Sdf2Bundle | 23 Dec 2004 - 15:48 - r1.12 | MartinBravenboer |
| SDF2 Bundle The webpage of the SDF2 Bundle has moved to the SDF website: http://syntax-definition.org/SdfBundle | ||
| Sdf2imp | 14 Dec 2008 - 12:03 - r1.3 | LennartKats |
| This page has moved to Spoofax-IMP . | ||
| SecondStrategoUsersDay | 09 Dec 2001 - 17:18 - r1.3 | EelcoVisser |
| February 8, 2001, Universiteit Utrecht The proceedings are now available http://www.cs.uu.nl/~visser/ftp/SUD01.ps.gz http://www.cs.uu.nl/~visser/ftp/SUD01.ps.zip SecondStrategoUsersDayProgram ... | ||
| SecondStrategoUsersDayProgram | 09 Mar 2001 - 07:46 - NEW | EelcoVisser |
| Second Stratego Users Day February 8, 2001, Universiteit Utrecht www.stratego-language.org Program 10:00 coffee 10:15 opening Session 1: Language Design (chair Main ... | ||
| SeparateCompilation | 24 Dec 2003 - 11:36 - r1.4 | EelcoVisser |
| A pragmatic approach to separate compilation has been introduced in StrategoRelease094. A module can be compiled as a library which results in a single C program containing ... | ||
| SeparationOfRulesAndStrategies | 23 May 2002 - 08:09 - NEW | EelcoVisser |
| You insist on the importance of separation of concerns, in particular in separation between rules and strategies, so that rules become basic strategies on top of ... | ||
| SeventhStrategoUserDays | 06 Dec 2006 - 21:25 - r1.26 | MartinBravenboer |
| November 30 and December 1, 2006 Delft University of Technology Delft, The Netherlands TOC Scope The Stratego User Days are a yearly meeting of Stratego/XT developers ... | ||
| SeventhStrategoUserDaysPhotos | 03 Dec 2006 - 14:04 - NEW | EelcoVisser |
| Photo Sets sud06 by Martin Bravenboer by Eelco Visser | ||
| SimpleProjectCreation | 24 May 2008 - 12:16 - r1.2 | KarlTrygveKalleberg |
| Creating a Stratego/XT project the simple way The easiest way to set up a working Stratego/XT project is to use the Create-a-Project tool called crap , available ... | ||
| SimplifyingTheSimplifier | 09 Jul 2003 - 14:53 - NEW | EelcoVisser |
| Alan van Dam. Simplifying the Simplifier. HsOpt: a modular, rewrite rule based simplifier for the Helium compiler, a non-strict functional compiler. Institute of Information ... | ||
| SiteMap | 27 Aug 2002 - 08:00 - NEW | EelcoVisser |
| INCLUDE{ TWIKIWEB .SiteMap} | ||
| SixthStrategoUserDays | 26 May 2005 - 06:26 - r1.32 | MartinBravenboer |
| May 2 4, 2005 Utrecht University Utrecht, The Netherlands TOC Scope The Stratego User Days are a yearly meeting of Stratego/XT developers and users. Topics include ... | ||
| SlidesForSoftwareGeneration2001 | 15 May 2003 - 12:31 - NEW | MartinBravenboer |
| The slides covering Stratego from a course on Software Generation (September 2001): Software Generation (Introduction) ps, ps (4up) Term Rewriting ps, ps (4up) Rewriting ... | ||
| SolarisIntelSupport | 09 Dec 2003 - 16:47 - r1.5 | MartinBravenboer |
| Solaris/x86 support is scheduled for StrategoXT 0.9.4. Work has begun on pinpointing what is different from already working systems. The following packages are needed ... | ||
| SolarisUltraSparcSupport | 17 Jan 2004 - 11:52 - r1.2 | ArmijnHemel |
| The UltraSparc platform is the 64 bit version of the Sparc platform. It (and the Solaris operating system) can handle both 32 bit and 64 bit executables. The default ... | ||
| SpecificationOfLoopOptimizationsInStrategoImprovingTheAutoBayesSystem | 15 Sep 2004 - 11:38 - r1.2 | JozefKruger |
| Jozef Kruger. Specification Of Loop Optimizations In Stratego. Improving the AutoBayes System . Master's thesis. Institute of Information and Computing Sciences, Utrecht ... | ||
| SpecificationOfRewritingStrategies | 20 May 2003 - 10:12 - r1.2 | EelcoVisser |
| by Transform.BasLuttik and Main.EelcoVisser In Alex Sellink (editor) Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications ... | ||
| SplitChoice | 15 May 2003 - 13:45 - r1.2 | MartinBravenboer |
| Description Turn top-level choice into multiple rules Example replace f s1 s2 s3 by f s1 f s2 f s3 | ||
| SplitStrategoFront | 14 Nov 2002 - 23:44 - NEW | EelcoVisser |
| The StrategoFront package contains the SDF syntax definition of Stratego, the signatures and pretty-print tables generated from that syntax definition and additional ... | ||
| Spoofax-IMP | 09 Mar 2010 - 19:31 - r1.39 | LennartKats |
| This page moved to Spoofax.WebHome INCLUDE{Spoofax.WebHome} | ||
| SpoofaxIMP | 20 Oct 2009 - 19:00 - NEW | LennartKats |
| INCLUDE{Spoofax-IMP} | ||
| SqlFront | 24 Mar 2010 - 10:24 - r1.11 | RobVermaas |
| TOC Introduction SQL-front provides a syntax definition of a subset of SQL/92. You can use SQL-front to parse SQL. Download Latest Unstable Release The latest unstable ... | ||
| StrategicPatternMatching | 20 May 2003 - 10:18 - r1.4 | EelcoVisser |
| Strategic Pattern Matching is a paper about extending standard first-order term pattern matching using strategies to define complex patterns. Specifically it describes ... | ||
| StrategiesForSourceToSourceConstantPropagation | 17 Sep 2003 - 08:43 - r1.4 | EelcoVisser |
| K. Olmos and E. Visser. Strategies for Source-to-Source Constant Propagation. In B. Gramlich and S. Lucas (editors) Second International Workshop on Reduction Strategies ... | ||
| StrategoALanguageForProgramTransformationBasedOnRewritingStrategies | 30 May 2003 - 10:41 - NEW | EelcoVisser |
| E. Visser. Stratego: A language for program transformation based on rewriting strategies. System description of Stratego 0.5. In A. Middeldorp, editor, Rewriting Techniques ... | ||
| StrategoAbstractSyntax | 17 May 2003 - 14:16 - NEW | MartinBravenboer |
| abstract syntax is an syntax for the language. The structure Stratego abstract syntax is described by signatures in the stratego-front package. Tools parse syntax ... | ||
| StrategoAndSDF | 09 May 2001 - 21:57 - NEW | EelcoVisser |
| Stratego SDF: Combining Generalized LR Parsing with Stratego by JoostVisser Description This talk was given on March 24, 2000 for the FirstStrategoUsersDay. Available ... | ||
| StrategoApplication | 03 Jul 2015 - 13:29 - r1.35 | EelcoVisser |
| INCLUDE{WebNotice} The language is being used in applications in various areas of program transformation. This page lists some examples. Feel free to create a page ... | ||
| StrategoBackEnd | 17 Aug 2003 - 13:12 - NEW | EelcoVisser |
| The back-end of the compiler translates a CoreStratego program to C code. Main.EelcoVisser 17 Aug 2003 | ||
| StrategoBox | 09 Feb 2005 - 15:31 - r1.4 | MartinBravenboer |
| StrategoBox is a syntax defintion for using ConcreteSyntax for the Tools.BoxLanguage inside the StrategoLanguage. With StrategoBox you can write powerful PrettyPrinters ... | ||
| StrategoBusiness | 20 Dec 2001 - 16:04 - NEW | EelcoVisser |
| We have downloaded and are starting to look at and study some of the tools, in particular the Stratego tools and their CobolX couterpart. Good! We would also like ... | ||
| StrategoCommunity | 13 Oct 2009 - 10:56 - r1.25 | LennartKats |
| Delft University of Technology The Program Transformation project of the Software Engineering Research Group at the Delft University of Technology takes care of most ... | ||
| StrategoCompiler | 29 Jan 2005 - 18:10 - r1.8 | MartinBravenboer |
| Introduction The Stratego Compiler translates a Stratego specification to a C program. The compiler is completely implemented in Stratego (except for the parser, ... | ||
| StrategoConfigurations | 10 Nov 2004 - 16:02 - r1.9 | MartinBravenboer |
| Reported Platforms GNU/Linux at i386 SuSE 8.2 and 9.0 Redhat 8.0 Redhat 9.0 Debian 3.0 GNU/Linux at PowerPC Debian testing with GCC 3.4.1, PowerMac6,3 Mac OS X 10 ... | ||
| StrategoContributors | 07 Apr 2008 - 00:59 - r1.15 | MartinBravenboer |
| The first ideas for System S were developed at the Programming Research Group of the University of Amsterdam and at Transform.CWI. A prototype for the StrategoLanguage ... | ||
| StrategoCoreLanguage | 30 Jul 2003 - 23:11 - NEW | EelcoVisser |
| The syntax definition of Stratego is organized by syntactic category (Strategy, Term, etc.). This makes it hard to distinghuish syntactic sugar from core constructs ... | ||
| StrategoDebug | 03 Feb 2004 - 10:57 - r1.2 | ArthurVanDam |
| There are several DebuggingTechniques for debugging Stratego programs. More support from the StrategoCompiler could be useful sometimes. Tracing Since StrategoRelease062 ... | ||
| StrategoDev | 03 Jul 2015 - 13:33 - r1.44 | EelcoVisser |
| INCLUDE{WebNotice} There are many interesting and less interesting improvements that can be made to the Stratego implementation. Anyone who is interested in doing ... | ||
| StrategoDocumentation | 03 Jul 2015 - 13:26 - r1.57 | EelcoVisser |
| INCLUDE{WebNotice} Stratego is a language for program transformation and XT is a collection of tools for building and generating program transformation components ... | ||
| StrategoDownload | 03 Jul 2015 - 13:29 - r1.47 | EelcoVisser |
| INCLUDE{WebNotice} EelcoVisser, 23 November 2011 Stratego/XT is available in several ways: Users of Stratego/XT or packages based on Stratego/XT typically just want ... | ||
| StrategoDownload07 | 15 Nov 2002 - 10:02 - r1.2 | EelcoVisser |
| This page contains a complete overview of all releases of Stratego. Not all distributions are still available from the server. However, all distributions since 0.4 ... | ||
| StrategoDownload08 | 18 Nov 2004 - 16:14 - r1.54 | MartinBravenboer |
| Stratego 0.8.1 Contents of the Distribution The StrategoDistribution contains the complete sources of the StrategoCompiler, StrategoScript and the standard library ... | ||
| StrategoDownloadHistory | 18 Sep 2003 - 20:34 - r1.4 | RobVermaas |
| This page contains a complete overview of all releases of Stratego. Not all distributions are still available from the server. However, all distributions since 0.4 ... | ||
| StrategoEmacsMode | 23 Aug 2010 - 21:37 - r1.6 | KevinLynch |
| The Stratego Emacs mode is currently available at: https://svn.strategoxt.org/repos/StrategoXT/stratego-editors/editor/trunk/emacs/stratego-mode.el Installation instructions ... | ||
| StrategoEvents | 06 Apr 2009 - 20:21 - r1.39 | EelcoVisser |
| Upcoming STARTINCLUDE 2009-06-16 Code Generation 2009 tutorial on Creating Domain-Specific Languages with Stratego/XT. STOPINCLUDE Past 2008-10-21 OOPSLA 2008 talk ... | ||
| StrategoFAQ | 20 Dec 2008 - 00:15 - r1.4 | KarlTrygveKalleberg |
| Q: Can I get Stratego/XT running on Windows? A: We do not currently provide a pre-built binary of 0.17 on Windows at the moment. You can compile Stratego/XT on Windows ... | ||
| StrategoForFunctionalProgrammers | 13 May 2003 - 21:35 - r1.2 | EelcoVisser |
| Wij waren op zoek naar een zipWith-achtige functie in stratego; de referentiepagina bevat allemaal harige strategocode waar wij met onze pet niet zo snel bij kunnen ... | ||
| StrategoFront | 17 Feb 2004 - 15:11 - r1.4 | MartinBravenboer |
| Description The Stratego-front package contains tools and definitions for the Stratego syntax. stratego-front defines the syntax in SDF. These definitions are used ... | ||
| StrategoFrontEnd | 17 Aug 2003 - 13:13 - NEW | EelcoVisser |
| The front-end of the compiler parses the source modules, performs several checks on them, integrates multiple definitions, and produces a CoreStratego program for ... | ||
| StrategoGlossary | 29 Jun 2004 - 08:07 - r1.38 | MartinBravenboer |
| This page provides an alphabetic glossary of terminology in the language. It is not complete nor finished. Feel free to add an entry or to improve an existing entry ... | ||
| StrategoHistory | 17 Nov 2004 - 14:42 - r1.11 | MartinBravenboer |
| Since its always interesting to see how ideas develop, this page contains a reconstruction of the development of StrategoLanguage and its implementation. March 1997 ... | ||
| StrategoIdiom | 15 May 2003 - 13:16 - r1.3 | MartinBravenboer |
| A StrategoIdiom is a standard method for solving some problem in a StrategoLanguage specification. StrategoRefactorings are methods for transforming a Stratego specification ... | ||
| StrategoInterpreter | 03 Dec 2004 - 01:16 - r1.2 | MartinBravenboer |
| The Stratego Interpreter is currently part of the Shell. | ||
| StrategoJ | 06 Jun 2008 - 10:33 - NEW | KarlTrygveKalleberg |
| Stratego/J: A Stratego Core Format Engine Stratego/J is an execution engine for the Stratego language, implemented in Java. It allows the execution of the full Stratego ... | ||
| StrategoLanguage | 03 Jul 2015 - 13:28 - r1.12 | EelcoVisser |
| INCLUDE{WebNotice} Stratego is a small and efficient domain-specific language for program transformation. It is based on the paradigm of programmable rewriting strategies ... | ||
| StrategoLanguageConstructs | 03 Oct 2004 - 11:18 - r1.4 | MartinBravenboer |
| This is an overview of topics covering the various constructs in the language. This is a subset of the glossary, which also lists concept, advice, design and tool ... | ||
| StrategoLogo | 29 Jun 2008 - 21:23 - r1.9 | KarlTrygveKalleberg |
| The StrategoLogo needed an upgrade; the new logo is a smoother version of the original StrategoLogo. The StrategoLogo depicts TermTraversal. Please note that all logos ... | ||
| StrategoMisc | 07 Jun 2004 - 10:30 - r1.3 | ArthurVanDam |
| Introduction stratego-misc is a small, but versatile package of Stratego modules, implementing strategies and tools that are not (yet) in the SSL. It might be handy ... | ||
| StrategoNetworking | 29 Jul 2005 - 21:52 - r1.15 | MartinBravenboer |
| TOC stratego-net is a package you can use to implement CGI based services or access a service at a certain URL using HTTP. Scenarios : write an Tools.ATermService ... | ||
| StrategoOptimization | 09 Dec 2001 - 14:30 - r1.3 | EelcoVisser |
| The StrategoCompiler performs a number of transformations/optimizations including the following: Pattern match merging Symbol caching Simplification Desugaring The ... | ||
| StrategoOptimizer | 18 Aug 2003 - 08:42 - r1.7 | EelcoVisser |
| The Stratego Optimizer consists of a number of source-to-source transformation components that are called by the StrategoCompiler. Optimizations that are already implemented ... | ||
| StrategoPractice | 03 Dec 2004 - 01:22 - r1.4 | MartinBravenboer |
| This page starts a collection of tips for programming in Stratego. Programming standards layout and naming conventions techniques idiom standard methods for solving ... | ||
| StrategoPrettyPrinter | 03 Dec 2004 - 02:39 - r1.4 | MartinBravenboer |
| The definition of the syntax in StrategoXT 0.9 provides a pretty-print table for Stratego programs. It does not yet support layout preservation and is not always very ... | ||
| StrategoProfile | 15 Jan 2002 - 23:54 - r1.2 | EelcoVisser |
| Although the traversal strategy that is used can have great impact on the performance of Stratego programs, there is no mechanism (except for time measurements) to ... | ||
| StrategoPublications | 03 Jul 2015 - 13:28 - r1.59 | EelcoVisser |
| INCLUDE{WebNotice} Full bibliography of Stratego Bibliography of Stratego/XT related publications at researchr by year and type strategoxt.bib Overview transformation ... | ||
| StrategoRegular | 29 Jan 2005 - 14:44 - r1.22 | MartinBravenboer |
| Introduction Stratego Regular is a package of tools for working with tree languages. A tree language is a set of trees define by a tree grammar. Stratego Regular ... | ||
| StrategoRelease010 | 24 Aug 2005 - 14:39 - r1.10 | MartinBravenboer |
| Released May 10, 2004 Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or RPMs. Source tar.gz ... | ||
| StrategoRelease010Issues | 24 Aug 2005 - 14:51 - r1.2 | MartinBravenboer |
| Issues fixed in StrategoXT 0.10 Bug STR-8 Scopes and Undefined are reserved terms STR-10 Incorrect variable unbound error when using the ( ) construct STR-11 Unbound ... | ||
| StrategoRelease011 | 24 Aug 2005 - 14:38 - r1.6 | MartinBravenboer |
| Released July 16, 2004 Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or RPMs. Source tar ... | ||
| StrategoRelease011Issues | 16 Jul 2004 - 12:22 - NEW | MartinBravenboer |
| Resolved Issues for StrategoXT 0.11 Bug STR-7 pack-sdf fails with the message ERROR: Module Java.sdf not found if sglr does not exist STR-52 Illegal C code for mutual ... | ||
| StrategoRelease012 | 24 Aug 2005 - 14:39 - r1.7 | MartinBravenboer |
| Released October 04, 2004 Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or RPMs. Source tar ... | ||
| StrategoRelease012Issues | 04 Oct 2004 - 07:54 - r1.2 | MartinBravenboer |
| Issues closed and resolved in StrategoXT 0.12 Bug STR-90 sdf2rtg (or maybe just pp-rtg) does not support quoted constructors STR-96 Generic application of dynamic ... | ||
| StrategoRelease013 | 24 Aug 2005 - 14:39 - r1.7 | MartinBravenboer |
| Stratego/XT 0.13 released January 13, 2005 Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs ... | ||
| StrategoRelease013Issues | 13 Jan 2005 - 12:42 - NEW | MartinBravenboer |
| Issues for StrategoXT 0.13. Bug STR-25 Appl/2 or Cons/0 is a reserved term? STR-127 ambiguity for negative numbers following colon in rules(..) STR-130 dr old uses ... | ||
| StrategoRelease014 | 24 Aug 2005 - 14:39 - r1.4 | MartinBravenboer |
| Stratego/XT 0.14 released May 9th, 2005 Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or ... | ||
| StrategoRelease014Issues | 24 Aug 2005 - 15:04 - r1.2 | MartinBravenboer |
| Release Notes StrategoXT Version 0.14 Bug STR-59 sdf syntax: seq/2 overloaded STR-82 prettyprinting of seq in iter-sep fails STR-230 sglri does not support input ... | ||
| StrategoRelease015 | 24 Aug 2005 - 14:38 - r1.6 | MartinBravenboer |
| Stratego/XT 0.15 released July 5, 2005 This is an experimental release featuring a refactoring of the internals of the language definition and compiler. Please report ... | ||
| StrategoRelease015Issues | 24 Aug 2005 - 14:59 - r1.2 | MartinBravenboer |
| Release Notes Stratego/XT Version 0.15 (Stratego Core Compiler Experimental) Bug STR-220 syntax priority issue: 's1 STR-224 Term projection in annotations is broken ... | ||
| StrategoRelease016 | 19 Feb 2007 - 22:25 - r1.14 | MartinBravenboer |
| Stratego/XT 0.16 released November 4th, 2005 RED Warning: ENDCOLOR This release has known issues with recent GCC 4.x, GNU Make 3.81, Mac OS X, and operating systems ... | ||
| StrategoRelease016Issues | 04 Nov 2005 - 07:51 - NEW | MartinBravenboer |
| Release Notes Stratego/XT Version 0.16 (Stratego Core Compiler) Bug STR-14 Scoping problem at higher optimization levels STR-15 strc doesn't work if invoked with ... | ||
| StrategoRelease016M1 | 31 Aug 2005 - 11:02 - r1.2 | RobVermaas |
| Stratego/XT STRATEGOXTVERSION released August 31st, 2005 Download See the installation instructions if you are not familiar with the standard installation procedure ... | ||
| StrategoRelease016M1Issues | 26 Aug 2005 - 18:51 - NEW | MartinBravenboer |
| Release Notes Stratego/XT Version 0.16M1 (bugs in 0.15) Bug STR-85 Sloppy variable-scope in let-strategies STR-145 Shared libraries are not shared at Cygwin: static ... | ||
| StrategoRelease017 | 12 May 2010 - 10:59 - r1.22 | RobVermaas |
| Stratego/XT 0.17 released July 2009 Known issues On 64 bit systems, parsing using SGLR (which is used in many Stratego programs) can result in SEGV due to limited ... | ||
| StrategoRelease017Issues | 13 Jun 2008 - 09:16 - r1.2 | EelcoVisser |
| Release Notes Stratego/XT Version 0.17 Bug STR-248 implode-asfix: support AsFix2ME constructs STR-263 Extend ArgOption with default value argument STR-283 pp ... | ||
| StrategoRelease05 | 25 Mar 2001 - 12:22 - r1.2 | EelcoVisser |
| Version 0.5 released: March 26, 2001 SUMMARY OF CHANGES (with respect to release 0.4.22) StrategoScript an interpreter for Stratego Syntax clean up Compiler and library ... | ||
| StrategoRelease051 | 29 Mar 2001 - 15:35 - r1.2 | EelcoVisser |
| This is a developers release. See StrategoDownload to get it. The following changes were logged. spec/Makefile.am (SUBDIRS): Changed order of sub-directory to avoid ... | ||
| StrategoRelease052 | 16 Apr 2001 - 08:04 - NEW | EelcoVisser |
| 2001-04-13 Eelco Visser spec/slib/spec/Makefile.am: Simplified makefile for library spec/slib/spec/share-test.r: Defined test 2001-04-12 Eelco Visser bootinstall ... | ||
| StrategoRelease053 | 24 May 2001 - 11:09 - NEW | EelcoVisser |
| Changes since StrategoRelease052 2001-05-22 bootinstall bootstrap spec/slib/spec/sunit.r: Replaced FAIL with fail. fail should be safe, i.e., not eliminate actions ... | ||
| StrategoRelease054 | 19 Jun 2001 - 22:19 - NEW | EelcoVisser |
| Changes since StrategoRelease053 Summary Dynamic rules: see ScopedDynamicRewriteRules paper Lots of improvements to the library (thanks Main.HedzerWestra and Main ... | ||
| StrategoRelease055 | 24 Aug 2001 - 08:14 - NEW | EelcoVisser |
| In this release a few extensions to the library have been made that are needed in bootstrapping the new compiler that will be released in StrategoRelease06. Main ... | ||
| StrategoRelease06 | 11 Dec 2001 - 12:31 - r1.8 | EelcoVisser |
| See also StrategoRelease061 StrategoRelease062 StrategoRelease063 Stratego version 0.6 is available from www.stratego-language.org SUMMARY OF CHANGES (with respect ... | ||
| StrategoRelease061 | 19 Sep 2001 - 19:50 - NEW | EelcoVisser |
| Stratego version 0.6.1 is available from http://www.stratego-language.org SUMMARY OF CHANGES (with respect to release StrategoRelease06) COMPILER Added compile time ... | ||
| StrategoRelease062 | 06 Oct 2001 - 13:59 - r1.2 | EelcoVisser |
| Stratego version 0.6.2 is now available from StrategoDownload released: October 6, 2001 SUMMARY OF CHANGES (with respect to release 0.6) CONTRIBUTIONS Bug reports ... | ||
| StrategoRelease063 | 09 Dec 2001 - 14:42 - r1.3 | EelcoVisser |
| Available from StrategoDownload New features TermWrap TermProject Release Announcement Version 0.6.3 released: November 26, 2001 SUMMARY OF CHANGES (with respect to ... | ||
| StrategoRelease064 | 09 Jan 2002 - 00:53 - r1.2 | EelcoVisser |
| Stratego 0.6.4 is now available from http://www.stratego-language.org The release fixes a "fikse bug in Stratego!!" in the translation of Strategy Rules (rules of ... | ||
| StrategoRelease07 | 13 Mar 2002 - 14:28 - r1.13 | EelcoVisser |
| Stratego version 0.7 is now available. Main.EelcoVisser 13 Mar 2002 New in 0.7beta FixedLengthTuple ListConstructor ListTraversal PairConstructor New in 0.7beta1 ... | ||
| StrategoRelease071 | 08 Jan 2002 - 23:36 - r1.2 | EelcoVisser |
| Release 0.7 is in preparation. See ReleasePlan and ToDo for plans. Main.EelcoVisser 27 Oct 2001 | ||
| StrategoRelease08 | 26 Jun 2002 - 22:51 - r1.4 | EelcoVisser |
| See DependencyGraph08 for an overview of the dependencies between the packages involved in Release 0.8 Release 0.8 TermAnnotations Simple ListMatching ConfigurationFiles ... | ||
| StrategoRelease081 | 30 Sep 2002 - 09:15 - NEW | EelcoVisser |
| Version 0.8.1 released: September 20, 2002 This is a maintenance release, providing small improvements over version 0.8. The concrete syntax extension requires new ... | ||
| StrategoRelease09 | 02 Jun 2005 - 19:42 - r1.39 | MartinBravenboer |
| Stratego/XT 0.9 released on January 26, 2003 Contents TOC Download Source distribution StrategoXT is built using the ATermLibrary, the SDF syntax definition formalism ... | ||
| StrategoRelease091 | 10 Nov 2004 - 16:02 - r1.9 | MartinBravenboer |
| StrategoXT 0.9.1 Version StrategoXT-0.9.1 released on June 4, 2003 Contents TOC Download Source distribution StrategoXT is built using the ATermLibrary, the SDF syntax ... | ||
| StrategoRelease092 | 31 Oct 2004 - 15:02 - r1.4 | MartinBravenboer |
| StrategoXT 0.9.2 Version StrategoXT-0.9.2 released on July 4, 2003 Contents TOC Download Source tar.gz aterm-2.0 sdf2-bundle-1.6 strategoxt Source RPM aterm-2.0 sdf2 ... | ||
| StrategoRelease093 | 03 Dec 2004 - 01:38 - r1.5 | MartinBravenboer |
| StrategoXT 0.9.3 StrategoXT 0.9.3 is released on September 1, 2003. Contents TOC Download Source tar.gz aterm-2.0 sdf2-bundle-1.6 strategoxt Source RPM aterm-2.0 ... | ||
| StrategoRelease094 | 31 Oct 2004 - 15:01 - r1.5 | MartinBravenboer |
| StrategoXT 0.9.4 StrategoXT 0.9.4 released January 22, 2004 Download See the installation instructions if you are not familiar with the standard installation procedure ... | ||
| StrategoRelease095 | 24 Aug 2005 - 14:38 - r1.7 | MartinBravenboer |
| Released March 26, 2004 Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or RPMs. Source tar ... | ||
| StrategoRelease1 | 17 Mar 2002 - 21:28 - r1.2 | EelcoVisser |
| Stratego Release 1.0 should provide a polished design and a stable and efficient implementation. See the ReleasePlan for the planned new features of this release. ... | ||
| StrategoRules | 10 Mar 2004 - 04:11 - NEW | EelcoVisser |
| This is a fact a slogan written on a shirt a reminder of the central role of rules in Stratego ? Main.EelcoVisser 10 Mar 2004 | ||
| StrategoRunTimeSystem | 26 Mar 2004 - 11:37 - r1.2 | MartinBravenboer |
| The Stratego Run-Time System is a C library that extends the Library with support for compiled Stratego programs. The SRTS includes a large set of primitives that ... | ||
| StrategoSemantics | 09 Dec 2001 - 21:29 - NEW | EelcoVisser |
| The semantics of the core of Stratego is described in BuildingProgramOptimizersWithRewritingStrategies and ACoreLanguageForRewriting. Since those papers were written ... | ||
| StrategoShell | 22 Nov 2010 - 22:56 - r1.21 | KarlTrygveKalleberg |
| Introduction The Stratego Shell is an interactive front-end to the Interpreter. In the Stratego Shell you rewrite a current subject term according to strategies ... | ||
| StrategoShellRelease04 | 20 May 2005 - 14:52 - r1.6 | MartinBravenboer |
| Released January 14, 2005 Download Shell 0.4 requires Stratego/XT 0.13 and the GNU Readline library. Source tar.gz stratego-shell-0.4 Source RPM stratego-shell-0.4 ... | ||
| StrategoShellRelease05 | 29 Jul 2005 - 21:45 - r1.2 | MartinBravenboer |
| Released May 20, 2005 Download Shell VERSION requires Stratego/XT 0.14 and the GNU Readline library. Source tar.gz stratego-shell- VERSION Source RPM stratego-shell ... | ||
| StrategoShellRelease06 | 05 Nov 2005 - 15:35 - r1.4 | MartinBravenboer |
| Released November 04, 2005 Download Shell VERSION requires Stratego/XT 0.16 and the GNU Readline library. Source tar.gz TARNAME VERSION Source RPM TARNAME VERSION ... | ||
| StrategoShellRelease07 | 27 Jul 2009 - 12:38 - NEW | RobVermaas |
| Released July, 2009 Download Stratego Shell STRVERSION requires Stratego/XT 0.17. Source tar.gz aterm- ATERMVERSION sdf2-bundle- SDFVERSION strategoxt- STRVERSION ... | ||
| StrategoSignature | 25 Jan 2003 - 13:27 - NEW | MartinBravenboer |
| A StrategoSignature is an AlgebraicSignature . Main.MartinBravenboer 25 Jan 2003 | ||
| StrategoSimplifier | 18 Aug 2003 - 20:01 - NEW | EelcoVisser |
| The Stratego simplifier is applied at several times by the optimizer. The simplifier reduces strategy expressions by means of a large number of simple rewrite rules ... | ||
| StrategoSponsors | 01 May 2005 - 03:36 - r1.3 | MikeVanEmmerik |
| The StrategoLanguage was developed with the support of many StrategoContributors and the following institutes University of Amsterdam Oregon Graduate Institute of ... | ||
| StrategoSupport | 03 Jul 2015 - 13:33 - r1.2 | EelcoVisser |
| INCLUDE{WebNotice} Please consult the following resources for support on Stratego/XT: Mailing list IRC User Days Issue Tracker Main.KarlTrygveKalleberg 14 Jun 2008 ... | ||
| StrategoSyntax | 17 Feb 2004 - 14:46 - r1.11 | MartinBravenboer |
| The syntax of StrategoLanguage used to be defined by a LEX/Transform.YetAnotherCompilerCompiler grammar. In order to make maintenance and extension of the syntax definition ... | ||
| StrategoTools | 29 Jun 2004 - 07:14 - r1.3 | MartinBravenboer |
| Tools in stratego-tools: Stratego Tools in StrategoXT 0.10 contains a new tool, pp-stratego-latex-alltt. This tool is useful for including Stratego code in publications ... | ||
| StrategoTutorialAtETAPS | 09 Feb 2004 - 13:16 - r1.9 | MartinBravenboer |
| Strategies for Program Transformation Stratego Tutorial at ETAPS Full Day Tutorial on April 14, 2002 at Transform.ETAPS 2002 in Grenoble, France Handouts are now ... | ||
| StrategoUsers | 09 May 2001 - 21:57 - NEW | EelcoVisser |
| The following people have been known to write Stratego programs: OttoBagge MerijnDeJonge DickKieburtz TobiasKuipers KarinaOlmos AndrewTolmach EelcoVisser JoostVisser ... | ||
| StrategoUsersDay | 03 Jul 2015 - 13:33 - r1.8 | EelcoVisser |
| INCLUDE{WebNotice} The Stratego Users Days is as series of events organized to bring together designers and users of Stratego. Future events None planned Past events ... | ||
| StrategoUtilities | 29 Jun 2004 - 08:05 - r1.8 | MartinBravenboer |
| This page lists ideas for programming utilties for Stratego programmers. StrategoDebug xDoc generate documentation for Stratego specifications Shell interactive ... | ||
| StrategoUtilitiesRelease016 | 04 Nov 2005 - 18:25 - r1.2 | MartinBravenboer |
| Released November 4th, 2005 Download Stratego/XT Utilities VERSION requires Stratego/XT 0.16. Source tar.gz TARNAME VERSION Source RPM TARNAME VERSION Redhat Linux ... | ||
| StrategoUtilitiesRelease017 | 27 Jul 2009 - 12:18 - NEW | RobVermaas |
| Released July, 2009 Download Stratego/XT Utilities VERSION requires Stratego/XT 0.17. Source tar.gz aterm- ATERMVERSION sdf2-bundle- SDFVERSION strategoxt- VERSION ... | ||
| StrategoWiki | 13 May 2003 - 12:59 - r1.3 | EelcoVisser |
| This site is based on wiki, a tool for collaborative website development, which makes it possible for everyone with a browser, that is you to contribute by editing ... | ||
| StrategoXML | 27 Jun 2004 - 19:47 - r1.11 | MartinBravenboer |
| StrategoLanguage is designed for transformation of tree or term structures. Stratego has support for the definition of generic traversals over trees, which makes the ... | ||
| StrategoXT | 02 Jun 2005 - 18:33 - r1.7 | MartinBravenboer |
| Stratego/XT is the combination of the language for strategic programming with the XT bundle of transformation tools. XT XT is a bundle of transformation tools that ... | ||
| StrategoXTAnAnnotatedBibliography | 30 May 2003 - 14:27 - r1.5 | EelcoVisser |
| Stratego/XT: An Annotated Bibliography INCLUDE{http://www.stratego-language.org/publications/publications.html} | ||
| StrategoXTComponentsForTransformationSystems | 05 Jan 2006 - 00:04 - r1.2 | MartinBravenboer |
| Martin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas and Eelco Visser. Stratego/XT 0.16: Components for Program Transformation Systems . In J. Hatcliff and F. Tip ... | ||
| StrategoXTPackages | 17 Aug 2005 - 22:41 - r1.20 | MartinBravenboer |
| The Stratego/XT distribution consists of the following packages: Stratego/XT Core Stratego packages stratego-front Stratego syntax and support for concrete object ... | ||
| StrategyDefinition | 03 Dec 2004 - 00:43 - r1.2 | MartinBravenboer |
| A strategy definition f(x1,...,xn) s defines a strategy operator f with n strategy parameters. An application f(s1,...sn) of this operator is equivalent to let x1 ... | ||
| StrategyInlining | 17 Aug 2003 - 12:43 - NEW | EelcoVisser |
| The strategy inlining component of the optimizer replaces calls to strategies with their body, allowing other optimizations to specialize the strategy to its arguments ... | ||
| StrategyRule | 03 Jan 2002 - 23:57 - r1.2 | EelcoVisser |
| A StrategyRule of the form Lab :: s1 s2 where s3 is syntactic sugar for a StrategyDefinition of the form Lab s1; where(s3); s2 StrategoRelease06 introduced a bug ... | ||
| StringBorg | 02 Apr 2007 - 23:54 - r1.14 | MartinBravenboer |
| TOC Introduction StringBorg is a solution to injection attacks for arbitrary languages. StringBorg prevents injection attacks by embedding the syntax of guest languages ... | ||
| SwitchingRulesOnWithDynamicRules | 22 May 2002 - 14:41 - NEW | EelcoVisser |
| The rules mechanism can be used to enable a set of rules. TriggerRules ?Context(Bla, ); rules( A : ... ... B : ... ... ) traverse rec x({ A, B : try(TriggerRules ... | ||
| SymbolTable | 23 Jul 2003 - 22:29 - NEW | EelcoVisser |
| Question: Is there any symbol table implementation in stratego? Yes. There are several ways to go about using symbol table like functionality in Stratego programs ... | ||
| SystemS | 20 Jan 2003 - 00:46 - NEW | EelcoVisser |
| SystemS is the name for the system of combinators that form the core of the StrategoLanguage. SystemS is described in the following papers: Program Optimizers with ... | ||
| TFOFDeforest | 21 Jul 2004 - 22:05 - r1.3 | ArthurVanDam |
| tfof-deforest is a small demo package around a case study into transformation of functional programs, more specifically: on eliminating intermediate trees by deforestation ... | ||
| TemplateBasedCodeGeneration | 23 Jul 2003 - 10:36 - NEW | EelcoVisser |
| Template-based code generation is an idiom for program transformation in which the structure of the target code drives the generation process. Jonne van Wijngaarden ... | ||
| TermAnnotation | 25 Jan 2003 - 01:49 - r1.7 | MartinBravenboer |
| Introduction Stratego uses terms to represent the abstract syntax of programs or documents. A term consists of a constructor and a list of argument terms. Sometimes ... | ||
| TermArguments | 23 Aug 2003 - 12:10 - NEW | EelcoVisser |
| Starting with StrategoRelease093, strategy operators can be passed terms in addition to strategies. Currently, a strategy definition is of the form f(s1, ..., sn) ... | ||
| TermProject | 03 Dec 2004 - 01:00 - r1.4 | MartinBravenboer |
| TermProject patterns simplify projection of sub-terms. A strategy application inside a match pattern selects the corresponding sub-term and applies s to it. For example ... | ||
| TermTraversal | 14 Jun 2003 - 13:07 - NEW | EelcoVisser |
| A term traversal is a strategy that visits the subterms of a term in some order. See also traversal strategy term traversal operator | ||
| TermWrap | 17 May 2003 - 21:10 - r1.4 | MartinBravenboer |
| TermWrap patterns simplify wrapping some complex constructor pattern around a term. For instance, split(f,g) can now be written as !(,) and this generalizes to arbitrary ... | ||
| TheDryad | 25 Mar 2010 - 13:19 - r1.33 | RobVermaas |
| Dryad is a natural female tree spirit, associated with trees. Also, it is a collection of tools for developing transformation systems for Java source and bytecode ... | ||
| TheDryadCompiler | 28 Sep 2009 - 12:19 - r1.18 | LennartKats |
| The Dryad Compiler is an open compiler for the Java platform, based on The Dryad. TOC Overview of Features The Dryad Compiler is a compiler for a language formed by ... | ||
| ThirdStrategoUsersDay | 17 May 2003 - 20:19 - r1.13 | MartinBravenboer |
| Utrecht University, Friday May 3, 2002 Stratego is a language for program transformation based on the paradigm of rewriting strategies. The language is being used ... | ||
| ThirdSudReport | 19 Jun 2003 - 07:59 - r1.6 | RobVermaas |
| On May 3, 2002 the ThirdStrategoUsersDay was held at Utrecht University. During the day seven presentations about features or applications of Stratego were given. ... | ||
| TigerBaseRelease13 | 04 Nov 2005 - 20:18 - NEW | MartinBravenboer |
| Released November 4th, 2005 RED warning: this release is still under construction!! ENDCOLOR Download Tiger Base VERSION requires Stratego/XT 0.16 and Stratego/XT ... | ||
| TigerContract | 12 May 2004 - 16:40 - r1.3 | MartinBravenboer |
| TOC Introduction TigerContract is an experimental package which implements a TigerCompiler with contract support. The main purpose is to understand what contracts ... | ||
| ToDo | 09 Feb 2005 - 15:33 - r1.20 | MartinBravenboer |
| Things to do are now tracked in our issue tracking system: Issues in our issue tracking system Old to do items There are many ways in which to improve and extend the ... | ||
| TransformatiesOpMondrianMetStratego | 02 Jan 2002 - 23:02 - NEW | EelcoVisser |
| by Main.EelcoDolstra and Transform.HedzerWestra This term paper written in July 2000 explains the use of Stratego in specifying an optimizer for the scripting language ... | ||
| TransformationComponents | 20 Jul 2004 - 14:50 - NEW | EelcoVisser |
| TransformationRule | 08 Jan 2002 - 14:14 - NEW | EelcoVisser |
| A transformation rule is a description of a single transformation step. Examples of transformation rules are constant folding beta reduction in the lambda calculus ... | ||
| TransformationToolComposition | 13 Dec 2002 - 12:50 - NEW | EelcoVisser |
| StrategoXT encourages a development model in which stand-alone components are developed for separate aspects of program transformation, instead of implementing integrated ... | ||
| TransformationsForAbstractions | 19 Jul 2005 - 14:46 - r1.2 | EelcoVisser |
| An experimentation project for exploring extensibility of languages and their transformations. Sources Blog E.Visser. Transformations for Abstractions. SCAM 2005. ... | ||
| TurningDynamicTypingIntoStaticTypingByProgramSpecialization | 13 Feb 2004 - 22:46 - r1.4 | EelcoVisser |
| K. Olmos and E. Visser. Turning dynamic typing into static typing by program specialization. In D. Binkley and P. Tonella, editors, Third IEEE International Workshop ... | ||
| TutorialForFirstStrategoUsersDay2000 | 15 May 2003 - 12:34 - NEW | MartinBravenboer |
| Documentation for version 0.4.x of Stratego (2000) not up to date with latest version. The StrategoTutorial HTML PostScript Explains how to get started using Stratego ... | ||
| TypeSystem | 22 Nov 2001 - 11:14 - r1.2 | EelcoVisser |
| Currently Stratego is very weakly typed. The reason for the weak type system is that it is not clear how to combine strong typing with generic traversals and transformations ... | ||
| UglyPrinter | 13 Feb 2004 - 09:02 - r1.5 | MartinBravenboer |
| An ugly-printer is a PrettyPrinter that produces ugly output. For some applications ugly-printers can be useful. The tool pp-aterm implements a generic ugly-printer ... | ||
| UnbindVariablesOnBacktracking | 22 Nov 2001 - 16:12 - r1.2 | EelcoVisser |
| After a strategy fails, variables that have been bound in matches should be unbound. This is not supported by the current compilation scheme. The following example ... | ||
| UpgradeToNewAutotools | 16 Nov 2002 - 15:08 - NEW | EelcoVisser |
| Akim Demaille pointed out that the use of autoconf and automake in Stratego and XT is antiquated, and badly needs to be updated to more modern versions of these tools ... | ||
| UserDefinableDesugaring | 17 May 2003 - 09:19 - NEW | MartinBravenboer |
| Allow some specification of a desugaring tool in a meta file to apply to concrete syntax Make it easier to add custom desugarings (use meta file?), maybe implement ... | ||
| WarmFusion | 09 May 2001 - 21:57 - NEW | EelcoVisser |
| See WarmFusionTransformation | ||
| WarmFusionInStratego | 03 Jan 2002 - 10:20 - r1.3 | EelcoVisser |
| PatriciaJohann and EelcoVisser. Warm fusion in Stratego: A case study in the generation of program transformation systems. Annals of Mathematics and Artificial Intelligence ... | ||
| WarmFusionTransformation | 03 Jan 2002 - 10:20 - r1.2 | EelcoVisser |
| Warm fusion is a program transformation technique for deforesting functional programs developed by John Launchbury and Tim Sheard. Warm fusion works by the cata/build ... | ||
| WebChanges | 04 Dec 2004 - 22:02 - r1.5 | MartinBravenboer |
| SEARCH{". " web " INCLUDINGWEB " regex "on" nosearch "on" order "modified" reverse "on" limit "50" format " $percntCALC{\"$dollarPROPERSPACE($topic(40, ...))\"}$percnt ... | ||
| 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 |
| WebDSL | 14 Sep 2007 - 09:53 - NEW | EelcoVisser |
| See http://www.webdsl.org | ||
| WebHome | 03 Jul 2015 - 13:27 - r1.125 | EelcoVisser |
| INCLUDE{WebNotice} Stratego/XT Stratego/XT is now part of the Spoofax Language Workbench, which provides an Eclipse plugin for developing SDF and Stratego, and creating ... | ||
| WebIndex | 02 Dec 2001 - 22:06 - r1.3 | EelcoVisser |
| SEARCH{"\. " scope "topic" regex "on" nosearch "on" format " $topic "} | ||
| WebLeftBar | 03 Jul 2015 - 13:33 - r1.75 | EelcoVisser |
| WEBLOGODISPLAY Home Documentation Language Research Papers Applications Download Continuous build Extensions Support Mailing lists IRC Users Days Bug Reports Developers ... | ||
| WebLog | 27 Jun 2004 - 19:47 - r1.19 | MartinBravenboer |
| 2004-02-25 Nemerle is a new hybrid (functional, object-oriented and imperative) programming language for the .NET platform. Key features of the language include: ... | ||
| WebNews | 31 May 2010 - 11:59 - r1.130 | LennartKats |
| See also the WebChanges page. STARTINCLUDE 2010-05-28 Version 0.5 of the Spoofax Language Workbench has been released. Read the announcement on the main page. 2010 ... | ||
| WebNotice | 08 Nov 2016 - 20:40 - r1.2 | EelcoVisser |
| Note that Stratego is now part of the Spoofax Language Workbench, which provides an Eclipse plugin for developing SDF and Stratego, and creating Eclipse IDE plugins ... | ||
| WebNotify | 15 Jun 2008 - 19:49 - r1.11 | KarlTrygveKalleberg |
| WebNotify is a subscription service to be automatically notified by email when topics change in the TWiki.Stratego web. This is a convenient service, so you do not ... | ||
| WebPreferences | 03 Jul 2015 - 13:26 - r1.52 | EelcoVisser |
| The following settings are web preferences of the TWiki.Stratego web. These preferences overwrite the site-level preferences in TWIKIWEB . WIKIPREFSTOPIC , and can ... | ||
| WebRss | 09 May 2005 - 13:53 - r1.3 | MartinBravenboer |
| Stratego Strategies for Program Transformation http://www.stratego-language.org Stratego Strategies for Program Transformation INCLUDE{"Main.RssBase"} | ||
| WebSearch | 29 Mar 2001 - 15:13 - NEW | EelcoVisser |
| Simple search: Topic text (body) All webs (not only TWiki.Stratego web) Topic name TWIKIWEB .BookView Advanced search: Topic text (body) Search all MAINWEB TWIKIWEB ... | ||
| WebStatistics | 07 Apr 2011 - 11:54 - r1.1553 | TWikiGuest |
| Statistics for TWiki.Stratego Web Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Apr ... | ||
| WebTools | 29 Nov 2004 - 16:55 - r1.2 | MartinBravenboer |
| 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 ... | ||
| WorkerWrapperSplitting | 17 Aug 2003 - 12:50 - NEW | EelcoVisser |
| The worker-wrapper component of the optimizer splits strategy definitions into a wrapper performing a pattern match, and a worker doing the real work of the operator ... | ||
| XDocAnExtensibleDocumentationGenerator | 26 Mar 2004 - 09:35 - NEW | EelcoVisser |
| Rob B. Vermaas. xDoc. An extensible documentation generator. MSc Thesis INF/SCR-03-41. Center for Software Technology, Institute of Information and Computing Sciences ... | ||
| XDocStyleGuide | 04 Aug 2003 - 16:06 - NEW | MartinBravenboer |
| The style guide for writing Javadoc comments is a useful starting point for a style guide for writing xDoc comments for Stratego. this guide should be rewritten to ... | ||
| XT | 03 Dec 2004 - 02:13 - r1.2 | MartinBravenboer |
| XT is a collection of tools for building complete transformation systems. See the Tools web | ||
| XTABundleOfProgramTransformationTools | 29 Jan 2002 - 11:12 - NEW | EelcoVisser |
| MerijnDeJonge, Main.EelcoVisser and Main.JoostVisser. XT: a bundle of program transformation tools. In Tools.MarkVanDenBrand and Transform.DidierPerigot, editors ... | ||
| XTC | 03 Dec 2004 - 01:00 - r1.5 | MartinBravenboer |
| XTC Tool Composition XTC implements the XT component model and provides support for creating compositions of XT components. The xtc tool is used to register components ... | ||
| XWeb | 27 Jun 2004 - 19:47 - r1.9 | MartinBravenboer |
| TOC Introduction XWeb is a generic template-based transformation demonstration service; it's implemented as a CGI application. The current version contains a demo ... | ||
| XmlConcreteSyntaxInStratego | 27 Jun 2004 - 19:50 - r1.2 | MartinBravenboer |
| With the Stratego-xml syntax defintion you can use the ConcreteSyntax of XML syntax in the Stratego. The stratego-net samples package contains some examples of the ... | ||
| XtApplet | 29 Jul 2005 - 21:43 - r1.9 | MartinBravenboer |
| XT Applet is a small package configured with automake that you can use to get started with writing Stratego/XT applications. The src/ subdirectory contains a sample ... | ||
| XtArchive | 08 Oct 2004 - 10:32 - r1.2 | MartinBravenboer |
| Some ideas for making advanced Stratego features more accessible to new users. Goals Easy to define a syntax for language X and implement a source-to-? or source-to ... | ||
| ZefHemel | 01 Oct 2009 - 19:27 - NEW | ZefHemel |
| http://zef.me http://twitter.com/zef Main.ZefHemel 01 Oct 2009 | ||
Number of topics: 444
Revision: r1.1 - 09 May 2001 - 21:57 - EelcoVisser