The following contributions were selected (out of 15 submissions) for presentation at the workshop: Anthony Anjorin, Gergely Varro and Andy Schürr. Complex Attribute ...

GPCE Tutorial #1 (GP1) "Effective Model Driven Engineering to Create Domain Specific Languages" by Bruce Trask and Angel Roman, MDE Systems Inc. Date: Oct 22, morning ...

Abstract : A code generator is a program translating an input model into code. In this paper we focus on template-based code generators in the context of the model ...

t.b.a.

TOC Getting Started To start a proper shell and initialize your path, run the following commands. ( martin is on purpose. Don't change the username to your own account ...

The following papers (in no particular order) will be presented at the workshop. Regular research papers: Christopher Brown and Simon Thompson. Clone Detection and ...

TOC Features PHP-front is a package you can use to generate, analyse, or transform PHP code. It contains a handcrafted SDF grammar for PHP, a handcrafted pretty printer ...

The following text was submitted as my proposal for Google's Summer of Code 2006: Project Title Using static analysis to find vulnerabilities Synopsis Applications ...

SDF is used by many individuals for many different purposes. This page lists the original applications of SDF and some of its premier applications. The SDF syntax ...

The SDF syntax definition formalism is applied in two projects related to meta programming: the ASF+SDF Meta-Environment and Stratego/XT. Companies and researchers ...

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

We implemented an algorithm for layout preservation in refactorings. The algorithm reconstructs the source code after a transformation on the abstract syntax tree ...

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

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

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

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

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

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

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

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

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

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

Implement translation of TigerAbstractSyntax expressions to IntermediateRepresentation code in module TAS2IR in the TigerTrans package. The TigerTrans package contains ...

Description AsFix (ASF+SDF fixed format) is a format for representing parse trees in the ATerm format. Currently two versions of AsFix are in used: AsFix2ME and AsFix2 ...

asfix-tools is a collection of tools for the AsFix (ASF Fixed) format. The AsFix format is a format for representing a parse tree. Sdf.SGLR outputs its result in the ...

The KoalaCompiler is developed as a component-based system using Stratego.StrategoXT: The system is implemented as a set of program transformation tools. Different ...

Task How to obtain abstract syntax trees Description Given a concrete term over some language L, an abstract syntax tree for that term is obtained by: 1. generating ...

implodePT is part of the pt-support package. It implodes an AsFix2ME parse tree to an abstract syntax tree. See AsFix for an example and more information on the AsFix ...

Description The tool koala-graph generates a graphical representation of a Koala specification as a Dot graph. The generated output is an abstract syntax tree of ...

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

Description The tool pack-koala packs the Koala component and interface definitions and produces a parse tree for the complete Koala specification. Example ATTACHURL ...

Introduction sdf2parenthesize generates a Stratego transformation tool that adds the necessary parentheses to an abstract syntax tree. The information is obtained ...

XT: Transformation Tools XT is a bundle of tools for building program transformation systems. The tools include parser generation, pretty-printing, abstract syntax ...

A data exchange format provides a formal notation for the linear description of data to be exchanged between tools. See the ExchangeFormatBibliography for an overview ...

Cameron and Ito. Grammar-Based Definition of Metaprogramming Systems. ACM Transactions on Programming Languages and Systems Vol. 6, No. 1, January 1984, Pages 20-54 ...

History of Decompilation (1980-1999) See also On the Inverse of Compiling, April 1980. #TopicZebra Zebra, 1981 The Zebra prototype was developed at the Naval Underwater ...

Bali Bali generate from a single grammar specification: lexical analyzer (JLex) parser (CUP) class hierarchies for tree nodes, including unparsing methods (pretty ...

Program transformation systems for Java programs (that is, Java is the object language) usually operate on an abstract syntax representation of the Java source code ...

JavaCC LL(1) parser generator producing Java code SableCC LALR parser generator. Generates parse tree and abstract syntax tree classes as well. CUP LALR parser ...

by PhilippKutter and AlfonsoPierantonio. In Journal of Universal Computer Science, vol. 3, no. 5 (1997), 416--442 Abstract Montages are a new way of describing all ...

A parse tree is a tree representation of the result of parsing a list of characters. A real parse tree contains the full inputstream. It then allows a yield operation ...

Programs can be represented in various ways in ProgramTransformationTools. AbstractSyntaxTree DirectedAcyclicGraph Graph Objects Particularly important/problematic ...

Description Puma Grosch91 is the program transformation generator of the Coctail compiler toolkit. A Puma specification specifies a transformation of an abstract ...

Contact Arne de Bruijn arbruijn@students.cs.uu.nl Martin Bravenboer mbravenb@students.cs.uu.nl Topics Progress Testing Programs Documents Links Ideas Progress ...

The SEN1 research group at CWI works on the following SoftwareRenovation topics: DocumentationGeneration for COBOL systems ArchitectureExtraction Type inferencing ...

TAMPR (Transformation Assisted Multiple Program Realisation System) is one of the earliest TransformationSystems around. Description TAMPR supports program transformation ...

A transformation rule is a description (in some formal language) of the transformation of (a part of) a program. Many formal languages for the description of transformation ...

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