The following co-located meetings with overlapping interests are directly adjacent to BX 2012: ESOP 2012: 22nd European Symposium on Programming FASE 2012: 15th International ...
PEPM has a special category of papers called tool demo papers. The main purpose of a tool paper is to display other researchers in the PEPM community a completed, ...
Previous Up Next Introduction So far we have assumed the basic actions applied by strategies are rewrite rules. However, taking a closer look at rules, we see that ...
Previous Up Next Introduction Program transformation systems need some kind of representation for program that can be manipulated. Programmers write programs as texts ...
CALL FOR TECHNICAL PAPERS Fifth International Conference on Generative Programming and Component Engineering (GPCE'06) http://www.gpce.org/06/ October 22-26, 2006 ...
CALL FOR PARTICIPATION Third International Conference on Generative Programming and Component Engineering (GPCE'04) Vancouver, October 24-28, 2004 co-located with ...
CALL FOR PRACTITIONER REPORTS INCLUDE{ConferenceHeader} Industrial Track Chair Important Dates Practitioner report submission: Notification of acceptance: Program ...
The OOPSLA'06 Advance Program, including GPCE-related events, is available now. Workshops Sunday, October 22 Aspect-Oriented Product Line Engineering (AOPLE) 8:30am ...
Tuesday, October 24 8:30-10:00 Technical papers: Staging Session chair: Eelco Visser Samuel Kamin, Baris Aktemur and Michael Katelman. Staging static analyses for ...
Building Java Transformations with Stratego/XT Martin Bravenboer, Utrecht University Karl Trygve Kalleberg, University of Bergen Eelco Visser, Utrecht University ...
Generative Software Development Krzysztof Czarnecki, University of Waterloo Wednesday, Oct 25, from 13:30 to 17:00 Abstract Product-line engineering seeks to exploit ...
Technical Papers Sunday, October 19 8:50-9:00 Welcome 9:00-10:00 Keynote Session Chair: Julia Lawall Emerging Challenges for Large Scale Systems Integration Dr. Andrew ...
GPCE Tutorial #2 (GP2) "Problems We Can Solve with Power-Generics" by Stan Jarzabek, National University of Singapore Date: Oct 22, afternoon Description Repetitions ...
INCLUDE{ConferenceHeader} News INCLUDE{WebNews} Generative and component approaches are revolutionizing software development similar to how automation and components ...
GPCE Event Locations (hotel floor plan) Meeting room: Grand Mesa Ballroom D on the 2nd floor Breakfast and coffee breaks: directly outside the meeting room Lunches ...
INCLUDE{ConferenceHeader} News INCLUDE{WebNews} Generative and component approaches are revolutionizing software development similar to how automation and components ...
Abstract : This paper deals with embedded systems software and the modification of its architecture and behavior at execution-time. Incautious implementation of such ...
Arie Middelkoop, S. Doaitse Swierstra and Atze Dijkstra: Iterative Type Inference with Attribute Grammars Matthias P. Krieger, Alexander Knapp and Burkhart Wolff ...
Abstract : Plug-in components are a means for making feature-rich applications customizable. Combined with plug-and-play composition, end users can assemble customized ...
Abstract : While dynamic code evolution in object-oriented systems is an important feature supported by dynamic languages, there is currently only limited support ...
CALL FOR PAPERS (txt,pdf) INCLUDE{ConferenceHeader} Important Dates Submission of abstracts: PAPERPRESUBMISSION Submission of papers: PAPERSUBMISSION Author notification ...
#TutorialSchedule Sunday, October 10 All Sunday activities will take place in Academisch Genootschap Eindhoven. The tutorials will take place in the Meerlezaal, FOSD ...
Abstract : Programs in domain-specific embedded languages (DSELs) can be represented in the host language in different ways, for instance implicitly as libraries ...
INCLUDE{ConferenceHeader} News INCLUDE{WebNews} Generative and component approaches are revolutionizing software development similar to how automation and components ...
Abstract : This paper deals with embedded systems software and the modification of its architecture and behavior at execution-time. Incautious implementation of such ...
Abstract : Plug-in components are a means for making feature-rich applications customizable. Combined with plug-and-play composition, end users can assemble customized ...
Abstract : While dynamic code evolution in object-oriented systems is an important feature supported by dynamic languages, there is currently only limited support ...
Registration: Salon Foyer (Hilton Executive Tower, downstairs) Conference location: Salon Ballroom I and II (Hilton Executive Tower, downstairs) #TechnicalSchedule1 ...
Abstract : The !GeoGram system generates programs for geometric computations by combining generic software components as speci #64257;ed by diagrams constructed using ...
Multilingual Component Programming in Racket Matthias Felleisen, Northeastern University, USA In the world of Racket, software systems consist of interoperating components ...
Abstract : Programs in domain-specific embedded languages (DSELs) can be represented in the host language in different ways, for instance implicitly as libraries ...
Abstract : Component based software engineering and aspect orientation are claimed to be two complementary approaches. While the former ensures the modularity and ...
Abstract : Software product lines (SPLs) and adaptive systems aim at variability to cope with changing requirements. Variability can be described in terms of features ...
Abstract : The validation and veri #64257;cation of reliable systems is a dif #64257;cult and complex task, mainly for two reasons: First, it is dif #64257;cult to ...
Xtext is an open-source framework for implementing external, textual domain-specific languages (DSLs). So far, most DSLs implemented with Xtext and similar tools ...
In the context of Component-based Programming, which addresses the implementation stage of a component-based software engineering development process, this paper ...
Component-based development promotes a software development process that focuses on component reuse. How to describe a desired component before searching in the repository ...
CALL FOR PAPERS (txt,pdf) INCLUDE{ConferenceHeader} Important Dates Submission of papers: June 14, 2013 Author notification: August 22, 2013 Scope Generative and ...
October 26, 2013 FOSD Workshop October 27, 2013 Opening and Keynote Address 08:30-08:40 Welcome and Introduction 08:40-10:00 Don Batory. Dark Knowledge and Graph ...
Xtext is an open-source framework for implementing external, textual domain-specific languages (DSLs). So far, most DSLs implemented with Xtext and similar tools ...
In the context of Component-based Programming, which addresses the implementation stage of a component-based software engineering development process, this paper ...
Component-based development promotes a software development process that focuses on component reuse. How to describe a desired component before searching in the repository ...
INCLUDE{ConferenceHeader} Important Dates Submission of papers: May 30, 2014 Author notification: July 7, 2014 Scope Generative and component approaches and domain ...
Xtext is an open-source framework for implementing external, textual domain-specific languages (DSLs). So far, most DSLs implemented with Xtext and similar tools ...
In the context of Component-based Programming, which addresses the implementation stage of a component-based software engineering development process, this paper ...
Component-based development promotes a software development process that focuses on component reuse. How to describe a desired component before searching in the repository ...
Which conventions should we follow in GMT project? There are Eclipse conventions at http://dev.eclipse.org/conventions.html . Should we follow those blindly? In FUUT ...
Since it is really difficult for a newbie to understand ideas behind the configuration of FUUT, i believe we need a document describing the purpose of each configuration ...
This is intendet to be a collection of questions and answers regarding GMT architecture. It also is meant to store old discussion and to make GMT more clear to newcomers ...
Distributed version should have collection: Eclipse plugins Stand alone components Documentation Source and build script for source distribution Main.MarkKofman ...
This is intendet to be a collection of questions and answers regarding GMT roadmap. It also is meant to store old discussion and to make GMT more clear to newcomers ...
Generative Model Transformer Edit WebContents to add links to the content bar on the left. Edit WebPreferences to change color of the content bar. This wiki is the ...
The International Conference on Generative Programming and Component Engineering (GPCE) Bylaws Organizational Goals Program generation techniques have the potential ...
The International Conference on Generative Programming and Component Engineering (GPCE) Bylaws Aim Program generation techniques have the potential to revolutionize ...
CALL FOR PAPERS (closed) INCLUDE{ConferenceHeader} electronic submission at http://gpce.program-transformation.org Scope Generative and component approaches have ...
FINAL CALL FOR PAPERS Third International Conference on Generative Programming and Component Engineering (GPCE'04) Vancouver, October 24-28, 2004 co-located with ...
CALL FOR PARTICIPATION Third International Conference on Generative Programming and Component Engineering (GPCE'04) Vancouver, October 24-28, 2004 co-located with ...
CALL FOR PRACTITIONER REPORTS INCLUDE{ConferenceHeader} Industrial Track Chair Important Dates Practitioner report submission: Notification of acceptance: Program ...
GPCE/OOPSLA Demonstration 14 Program Transformations for Re-Engineering C++ Components Ira Baxter, Semantic DesignsLarry Akers, Semantic DesignsMichael Mehlich, Semantic ...
GPCE/OOPSLA Demonstration 16 The Concern Manipulation Environment Peri Tarr, IBM Thomas J. Watson Research CenterMatthew Chapman, IBM Hursley ParkWilliam Chung, IBM ...
GPCE Demonstration 23 Implementation of DSLs using staged interpreters in MetaOCaml Kedar Swadi , Rice University Tue, 26 Oct., 15.30 16.15, Exhibition Hall Demo ...
INCLUDE{ConferenceHeader} Software Transformation Systems Workshop Workshop Organisers Magne Haveraaen, University of Bergen, Norway Jim Cordy, Queen's University ...
Generative Software Development Description System family engineering seeks to exploit the commonalities among systems from a given problem domain while managing ...
Program Transformation Systems: Theory and Practice for Software Generation, Maintenance and Reengineering Description As software demands grow, so does the need ...
INCLUDE{ConferenceHeader} GPCE'05 will be held in Tallinn, Estonia and co-locate with ICFP'05 News INCLUDE{WebNews} Generative and component approaches have the potential ...
CALL FOR TECHNICAL PAPERS INCLUDE{ConferenceHeader} Program Chairs Robert Gl ck, University of Copenhagen Michael Lowry, NASA Ames Research Center Program chairs ...
FIRST CALL FOR CONTRIBUTIONS 4th International Conference on Generative Programming and Component Engineering (GPCE'05) Sep 29 Oct 1, 2005, Tallinn (Estonia) http ...
CALL FOR PARTICIPATION Third International Conference on Generative Programming and Component Engineering (GPCE'04) Vancouver, October 24-28, 2004 co-located with ...
CALL FOR PRACTITIONER REPORTS INCLUDE{ConferenceHeader} Industrial Track Chair Important Dates Practitioner report submission: Notification of acceptance: Program ...
GPCE/OOPSLA Demonstration 14 Program Transformations for Re-Engineering C++ Components Ira Baxter, Semantic DesignsLarry Akers, Semantic DesignsMichael Mehlich, Semantic ...
GPCE/OOPSLA Demonstration 16 The Concern Manipulation Environment Peri Tarr, IBM Thomas J. Watson Research CenterMatthew Chapman, IBM Hursley ParkWilliam Chung, IBM ...
GPCE Demonstration 23 Implementation of DSLs using staged interpreters in MetaOCaml Kedar Swadi , Rice University Tue, 26 Oct., 15.30 16.15, Exhibition Hall Demo ...
INCLUDE{ConferenceHeader} ProgramMainEvent ProgramsAffiliatedEvents Software Transformation Systems Workshop Workshop Organisers Magne Haveraaen, University of Bergen ...
Program Transformation Systems: Theory and Practice for Software Generation, Maintenance and Reengineering Description As software demands grow, so does the need ...
Challenges and Best Practices of Generative Software Engineering in the Context of Large Complex Business Applications X APOLOGIES THIS TUTORIAL HAS BEEN CANCELLED ...
INCLUDE{ConferenceHeader} The GPCE 2005 proceedings are available as volume 3676 of Springer LNCS News INCLUDE{WebNews} Generative and component approaches have the ...
The following co-located meetings with overlapping interests are directly adjacent to BX 2012: ESOP 2012: 22nd European Symposium on Programming FASE 2012: 15th International ...
PEPM has a special category of papers called tool demo papers. The main purpose of a tool paper is to display other researchers in the PEPM community a completed, ...
PEPM has a special category of papers called tool demo papers. The main purpose of a tool paper is to display other researchers in the PEPM community a completed ...
PEPM has a special category of papers called tool demo papers. The main purpose of a tool paper is to display other researchers in the PEPM community a completed, ...
PEPM has a special category of papers called tool demo papers. The main purpose of a tool paper is to display other researchers in the PEPM community a completed, ...
PEPM has a special category of papers called tool demo papers. The main purpose of a tool paper is to display other researchers in the PEPM community a completed, ...
The following papers (in no particular order) will be presented at the workshop. Regular research papers: Naoki Kobayashi, Kazutaka Matsuda and Ayumi Shinohara. Functional ...
PEPM has a special category of papers called tool demo papers. The main purpose of a tool paper is to display other researchers in the PEPM community a completed, ...
We are proud to present the following two invited talks: Zhenjiang Hu (National Institute of Informatics, Japan): Practical Aspects of Bidirectional Graph Transformations ...
PEPM has a special category of papers called tool demo papers. The main purpose of a tool paper is to display other researchers in the PEPM community a completed, ...
PEPM has a special category of papers called tool demo papers. The main purpose of a tool paper is to display other researchers in the PEPM community a completed, ...
These pages describe how you can set-up your PHP-Front-based project. We will use a real-life example to explain all the steps that are involved in making a PHP-Front ...
The source code of SDF is split in several components. Each component implements the same build interface, and adheres to certain coding standards. Programming environment ...
The SDF bugzilla system is located here. Use the components 'sglr' and 'pgen' to report bugs in the core SDF system, 'sdf-meta' for IDE bugs and 'unknown' if you just ...
SDF is an open-source project under the BSDLicense . Contributing Please contribute bug reports, patches, and ideas for enhancement using our BugZilla instance. Thank ...
Debugging Stratego in Spoofax Projects Spoofax supports debugging of Stratego code used in the implementation of the various editor services. The Stratego debugger ...
Updates of Spoofax cause Eclipse to time out; why? Due to a known problem with the combination of Eclipse 3.7, Java 1.7, and Windows, the update manager can be very ...
This page provides a tour of the different features of Spoofax. For additional supporting material and documentation, visit our page. For a quick overview of features ...
TOC Description The bibtex-tools package provides components for processing BibTeX files, mainly for producing publication lists in PDF and HTML automatically from ...
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 ...
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 ...
Jonne van Wijngaarden, Code Generation from a Domain Specific Language. Designing and Implementing Complex Program Transformations MSc Thesis INF/SCR-03-29, Institute ...
TOC Description The concrete-syntax package provides parse-cs, a generic program for parsing programs with embedded syntax. The program is parameterized with meta ...
Martin Bravenboer. Connecting XML Processing and Term Rewriting with Tree Grammars . Institute of Information and Computing Sciences, Utrecht University, The Netherlands ...
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 ...
The EBNF package is a StrategoApplication developed to illustrate the basic concepts of transformation with rewriting strategies. The package has a single source directory ...
xDoc: generate documentation for Stratego specifications General Rob Vermaas is working at the moment on xDoc. Examples of generated documentation can be found at ...
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 ...
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 ...
Transform.PatriciaJohann and Main.EelcoVisser. Strategies for Fusing Logic and Control via Local, Application-Specific Transformations. Technical Report UU-CS-2003 ...
under construction Main.EelcoVisser 16 May 2003 A full fledged Stratego application does more than transform an ATerm into another ATerm. To transform programs ...
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 ...
TOC Documentation Publication: Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax Download Distributions (tarball, rpm, srpm) of the ...
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 ...
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 ...
MetaStratego is a meta-programming framework for Stratego which is under development by Main.KarlTrygveKalleberg and Main.ValentinDavid. Contact these authors directly ...
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 ...
TOC Introduction Extensible Compilers. Many extensible compilers and programming languages allow the syntax of a base language to be extended to introduce new syntactic ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
Introduction The Stratego Compiler translates a Stratego specification to a C program. The compiler is completely implemented in Stratego (except for the parser, ...
The syntax definition of Stratego is organized by syntactic category (Strategy, Term, etc.). This makes it hard to distinghuish syntactic sugar from core constructs ...
INCLUDE{WebNotice} Stratego is a language for program transformation and XT is a collection of tools for building and generating program transformation components ...
The front-end of the compiler parses the source modules, performs several checks on them, integrates multiple definitions, and produces a CoreStratego program for ...
The Stratego Optimizer consists of a number of source-to-source transformation components that are called by the StrategoCompiler. Optimizations that are already implemented ...
INCLUDE{WebNotice} Full bibliography of Stratego Bibliography of Stratego/XT related publications at researchr by year and type strategoxt.bib Overview transformation ...
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 ...
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 ...
Stratego/XT STRATEGOXTVERSION released August 31st, 2005 Download See the installation instructions if you are not familiar with the standard installation procedure ...
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 ...
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 ...
See DependencyGraph08 for an overview of the dependencies between the packages involved in Release 0.8 Release 0.8 TermAnnotations Simple ListMatching ConfigurationFiles ...
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 ...
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 ...
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 ...
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 ...
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 ...
This page lists ideas for programming utilties for Stratego programmers. StrategoDebug xDoc generate documentation for Stratego specifications Shell interactive ...
StrategoLanguage is designed for transformation of tree or term structures. Stratego has support for the definition of generic traversals over trees, which makes the ...
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 ...
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 ...
On May 3, 2002 the ThirdStrategoUsersDay was held at Utrecht University. During the day seven presentations about features or applications of Stratego were given. ...
TOC Introduction TigerContract is an experimental package which implements a TigerCompiler with contract support. The main purpose is to understand what contracts ...
StrategoXT encourages a development model in which stand-alone components are developed for separate aspects of program transformation, instead of implementing integrated ...
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 ...
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 ...
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 ...
TOC Introduction XWeb is a generic template-based transformation demonstration service; it's implemented as a CGI application. The current version contains a demo ...
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 ...
Software Transformation Systems Workshop 2004 STS04 was arranged Sunday, October 24th 2004 as part of Generative Programming and Component Engineering 2004 (GPCE'04 ...
STS'06: Software Transformation Systems Workshop part of the Fifth international conference on Generative Programming and Component Engineering (GPCE'06) October ...
Text Formatting FAQ The most frequently asked questions about text formatting are answered. Also, TextFormattingRules contains the complete TWiki shorthand system ...
TOC STARTINCLUDE # Windows Install Cookbook Introduction This cookbook is intended to get you up and running with TWiki on Windows quickly, with as few problems as ...
The ASM package provides the front-end of the TigerCompiler consisting of the following components: ASMFormat RA FinishFunctions PPASM RunTimeSystem The BackEndArchitecture ...
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 ...
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 ...
The Tiger in Stratego is divided into several packages, in order to make it easier to distribute only parts of the compiler and to add new components. Languages Front ...
Appel writes in the preface to Modern Compiler Implementation in ML: Over the past decade there have been several shifts in the way compilers are built. New kinds ...
Extend TigerLanguage with a do-while construct. This requires updating the following components from the TigerFront package: TigerSyntax TigerAbstractSyntax TigerDesugar ...
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 ...
Escaping Variables This is the seventh set of HpcExercises. The current implementation of WebHome stores all formal and local variables in the stack frame, even if ...
The assignment for the course is to implement a compiler for the TigerLanguage in the Stratego.StrategoLanguage. The CompilerArchitecture explains the overall structure ...
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 ...
IntermediateRepresentation is an abstract machine language that abstracts from the details of both source and target languages. The definition of the IntermediateRepresentation ...
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 ...
The TigerFront package provides the front-end of the TigerCompiler consisting of the following components: TigerSyntax TigerAbstractSyntax TigerDesugar TigerEnsugar ...
Make rules for the components in the TigerFront package. make-rules.tiger-front INCLUDE{"http://www.stratego-language.org/tiger-front/make-rules.tiger-front"} Main ...
The TigerOpt package provides the front-end of the TigerCompiler consisting of the following components: TigerOptimize TigerCanonicalize OptimizerArchitecture shows ...
The TigerXmpl package provides a directory with example Tiger programs and a makefile for testing the various TigerCompiler components. The makefile imports make-rules ...
Implement translation of TigerAbstractSyntax expressions to IntermediateRepresentation code in module TAS2IR in the TigerTrans package. The TigerTrans package contains ...
The xmpl/ directory in the TigerXmpl package contains a number of example Tiger programs (partly copied from the Stratego.ModernCompilerImplementation site) and a ...
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 ...
2002-09-15 New organization of the TigerCompiler and specification of many components using concrete Tiger syntax, which makes specifications much more readable. ...
TOC Description The Database Interface (aterm-dbi) offers an ATermServices look on a relational database. aterm-dbi uses Java Stratego.ATerm Servlets. Interface Currently ...
Description An abstract composition definition is a definition of a composition that is independent of the type of components. It describes the components in the ...
Description Compiling and installing software packages is often a time consuming and complicated business. You have to read the installation instructions to determine ...
Description Autobundle is a utility for making software distributions by bundling multiple (third-party) software packages. Autobundle promotes the development of ...
The KoalaCompiler is developed as a component-based system using Stratego.StrategoXT: The system is implemented as a set of program transformation tools. Different ...
The KoalaCompiler components are all tool components that use a standard set of command-line switches to control their operation. Below we describe the common switches ...
The tool koala-c translates the bindings defined in a Koala composition to C. The program takes as input a Koala composition and produces as output a set of .c/.h ...
News May-2-2007. Version 0.3 of the koala compiler has been released. Checkout HowToObtainKoalaCompiler Description The Koala-compiler package forms an Open Source ...
A picture of a Koala specification can be generated with the koala-dot tool. This tool reads a Koala composition, normalizes it and transforms a grapg in DOT format ...
The tool koala-normalize performs Koala normalizations without code generation. It takes a Koala composition as input and produces an abstract syntax tree (AST) of ...
The tool koala-stc translates a Koala composition to a composite source tree. This process is called Source Tree Composition. The basic idea is that for koala-stc ...
Pretty-printing Koala specifications is performed with the koala-text tool. This tool reads a Koala composition, normalizes it and transforms the result to text. koala ...
This project is obolete, please checkout: KoalaCompiler Description The Koala-tools package is a collection of tools operating on the Koala component definition language ...
Description The Koala compiler toolkit forms a generic framework for component composition. The framework works as follows: 1 Components and compositions are expressed ...
Description The tool koala-wire connects requires interfaces to provides interfaces whenever possible. Example For instance, all components in the composition showed ...
Components of xml-front XML syntax definition in SDF concrete syntax for XML in Stratego xml-info language for the representation of XML documents in ATerms STARTINCLUDE ...
TOC Introduction RED This packages is not being maintained at the moment. Some parts of it have been mvoed to xml-front, which is now part of StrategoXT. Maybe the ...
Description Functional decomposition is good for flexibility, maintainance and modularity of programs. However, it is not necessarily good for other aspects of programming ...
Aspect-Oriented Programming by GregorKiczales, JohnLamping, AnuragMendhekar, ChrisMaeda, ChristinaVideiraLopes, JeanMarcLoingtie and JohnIrwin. In Proceedings of ...
Software architecture, Software ReEngineering, and ProgramUnderstanding Research project at the University of Stuttgart, see http://www.informatik.uni-stuttgart.de ...
Crystal Systems http://www.crystal-sys.com/ Offers products based on C-SCAN, a unique and flexible engine for automating the conversion of system components. See also ...
The Decompilation Process The main problems with decompilation are the separation of data and code (i.e. obtaining a complete disassembly of the program), the reconstruction ...
Contact Arne de Bruijn arbruijn@students.cs.uu.nl Martin Bravenboer mbravenb@students.cs.uu.nl Presentation Slides for part 1: Introduction to reverse engineering ...
Following GenerativeProgrammingBook, p.24, the purpose of Domain Design is to develop a SoftwareArchitecture for the family of systems in the domain ; and to devise ...
Domain Engineering involves creating a set of reusable assets for building systems in a particular problem domain. These reusable assets are then assembled to customer ...
.NET Decompiler Comparison See Net Decompiler Tests .NET Decompilers Salamander is a commercial decompiler for .NET. The web page allows decompiling of moderately ...
The Draco system was the first to pioneer with DomainSpecificLanguages employing ProgramTransformation for their implementation. The system featured parser and pretty ...
Homepage http://gcse2001.cs.rug.nl/ Conference on Generative and Component-Based Software Engineering Deadline: May Conference: September Description (from the conference ...
GNU GENERAL(?) PUBLIC(?) LICENSE(?) Version 2, June 1991 Copyright (C) 1989, 1991 Free Software Foundation, Inc. 1.9 Temple Place, Suite 330, Boston, MA(?) 02111 ...
Homepage: http://cs-www.cs.yale.edu/homes/taha/gpce/cfp02.html The ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering (GPCE'02) A ...
Generative Domain Model The key to automating the assembly of software systems is a generative domain model (GDM) that consists of a problem space, a solution space ...
This page list people that are or have been active in the field of Generative Programming. For each person, a brief characterisation of his/her GP activities is given ...
Here are some definitions of generative programming. 1 The goal of generative programming is to replace manual search, adaptation, and assembly of components with ...
Generative Programming: Methods, Tools, and Applications. KrzysztofCzarnecki and Ulrich W. Eisenecker. Addison-Wesley, 2000. http://www.generative-programming.org ...
The first workshop on this topic was very successful, resulting in the GenerativeModelTransformer project. A second workshop is scheduled for 27 October at OOPSLA ...
Description One of Java's strengths is that it was designed with the assumption that the environment in which it was running would be changing dynamically. Classes ...
The goal of the Morale project from GeorgiaTech is to facilitate SoftwareEvolution of LegacySystems. Facilitation takes the form of improved quality by requirements ...
NDoc is source code documentation tool for C#, the language of the DotNet framework. Using NDoc: Adding World-Class Documentation to Your .NET Components Main.EelcoVisser ...
Object-oriented Tree Traversal with Tools.JJForester TobiasKuipers, JoostVisser Abstract We want to use the advanced language processing technology available in the ...
Definition Program transformation is the act of changing one program into another. The term program transformation is also used for a program, or any other description ...
DomainEngineering methodology devised by Mark Simos and co-authors. The major steps include Plan domain: Set objectives, analyze stakeholde Scope domain: selection ...
Requirements of Academic Software For published software to be effective it should satisfy the following requirements. Open source Platform independent Testing Interface ...
PREA Panel on Reverse Engineering and Architectural evolution Co-located with CSMR 2002 Tuesday 12 March 2002, 14:00 16:00 ReverseEngineering is the process of recovering ...
Name Package name. Description Package description. Components List of components of the package. Documentation for these components can be formatted according to ...
Description This page discusses terminology, principles, and issues concerning tools for ProgramTransformation. Principles ProgramTransformationTools have much in ...
The ReverseAndReengineeringTaxonomy defines reverse engineering as: The process of analyzing a subject system with two goals in mind: 1 to identify the system's components ...
Information if you are new to Rigi: Purpose Rigi is a ReverseEngineering environment. It consists of a set of tools: parsers, command-line utilities, and an interactive ...
Risla is a DomainSpecificLanguage for interest rate products. It is an abbrevation for Rente Informatie Systeem Language. It's development started in the early 1990 ...
Sculptor and Realizer Here is information about two decompilers which were written in Spain. The first is a decompiler written in 1989 for a 4th generation language ...
Homepage : http://www.saxproject.org/ The Simple API for XML (SAX) is a standard interface for event-based XML parsing. Because of the event-based approach the interface ...
A survey of software architecture is provided by David Garlan, in SoftwareArchitectureARoadMap. Garlan loosely defines architecture as a software system's gross organization ...
Definitions of Software Architecture. There are many definitions of what SoftwareArchitecture is: an overview of these is given at http://www.sei.cmu.edu/architecture ...
Charles W. Krueger provides a survey in the ACM Computing Surveys 24(2):131-183, June 1992. Software reuse is the process of creating software systems from existing ...
Homepage: http://www.logic.at/strategies/ Series of workshops on strategies in automated deductions. The page contains links to systems providing strategies. Copenhagen ...
TXL: Tree Transformation Language Homepage: http://www.txl.ca/ The TreeRewriting language TXL (developed by JamesCordy at Queen's University in Kingston, Canada) ...
A TransformationFramework is a collection of standard components for creating ProgramTransformationSystems for some language. (Is A TransformationFramework the same ...
Background If you are involved in extracting information, artifacts, architectural components (or anything else of value) from existing systems then you should be ...
Topics Topics discussed at WCRE include but are not limited to: SoftwareMaintenance and SoftwareEvolution DeCompilation and BinaryTranslation ProgramComprehension ...
2002 ACM SIGPLAN Workshop on Rule-Based Programming Workshop Program Satellite event of PLI'02 Saturday, October 5, 2002 Pittsburgh, USA http://www.program-transformation ...
The design and evaluation of appropriate SoftwareArchitectures is key to the effective development, management, evolution, and reuse of software systems. However, ...
For now we have only the raw discussion protocol here. Type and Mechanism of Variation solution vs. problem space types of variation in problem space: offerted by ...
Dates: April 20-24 (Mon-Fri), 2015. Venue: Athens, Greece Host: Yannis Smaragdakis Venue The meeting will take place at the University of Athens Club (Kostis Palamas ...
Dates: January 25-29, 2016 Venue: UCLA, Los Angeles, CA Host: Alex Warth Food Lunches: grab some food in food court in Ackerman auditorium and eat outside. Group ...
Please edit this page to add your name and an abstract for one or more talks that you would be willing to present, if requested. By all means also create a home page ...