Name: Eelco Visser Email: visser@cs.uu.nl Affiliation: Utrecht University Country: Netherlands Homepage URL: http://www.cs.uu.nl/~visser Other TWiki homepages Stratego ...

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

INCLUDE{WebNotice} TOC Editor Plugins for Stratego Spoofax Stratego Editor Plug-In for Eclipse The Spoofax Stratego Editor plug-in provides syntax-highlighting and ...

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

Delft University of Technology The Program Transformation project of the Software Engineering Research Group at the Delft University of Technology takes care of most ...

Since its always interesting to see how ideas develop, this page contains a reconstruction of the development of StrategoLanguage and its implementation. March 1997 ...

INCLUDE{WebNotice} Stratego is a small and efficient domain-specific language for program transformation. It is based on the paradigm of programmable rewriting strategies ...

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

TOC Introduction TigerContract is an experimental package which implements a TigerCompiler with contract support. The main purpose is to understand what contracts ...

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

Statistics for TWiki.Stratego Web Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Apr ...

TOC Introduction XWeb is a generic template-based transformation demonstration service; it's implemented as a CGI application. The current version contains a demo ...

The goals of benchmarking Software Transformations Systems are: Increase communication on a technical level between designers of these systems Provide a quick overview ...

The proposal is to have several software transformation systems implement a Tiger compiler. Tiger resources The Tiger language reference is in the Transform.ModernCompilerImplementationInML ...

The ASM package provides the front-end of the TigerCompiler consisting of the following components: ASMFormat RA FinishFunctions PPASM RunTimeSystem The BackEndArchitecture ...

Part of the ASM package of the TigerCompiler. ASM-Format.r INCLUDE{"http://www.stratego-language.org/tiger/asm/asm/ASM-Format.r"} Main.EelcoVisser 05 Dec 2001 CompilerComponent ...

Part of the ASM package of the TigerCompiler. ASM-Optimize.r INCLUDE{"http://www.stratego-language.org/tiger/asm/asm/ASM-Optimize.r"} Main.EelcoVisser 05 Dec 2001 ...

After finishing the basic TigerCompiler, extend it with at least one optimization component. Which optimization in which stage of compilation you implement is up to ...

Signature of the AbstractAssemblyLanguage; part of the ASM package of the TigerCompiler. ASM.r INCLUDE{"http://www.stratego-language.org/tiger/asm/asm/ASM.r"} Main ...

The diagram below depicts the data flow in the back-end of the TigerCompiler. It is an extract from the complete CompilerArchitecture. These components are provided ...

CIR-Format is a component of the TigerCompiler in the TigerTrans package that checks the well-formedness of canonicalized IntermediateRepresentation trees. The component ...

The diagram below depicts the data flow in the TigerCompiler for the HpcProject. Red edges denote the data flow of the compiler. Green edges denote data flow in the ...

The components of the TigerCompiler (including exchange formats): SEARCH{"CompilerComponent" nosearch "on" noheader "on" format " $topic "}

The diagram below gives a global overview of the data flow in the TigerCompiler. The details are given in the complete CompilerArchitecture. Red edges depict data ...

Extend TigerLanguage with a do-while construct. This requires updating the following components from the TigerFront package: TigerSyntax TigerAbstractSyntax TigerDesugar ...

The compiler can easily be extended since it is component-based. Adding a new optimization phase, extending the syntax of the language, or replacing the back-end, ...

Q: How can I stay up to date with what is going on? A: Subscribe yourself to a daily message with pages changed in this wiki web by adding your name to the list in ...

The diagram below depicts the data flow in the front-end of the TigerCompiler. It is an extract from the complete CompilerArchitecture. The components of the front ...

The TigerCompiler consists of four CompilerPackages. Download each of these packages. Installing Tools.XT To use the TigerCompiler packages you need an installation ...

There are a bunch of test cases in the xmpl subdirectory of the TigerXmpl package. After you have built the TigerCompiler or just some of its CompilerPackages, you ...

In 2001-2002 exercises are called HpcAssignments. This page contains the exercises from 2000-2001. They might contain useful tips for your project. The following sets ...

Tiger ModernCompilerImplementation by Transform.AndrewAppel Stratego HpcSlides Stratego.StrategoDocumentation TigerCompiler documentation MIPS SpimSimulator Gentle ...

The assignment for the course is to implement a compiler for the TigerLanguage in the Stratego.StrategoLanguage. The CompilerArchitecture explains the overall structure ...

In the course we discuss the following topics (Chapters refer to Transform.ModernCompilerImplementationInML). The project entries in the schedule are steps in building ...

Tiger Abstract Syntax This is the first set of HpcExercises that will teach you the structure of the abstract syntax of the TigerLanguage, the use of the StrategoCompiler ...

Translation to Intermediate Representation This is the second set of HpcExercises. These will teach you to write a more complex transformation (translation to IR ...

The IR2ASM component of the TigerCompiler (in the TigerTrans package) implements InstructionSelection for the MIPS archticture. IR2ASM.r The module below is a template ...

IR-Canonicalize is a component of the TigerCompiler in the TigerTrans package. It normalizes IntermediateRepresentation trees such that: expressions don't have side ...

The IR-Format component of the TigerCompiler in the TigerTrans package checks the well-formedness of IntermediateRepresentation trees. It is a useful debugging tool ...

The to ASM package implements selection for the representation of the compiler. IR2ASM instruction selection for MIPS architecture CallerSavedRegisters

Instruction selection is the phase in compilation in which IntermediateRepresentation trees are mapped to sequences of target machine instructions. Algorithms MaximalMunch ...

IntermediateRepresentation is an abstract machine language that abstracts from the details of both source and target languages. The definition of the IntermediateRepresentation ...

The MIPS architecture is a family of RISC computer architectures designed by Transform.MipsTechnologies. The SpimSimulator can be used to simulate MIPS assembly language ...

Part of the ASM package of the TigerCompiler. PP-ASM.r INCLUDE{"http://www.stratego-language.org/tiger/asm/asm/PP-ASM.r"} Main.EelcoVisser 15 Sep 2002 Main.EelcoVisser ...

A pretty-print table for the IntermediateRepresentation of the TigerCompiler (TigerTrans package). IR-pretty.pp INCLUDE{"http://www.stratego-language.org/tiger/ir ...

Part of the ASM package of the TigerCompiler. RA.r This is the top module of the specification of the register allocator. Stratego is not currently the best language ...

Part of the ASM package of the TigerCompiler. runtime-debug.s This is an adaptation of the runtime system provided on the ModernCompilerImplementation site. INCLUDE ...

To finish the HpcProject submit distributions of all CompilerPackages that you have changed to implement the TigerCompiler. Notes Use make dist to create a distribution ...

The TAS2IR component of the TigerCompiler in the TigerTrans package translates TigerAbstractSyntax trees to IntermediateRepresentation. TAS2IR.r The following module ...

TAS-Format checks TigerAbstractSyntax trees for well-formedness. It is a component of the TigerCompiler in the TigerFront package. TAS-Format.cr The module below defines ...

TAS-Format is a component of the TigerCompiler in the TigerFront package. It checks typed TigerAbstractSyntax trees for well-formedness. TASTC-Format.cr The module ...

TigerCanonicalize is a component of the TigerCompiler in the TigerOpt package that normalizes TigerAbstractSyntax trees such that expression do not contain side effects ...

The Tiger compiler compiles Tiger programs to MIPS assembly code, which can be simulated by the Simulator. The compiler is the main product of the Tiger in Stratego ...

Tiger-Desugar is a component of the TigerCompiler in the TigerFront package. The component desugars TigerAbstractSyntax trees by representing binary operators generacilly ...

TigerEnsugar is a component of the TigerCompiler in the TigerFront package. See TigerDesugar for a description. CompilerComponent

Tiger-Eval is a component of the TigerCompiler in the TigerFront package. It defines an interpreter for Tiger programs in TigerAbstractSyntax format. Tiger-Eval.cr ...

The TigerFront package provides the front-end of the TigerCompiler consisting of the following components: TigerSyntax TigerAbstractSyntax TigerDesugar TigerEnsugar ...

Tiger is the example programming language used in Transform.AndrewAppel's textbook on Transform.ModernCompilerImplementationInML. Language features data types integers ...

The TigerOpt package provides the front-end of the TigerCompiler consisting of the following components: TigerOptimize TigerCanonicalize OptimizerArchitecture shows ...

TigerOptimize is a component of the TigerCompiler in the TigerOpt package. The component applies various Transform.ProgramOptimizations at the level of TigerAbstractSyntax ...

Tiger-Rename is a component of the TigerCompiler in the TigerFront package. It renames bound variables to a unique name such that no two variables declared in different ...

Tiger-Typecheck checks TigerAbstractSyntax trees for well-typedness and annotates variables with their types. It is a component of the TigerCompiler in the TigerFront ...

TigerVarEscapes is a component of the TigerCompiler in the TigerTrans package. The component transforms programs in TigerAbstractSyntax format such that all variable ...

The TigerXmpl package provides a directory with example Tiger programs and a makefile for testing the various TigerCompiler components. The makefile imports make-rules ...

This glossary gives an overview of the most important pages in this web Web WebIndex contains the complete list of pages in this web. WebChanges shows which pages ...

Tiger in Stratego An Experiment in Compilation by Transformation Tiger in Stratego is a framework for implementing a compiler for the language in the program transformation ...

Tiger in Stratego WebHome Compiler Architecture Packages Components Glossary Download

2002-09-15 New organization of the TigerCompiler and specification of many components using concrete Tiger syntax, which makes specifications much more readable. ...

The following settings are web preferences of the TWiki.Tiger web. These preferences overwrite the site-level preferences in TWIKIWEB . WIKIPREFSTOPIC , and can be ...

Statistics for TWiki.Tiger Web Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Feb 2008 ...

Statistics for TWiki.WebDSL Web Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Feb 2008 ...