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

We are proud to feature the following two invited talks: Juan de Lara (Autonomous University of Madrid, Spain): Bidirectional Transformations with Graphical Constraints ...

The abstracts of invited talks and accepted contributions are available here and here. Where provided by the speakers (of non-whiteboard-only talks), slides are linked ...

Previous Up Next Introduction In the previous chapter we saw that pure term rewriting is not adequate for term rewriting because of the lack of control over the application ...

Model Driven Development Basics using Eclipse Bruce Trask, MDE Systems Angel Roman, MDE Systems Sunday, October 22nd, 08:30 to 12:00 Abstract Model Driven Development ...

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

A Model of Refactoring Physically and Virtually Separated Features Christian Kaestner, Sven Apel and Martin Kuhlemann Transactional Pointcuts: Designation, Reification ...

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

Using GPCE Principles for Hardware Systems and Accelerators (bridging the gap to HW design) Rishiyur S. Nikhil, Ph.D. CTO, Bluespec Inc. Moore's Law has precipitated ...

(Mega)modeling Software Language Artifacts Jean-Marie Favre, Dragan Gaševi #263;, Ralf Lämmel Description Modern software is typically made of heterogeneous sets ...

Jeroen Arnoldus, Mark Van Den Brand and Alexander Serebrenik: Less is More: Unparser-completeness of Metalanguages for Template Engines Marko Rosenmueller, Norbert ...

Registration: Salon Foyer (Hilton Executive Tower, downstairs) Conference location: Salon Ballroom I and II (Hilton Executive Tower, downstairs) #TechnicalSchedule1 ...

Abstract : The development of service robots has gained more and more attention over the last years. A major challenge on the way towards industrial-strength service ...

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

(Mega)modeling Software Language Artifacts Jean-Marie Favre, Dragan Gaševi #263;, Ralf Lämmel Description Modern software is typically made of heterogeneous sets ...

CALL FOR PAPERS INCLUDE{ConferenceHeader} Important Dates Submission of papers: PAPERSUBMISSION Author notification: PAPERNOTIFICATION Scope Generative and component ...

General Chair: Klaus Ostermann (University of Marburg, Germany) Program Chair: Walter Binder (University of Lugano, Switzerland) Program Committee Members: Benoit ...

Xtext is an open-source framework for implementing external, textual domain-specific languages (DSLs). So far, most DSLs implemented with Xtext and similar tools ...

Twig is a language for writing typemaps, programs which transform the type of a value while preserving its underlying meaning. Typemaps are typically used by tools ...

A classical approach to program derivation is to progressively extend a simple specification and then incrementally refine it to an implementation. We claim this ...

Developing applications that use complex platforms for functionalities such as authentication and messaging is hard. Model-driven engineering promises to help, but ...

(Mega)modeling Software Language Artifacts Jean-Marie Favre, Dragan Gaševi #263;, Ralf Lämmel Description Modern software is typically made of heterogeneous sets ...

Xtext is an open-source framework for implementing external, textual domain-specific languages (DSLs). So far, most DSLs implemented with Xtext and similar tools ...

Twig is a language for writing typemaps, programs which transform the type of a value while preserving its underlying meaning. Typemaps are typically used by tools ...

A classical approach to program derivation is to progressively extend a simple specification and then incrementally refine it to an implementation. We claim this ...

Developing applications that use complex platforms for functionalities such as authentication and messaging is hard. Model-driven engineering promises to help, but ...

(Mega)modeling Software Language Artifacts Jean-Marie Favre, Dragan Gaševi #263;, Ralf Lämmel Description Modern software is typically made of heterogeneous sets ...

Xtext is an open-source framework for implementing external, textual domain-specific languages (DSLs). So far, most DSLs implemented with Xtext and similar tools ...

Twig is a language for writing typemaps, programs which transform the type of a value while preserving its underlying meaning. Typemaps are typically used by tools ...

A classical approach to program derivation is to progressively extend a simple specification and then incrementally refine it to an implementation. We claim this ...

Developing applications that use complex platforms for functionalities such as authentication and messaging is hard. Model-driven engineering promises to help, but ...

(Mega)modeling Software Language Artifacts Jean-Marie Favre, Dragan Gaševi #263;, Ralf Lämmel Description Modern software is typically made of heterogeneous sets ...

GPCE/OOPSLA Demonstration 14 Program Transformations for Re-Engineering C++ Components Ira Baxter, Semantic DesignsLarry Akers, Semantic DesignsMichael Mehlich, Semantic ...

Jack Greenfield Jack Greenfield is an architect for enterprise frameworks and tools at Microsoft. He was previously the chief architect of the Practitioner Desktop ...

GPCE/OOPSLA Demonstration 14 Program Transformations for Re-Engineering C++ Components Ira Baxter, Semantic DesignsLarry Akers, Semantic DesignsMichael Mehlich, Semantic ...

Tutorials T1: Multi-stage Programming in MetaOCaml (Duration: Full Day) Presenters: Walid Taha and Cristiano Calcagno T2: Implementing Domain-Specific Modelling Languages ...

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

t.b.a.

We are proud to feature an invited talk by Oleg Kiselyov!

The workshop has been cancelled.

Name: Alex F Email: niktzi@rambler.ru Homepage URL: http://www.jera-studio.com Country: Canada My Links TWIKIWEB .WelcomeGuest to learn TWiki Sandbox.WebHome web ...

Email: Alex@jasmin-tea.com.ru Country: Zimbabwe Name: Alex Seaberry Homepage URL: http://jasmin-tea.com.ru Company URL: http://jasmin-tea.com.ru My Links TWIKIWEB ...

Name: Jim Alex Email: program-transformation@aestheticsoftware.com Homepage URL: http://www.aestheticsoftware.com Country: USA My Links TWIKIWEB .WelcomeGuest to ...

Name: Alex Sergeev Email: igor@softcomplete.com Homepage URL: http://http://www.strongbit.com Country: Canada My Links TWIKIWEB .WelcomeGuest to learn TWiki Sandbox ...

List of TWiki users Please take the time and add yourself to the list. To do that fill out the form in TWIKIWEB .TWikiRegistration. This will create an account for ...

Statistics for TWiki.Main Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Jun 2011 5347 ...

Name: Zara thoustra Email: alex216@wanadoo.fr Homepage: http://nowhere.org/ Country: France Comment: Personal Preferences (details in TWIKIWEB .TWikiVariables) Horizontal ...

Invited Talk by Oege de Moor Joint work with Elnar Hajiyev, and Mathieu Verbaere Abstract Code queries are useful for enforcing coding conventions, navigating a large ...

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

We are proud to present the following two invited talks: Lennart Augustsson (Standard Chartered Bank, UK): O, Partial Evaluator, Where Art Thou? BR BR Abstract: Partial ...

The following papers (in no particular order) will be presented at the workshop. Regular research papers: Torben Mogensen. Partial Evaluation of the Reversible Language ...

We are proud to present the following three invited talks: Charles Consel (INRIA/LaBRI/University of Bordeaux, France): DiaSuite: A Paradigm-Oriented Software Development ...

The following papers (in no particular order) will be presented at the workshop. Regular research papers: Naoki Kobayashi, Kazutaka Matsuda and Ayumi Shinohara. Functional ...

TOC Analyzing a file After you have installed php-sat you can run it by typing: php-sat h If this command does not produce a list of all the options that are available ...

The PHP-Sat logo is made by Robert van Geenhuizen. We are very grateful that he took the time to develop this logo. We think it is 'compleet hip', which means so much ...

How to create an ErrorPage with in your WorkPlaceForms This page is a walk-through to generate an ErrorPage in your forms so the form user would access before finalizing ...

by Transform.MarkVanDenBrand, JeroenScheerder, Transform.JurgenVinju and Transform.EelcoVisser. Disambiguation filters for scannerless generalized LR parsers. In N ...

Main.LeonMoonen asked me what the difference is between lexical and context-free FollowRestrictions in SDF2. Here follows my response. (Unfortunately it is in dutch ...

Proposed Changes A summary of changes from SDf.2.1 to SDF.2.2 : The syntax of Tools.ATerms will be used for SDF attributes for example: A B {left} B C {aap(noot ...

SDF2 is a rich formalism for the definition of the syntax of all kinds of computer languages. This page explores the possibilities of the formalism by means of a number ...

The design of SDF is the result of a number of requirements. This page discusses these requirements. Completeness of Syntax Definition All aspects of the syntax of ...

by Transform.MarkVanDenBrand, JeroenScheerder, Transform.JurgenVinju and Transform.EelcoVisser. Disambiguation filters for scannerless generalized LR parsers. In N ...

Main.LeonMoonen asked me what the difference is between lexical and context-free FollowRestrictions in SDF2. Here follows my response. (Unfortunately it is in dutch ...

Proposed Changes A summary of changes from SDf.2.1 to SDF.2.2 : The syntax of Tools.ATerms will be used for SDF attributes for example: A B {left} B C {aap(noot ...

SDF2 is a rich formalism for the definition of the syntax of all kinds of computer languages. This page explores the possibilities of the formalism by means of a number ...

The design of SDF is the result of a number of requirements. This page discusses these requirements. Completeness of Syntax Definition All aspects of the syntax of ...

Introduction The semantic index is a set of stratego libraries, java primitives and editor extensions that provide a language-parametric framework for doing name ...

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

Jonne van Wijngaarden, Code Generation from a Domain Specific Language. Designing and Implementing Complex Program Transformations MSc Thesis INF/SCR-03-29, Institute ...

Martin Bravenboer. Connecting XML Processing and Term Rewriting with Tree Grammars . Institute of Information and Computing Sciences, Utrecht University, The Netherlands ...

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

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

Eric Bouwers, Martin Bravenboer, and Eelco Visser. Grammar Engineering Support for Precedence Rule Recovery and Compatibility Checking. In Proceedings of LDTA'07, ...

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

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

StrategoXT On Microsoft Windows StrategoXT requires Cygwin. In StrategoXT 0.9.4 all serious problems on Microsoft Windows/Cygwin are solved. Standard tarball distributions ...

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

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

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

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

by Transform.BasLuttik and Main.EelcoVisser In Alex Sellink (editor) Proceedings of the 2nd International Workshop on the Theory and Practice of Algebraic Specifications ...

Strategic Pattern Matching is a paper about extending standard first-order term pattern matching using strategies to define complex patterns. Specifically it describes ...

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

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

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

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

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

Available from StrategoDownload New features TermWrap TermProject Release Announcement Version 0.6.3 released: November 26, 2001 SUMMARY OF CHANGES (with respect to ...

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

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

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

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

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

On May 3, 2002 the ThirdStrategoUsersDay was held at Utrecht University. During the day seven presentations about features or applications of Stratego were given. ...

A transformation rule is a description of a single transformation step. Examples of transformation rules are constant folding beta reduction in the lambda calculus ...

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

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

This is a short introduction training course for TWiki beginners (newbies). SLIDESHOWSTART{template "ATasteOfTWikiTemplate"} A Taste of TWiki The basic function of ...

Default TWiki Plugin The default plugin is used for some depreciated rendering of older TWiki versions and of JosWiki. This plugin can also be used to specify some ...

Regular Expressions TOC Introduction Regular expressions (REs), unlike simple queries, allow you to search for text which matches a particular pattern. REs are similar ...

TOC STARTINCLUDE # TWiki Skins Skins overlay regular templates with alternate header/footer layouts; topic text is not affected Overview Skins are customized TWikiTemplates ...

TWiki Topics TOC The basic building block of a TWiki site is called a topic , identified by a unique, hopefully descriptive, TWIKIWEB .WikiWord title. It may seem ...

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

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

Selection for the MIPS Build an instruction selector for programs in intermediate representation that produces MIPS code. This essentially consists of defining rules ...

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

AsFix2ME is a more compact variant of AsFix2. See the AsFix topic for a general overview of AsFix. This topic describes the difference between AsFix2 and AsFix2ME ...

This is one of the XT UserStories. RECOVERY OF SYNTAX DEFINITION FOR LEX No syntax definition for LEX was available in the grammar-base. In order to further automate ...

This is one of the XT UserStories RECOVERING A SYNTAX DEFINITION FOR STRATEGO This directory contains a syntax definition in SDF2 of the Stratego language. This file ...

A new revision of this paper is available under the title Survey of Strategies in Rule Based Program Transformation Systems. Main.EelcoVisser 12 Mar 2004 Main.EelcoVisser ...

This page was rescued from Google's cache of http://orion.planet.de/~jan/Snippets.9707/ g0311.html . G.3.17 decompil.txt Date last modified: 05-Jul-1997 Question: ...

This page is my refutation of a Frequently Asked Question answer on decompilation. The original page is difficult to find now in its complete form, so I have archived ...

Bernd Bruegge and Allen H. Dutoit Object-Oriented Software Engineering: Conquering complex and changing systems Prentice-Hall, 2000. A textbook on software engineering ...

Building Program Understanding Tools Using Visitor Combinators by Transform.ArieVanDeursen and Transform.JoostVisser This paper describes how Transform.VisitorCombinators ...

Cognitive models of program comprehension model the mental processes involved in program understanding. In most cognitive models, hypotheses are key drivers of the ...

The following companies offer decompilation services (from binary code or assembly code). The techniques used by these companies are usually proprietary, but often ...

http://www.decompile.com The Database Managers company used to offer DataFlex Decompilers in two forms: as a stand-alone licensed program or as a service. Now, they ...

This is the readme file for the "decomp" decompiler by Jim Reuter. This README file describes the decompiler that resides in this directory. WHAT IT IS: The decompiler ...

Dava Java Decompiler Tests These tests were performed on the Dava decompiler which comes with Soot 2.0.1. The author stated in early 2003 that there is a newer version ...

Is Decompilation Possible? Almost every week requests for decompilation programs are made in newsgroups (like comp.lang.c), and these are usually replied with: It ...

Are you wanting to set up a decompilation related company? He is a partial list of the URLs. RED Warning: URLs in italics could lock up your browser for at least 2 ...

Exe-2-C DOS/286 Decompiler Tests This is the beta version of an experimental decompiler. The tests are from test.zip in the dcc distribution. TOC Strlen The original ...

In a poorly designed decompiler (including all current decompilers and also disassemblers), a graphical user interface (GUI) or equivalent (e.g. Sourcer's specification ...

http://www.2good.com/software/desquirr Desquirr is a decompiler plugin for IDA Pro. It is written by Eriksson as part of a Master Thesis in Software Engineering. It ...

Raimar Falke's Diploma Thesis is written in German. For English readers, I have translated the final section using Google's translation facility and some hand editing ...

Generation of Software Renovation Factories from Compilers by Alex Sellink and Chris Verhoef. Available: postscript 1 html 2 pdf 3

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 (1960-1979) Decompilers have been written for a variety of applications since the development of the first compilers. The very first decompiler ...

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

Imagix Corporation produces reverse engineering, quality metrics, and documentation solutions. Imagix provides provides tools and support to help developers work with ...

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

TOC Java Bytecode Decompilers Decompilers that read Java bytecode programs usually decompile to Java, since that is the language that the majority of such programs ...

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

LEX is a lexical syntax definition formalism based on regular expressions. It was designed to be used in combination with the context-free syntax definition formalism ...

Object-Oriented Reengineering Patterns is a book by Serge Demeyer, Stéphane Ducasse and Oscar Nierstrasz, published by Morgan Kaufmann and DPunkt. As the title says ...

ON THE INVERSE OF COMPILING W.L. Caudle Sperry-UNIVAC 26 April 1980 1. INTRODUCTION It is fitting that the subject of program conversion aids and portability be a ...

7. SUMMARY A decompiler model has been described which was implemented and which achieved a relatively high figure of merit. There are, however, many fundamental ...

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

Program derivation is a kind of ProgramTransformation in which an (efficient) implementation is derived from a (high-level) specification. If the specification can ...

Here is a list of programming languages and DataFormats that could be subject of ProgramTransformation BETA BibTeX CAML CProgrammingLanguage CleanLanguage COBOL CPP ...

Relativity Technologies is a leading supplier of legacy modernization solutions. Our technology offerings enable Information Technology organizations to take advantage ...

Scaffolding for Software Renovation by Alex Sellink and Chris Verhoef. Available: ps 1 html 2 pdf 3

EelcoVisser. Scannerless Generalized-LR parsing . Technical Report P9707, Programming Research Group, University of Amsterdam, July 1997. Online: http://www.cs.uu ...

Scientific Toolworks, Inc. We make tools that help developers understand, document, and maintain impossibly large or complex amounts of source code. What our tools ...

A syntax definition is a high-level description of the syntax of a language, usually in the form of a context-free grammar. Languages for syntax definition include ...

The meeting will be held in Austin Venue: University of Texas at Austin Time: Tuesday December 4 to Saturday December 8 Local organizer: William Cook Participants ...

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

Dates: August 28 September 1, 2017 Venue: Park City, Utah, USA Host: Matthew Flatt https://www.flickr.com/photos/tkellyphoto/6246702517 Venue The meeting will take ...

"You always have the choice of making things more complicated, or making things more simple" Dave Ungar, channeling Tony Hoare "Synchronization is the next goto" ...

These are the talks given at the IFIP WG 1.16 meeting at Skamania Lodge, WA, USA from June 2 to June 6, 2014. Sean McDirmid: Programming with Managed Time in Glitch ...

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

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