------- %INCLUDE{WebNotice}% -------- The [[Stratego language]] is being used in applications in various areas of [[Transform.ProgramTransformation][program transformation]]. This page lists some examples. Feel free to create a page about your own Stratego application and link to it here. * [[StrategoXTPackages][Stratego/XT Packages]] * [[AdditionalPackageDownload][Stratego/XT Extensions]] ----++ Applets Applets are small applications that are mainly written as illustrations of program transformation with strategies and are more accessible than real applications. * XtApplet: a template package for building applets with XT and Stratego * [[EBNF]]: several transformations on grammars in EBNF format ----++ Applications ----+++ StrategoXT: a bundle of program transformation tools * [[Tools.AsFixTools][asfix-tools]]: manipulation of concrete syntax trees * [[Tools.ATermTools][aterm-tools]]: generic manipulation of ATerms * [[Tools.GraphTools][graph-tools]]: graph operations * GPP: generic pretty-printing framework * [[Tools.SdfTools][sdf-tools]]: grammar transformations * [[StrategoTools][stratego-tools]]: generation of Stratego specifications * [[StrategoJ][Stratego/J]]: JVM-based interpreter for Stratego * [[JSGLR][jsglr]]: SGLR implementation in Java. ----+++ [[Transform.CompilationByTransformation][Compilation by transformation]] * [[Stratego compiler]]: the compiler for the [[Stratego language]] * [[Tiger.WebHome][Tiger in Stratego]]: a compiler and many additional transformations for Transform.AndrewAppel's Tiger language * RhoStratego: a language experiment combining strategic programming with higher-order functional programming * [[Octave.WebHome][Octave Compiler]]: translation of array processing programs to various target languages * Tools.KoalaCompiler: a compiler for the Koala component model * [[The Dryad Compiler]]: an open compiler for Java ----+++ [[Transform.ProgramSynthesis][Program Synthesis]] * PrologTools: package for processing Prolog programs ----+++ [[Transform.ProgramOptimization][Program optimization]] * HSX: warm fusion transformation of functional programs * CodeBoost: domain-specific C++ transformations * HsOpt: transformation of Helium programs (subset of Haskell) * PanOptimizer : optimizer for domain-specific language for image manipulation ----+++ [[Transform.DocumentationGeneration][Documentation generation]] * ExtendibleDocumentationGenerator (xDoc) - source code documentation generation for Stratego * Documentation generation for Transform.SDL (no page yet) * [[BibtexTools][bibtex-tools]] - toolkit for organizing information about your publications. ----+++ Application generation * [[JavaFront][java-front]] - parser and pretty-printer for Java 1.4/1.5. * [[PrologTools][prolog-tools]] * [[http://www.lrde.epita.fr/cgi-bin/twiki/view/Transformers/CTransformers][Transformers]] - transformation environment for ANSI C, including a parser and pretty-printer for C. * [[AspectJFront][aspectj-front]] - parser and pretty-printer for AspectJ. * [[JimpleFront][jimple-front]] - parser and pretty-printer for Jimple. ----+++ [[Transform.SoftwareRenovation][Software renovation]] * CobolX: transformations on Transform.COBOL programs ----+++ [[Transform.SoftwareConfiguration][Software configuration]] * Tools.AutoBundle: creates software distribution bundles from package descriptions by analyzing depencencies between packages. The tool also generates a webpage from a collection of package descriptions and computes pictures of dependency graphs on demand. You can see Tools.AutoBundle at work in the [[Tools.OnlinePackageBase][online package base]]. -----+++ Theorem Proving * [[P Logic Prover]] -----+++ Dynamic website generation * [[XWeb][xweb]]: Generic template-based transformation demonstration website * [[WebDSL][WebDSL]]: a domain-specific language for developing dynamic web applications with a rich data model.