The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program transformation and generation. For PEPM 2006 ...

What should a tutorial look like? In case your tutorial is accepted, the following offers suggestions for preparing and presenting your tutorial. 1. Contents When ...

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

CALL FOR POSTERS INCLUDE{ConferenceHeader} Poster Chair Important Dates Poster proposal submission: Notification of acceptance: Conference: Overview Posters at GPCE ...

What should a tutorial look like? In case your tutorial is accepted, the following offers suggestions for preparing and presenting your tutorial. 1. Contents When ...

INCLUDE{ConferenceHeader} News INCLUDE{WebNews} Generative and component approaches are revolutionizing software development similar to how automation and components ...

2006-10-12 Final Schedule booklet available (pdf) ConferenceProgram updated. 2006-06-21 The list of accepted papers has been posted. 2006-06-16 Online registration ...

What should a tutorial look like? In case your tutorial is accepted, the following offers suggestions for preparing and presenting your tutorial. 1. Contents When ...

CALL FOR TUTORIAL LECTURES INCLUDE{ConferenceHeader} Important dates Submission of tutorial proposals: Tuesday, July 6, 2010, 23:59:59 Author notification: August ...

GPCE 2010 will be held in the Auditorium of the Eindhoven University of Technology, co-located with SLE 2010 The Eindhoven University of Technology was founded in ...

Abstract : Type inference is the process of constructing a typing derivation while gradually discovering type information. During this process, inference algorithms ...

CALL FOR TECH TALKS INCLUDE{ConferenceHeader} Important dates Submission of tech talk proposals: TECHTALKSSUBMISSION Author notification: TECHTALKSNOTIFICATION Scope ...

Abstract : Large software projects consist of code written in a multitude of different (possibly domain-speci #64257;c) languages, which are often deeply interspersed ...

Abstract : Enterprise distributed real-time and embedded (DRE) systems are increasingly being developed with the use of component-based software techniques. Unfortunately ...

Abstract : The adoption of a product line strategy can bring signi #64257;cant productivity and time to market improvements. However, evolving a product line is risky ...

Abstract : Type inference is the process of constructing a typing derivation while gradually discovering type information. During this process, inference algorithms ...

Matthias Felleisen is a Trustee Professor of Computer Science at Northeastern University, Boston, and the founder of PLT, a distributed research group. His research ...

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 : Recent advances have enabled GPUs to be used as general-purpose parallel processors on commodity hardware for little cost. However, the ability to program ...

We are pleased to announce that GPCE 2011 will be featuring 2 excellent tech talks. BR Tech Talk 1: Pragmatics for Formal Semantics Olivier Danvy Abstract This tech ...

CALL FOR TECH TALKS INCLUDE{ConferenceHeader} Important dates Submission of tech talk proposals: TECHTALKSSUBMISSION Author notification: TECHTALKSNOTIFICATION Scope ...

CALL FOR TECH TALKS INCLUDE{ConferenceHeader} Important dates Submission of tech talk proposals: July 2013 Author notification: August 2013 Scope Tech talks will ...

Joint GPCE/SLE Keynote "Modeling Biology with Solver-Aided Programming Languages" by Ras Bodik (UC Berkeley) Abstract: A good model of a biological cell exposes secrets ...

CALL FOR TECH TALKS INCLUDE{ConferenceHeader} Important dates Submission of tech talk proposals: July 2013 Author notification: August 2013 Scope Tech talks will ...

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

Before joining this discussion take a look at FuutConfiguration topic. Do You think, it is better to separate batch processing configuration and GUI application configuration ...

I(Ghica) would like to make some remarks about splitting fuut into various jars, considering dependency management. Maybe we can talk about it tonight. A candidate ...

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

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

First off lets make it easy on ourselves and NOT worry (yet) about distributed tool use (we can have this as an eventual goal, along with a "visual aspect). Web based ...

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

Simple search: Topic text (body) All webs (not only TWiki.Gmt web) Topic name TWIKIWEB .BookView Advanced search: Topic text (body) Search all MAINWEB TWIKIWEB Know ...

CALL FOR POSTERS INCLUDE{ConferenceHeader} Poster Chair Important Dates Poster proposal submission: Notification of acceptance: Conference: Overview Posters at GPCE ...

CALL FOR TUTORIAL PROPOSALS INCLUDE{ConferenceHeader} Tutorial Chair Jeff Gray, University of Alabama at Birmingham (tutorials04@gpce.org) Important Dates Proposal ...

Online registration is joint with OOPSLA'04 and available from http://www.oopsla.org/2004/ShowPage.do?id RegistrationHome Make sure to check the GPCE or OOPSLA/GPCE ...

GPCE/OOPSLA Demonstration 15 C-SAW and GenAWeave: A Two-Level Aspect Weaving Toolsuite Jeff Gray, University of Alabama at BirminghamIra Baxter, Semantic DesignsJing ...

Peter D. Mosses Now available: Slides BRICS and Department of Computer Science, University of Aarhus, Denmark pdmosses@brics.dk http://www.brics.dk/~pdm Peter Mosses ...

Adaptive Object-Model Architecture: Dynamically Adapting to Changing Requirements Description Architectures that can dynamically adapt to changing requirement are ...

CALL FOR POSTERS INCLUDE{ConferenceHeader} Poster Chair Important Dates Poster proposal submission: Notification of acceptance: Conference: Overview Posters at GPCE ...

CALL FOR TUTORIAL PROPOSALS INCLUDE{ConferenceHeader} Tutorial Chairs Andrew Malton, University of Waterloo Jeff Gray, University of Alabama at Birmingham Tutorial ...

GPCE/OOPSLA Demonstration 15 C-SAW and GenAWeave: A Two-Level Aspect Weaving Toolsuite Jeff Gray, University of Alabama at BirminghamIra Baxter, Semantic DesignsJing ...

The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program transformation and generation. For PEPM 2006 ...

What should a tutorial look like? In case your tutorial is accepted, the following offers suggestions for preparing and presenting your tutorial. 1. Contents When ...

Name: Arthur van Dam Email: adam@cs.uu.nl Personal homepage: http://www.eye-home.net Research homepage: http://arthur.van-dam.net/twiki/ Country: Netherlands Main ...

It is no longer possible to create arbitrary webs in this TWiki. If you need a new web, contact WIKIWEBMASTER . Note a web is like a directory. Example webs are Main ...

2002-06-02 Modified the TWiki code such that the variable definitions in a topic are considered as well. This is particularly useful for defining the SKIN of a topic ...

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

TWiki.Octave Web Preferences The following settings are web preferences of the TWiki.Octave web. These preferences overwrite the site-level preferences in TWIKIWEB ...

The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program transformation and generation. For PEPM 2006 ...

What should a tutorial look like? In case your tutorial is accepted, the following offers suggestions for preparing and presenting your tutorial. 1. Contents When ...

The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program transformation and generation. For PEPM 2006 ...

What should a tutorial look like? In case your tutorial is accepted, the following offers suggestions for preparing and presenting your tutorial. 1. Contents When ...

The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program transformation and generation. For PEPM 2006 ...

What should a tutorial look like? In case your tutorial is accepted, the following offers suggestions for preparing and presenting your tutorial. 1. Contents When ...

Registration for PEPM 2011 is part of the registration for POPL 2011, here. The deadline for reservations in the Omni Austin Hotel Downtown(Texas) at the special ...

The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program transformation and generation. For PEPM 2006 ...

What should a tutorial look like? In case your tutorial is accepted, the following offers suggestions for preparing and presenting your tutorial. 1. Contents When ...

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

Registration for PEPM 2012 is part of the registration for POPL 2012, here. The deadline for reservations in the Sheraton Society Hill Hotel in Philadelphia's historic ...

The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the broad area of program transformation and generation. We hope ...

What should a tutorial look like? In case your tutorial is accepted, the following offers suggestions for preparing and presenting your tutorial. 1. Contents When ...

The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the broad area of program transformation and generation. We hope ...

What should a tutorial look like? In case your tutorial is accepted, the following offers suggestions for preparing and presenting your tutorial. 1. Contents When ...

The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the broad area of program transformation and generation. We hope ...

What should a tutorial look like? In case your tutorial is accepted, the following offers suggestions for preparing and presenting your tutorial. 1. Contents When ...

PHP-Sat offers the functionality to automatically analyze files which are included with the require / include functions of PHP. Many projects use some kind of include ...

This page describes how you can set up your development environment for PHP-Sat/PHP-Front. Most of the information is located elsewhere, if a link is dead please let ...

Stable Releases There is no stable release of PHP-Front (yet). Check the road map for the current status of the 0.1 release. Latest Developments Distributions of ...

TOC What is a bug-pattern? Let us start with a definition: A bug-pattern describes a common mistake at the application level. So each bug-pattern describes a pattern ...

TOC Why configuration? The configuration file is used to configure the security-analysis within php-sat. It contains information about three things: Which variables ...

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

There where two sources that made the idea for PHP-Sat. The first source of inspiration came from my work as a assistant at the course "internet programmeren" (Internet ...

TOC Introduction Within the documentation of PHP-front the TheExampleProject is used to explain how you can setup your own project. This documentation uses PHP-Tools ...

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

The empty module is a top-level directory in the SVN-repository which contains everything you need to start your own project based on PHP-Front. The special name that ...

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

PHP-Sat is a Static Analysis tool that can be used to check for common mistakes in PHP source code. One of the key-features of PHP-Sat is the automatic detection of ...

-- Main.TWikiGuest 27 Mar 2008 toto je sandbox4610 Search keyword: 'test', 'west', 'mest' Advanced search: Topic text (body) Search all public INCLUDINGWEB WEBLIST ...

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

Sandbox Web Preferences The following settings are web preferences of the Sandbox web. These preferences overwrite the site-level preferences in TWIKIWEB . WIKIPREFSTOPIC ...

(note: this is not an official release plan and probably quite out of date. Please update if some info is incorrect!) Below is a list of considerations for the next ...

This page is intended as a forum for discussion of all aspects of SDF2. Tips and Tricks SDF2 is a rich formalism. Here are some tips and tricks to use its full power ...

STARTINCLUDE STOPINCLUDE 2008-06-10 Terence Parr author of ANTLR visits CWI to present ongoing work on grammar reuse. 2008-06-09 SDF 2.6.2 source released a special ...

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

(note: this is not an official release plan and probably quite out of date. Please update if some info is incorrect!) Below is a list of considerations for the next ...

This page is intended as a forum for discussion of all aspects of SDF2. Tips and Tricks SDF2 is a rich formalism. Here are some tips and tricks to use its full power ...

STARTINCLUDE 2007-11-26 Updated the SDF website with new release info. In the meantime much has happened. SDF 2.5.1 has been released. Rob Economopoulos has refactored ...

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

Using Maven Tycho Spoofax project can be built continuously using a combination of Maven, Tycho and Ant. Using Maven should make it easy to run it in a continuous ...

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 short primer shows how to use tests as a basis for language development with Spoofax. As an example project we create a small 'calculator' language that shows ...

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

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

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

The autoxt package provides Autoconf and Automake support for packages constructed with the XT toolset. The package provides the autoxt tool which should be run as ...

The released versions of BibtexTools are currently not available. You can check out the sources directly from https://svn.strategoxt.org/repos/StrategoXT/bibtex-tools ...

To add a job, you need to: 1 describe your package in packages.nix (e.g. fooFront ) 2 add a release to releases.nix (e.g. fooFrontUnstable ), referring to fooFront ...

TOC Introduction CX is an aterm bridge for CIL, an existing C front-end implement in OCaml. The Stratego/XT-based package CX uses this bridge to read C code. CX will ...

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

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

TOC Features ECMAScript-front is a package you can use to generate or transform ECMAScript Edition 4 (also known as JavaScript) code. Download Stable Releases Currently ...

TOC Features The ECMAScript-model package is an executable model of the ECMAScript Edition 4 programming language. The source code represents a small-step operational ...

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

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

TOC Installation Q: I get errors when compiling Stratego programs or when running compiled Stratego programs. A: If you've carefully followed the instructions and ...

TOC Introduction The Stratego/XT Grammar Engineering Tools is a collection of tools for the recovery, development, testing, and maintenance of grammars. Currently ...

This is a to do list for creating a new release of StrategoXT. Make sure trunk is ok The trunk revision must build at all machines of the buildfarm, Cygwin and Mac ...

under construction Main.EelcoVisser 16 May 2003 A full fledged Stratego application does more than transform an ATerm into another ATerm. To transform programs ...

RED This manual is under construction! ENDCOLOR Table of Contents TOC Introduction Using a library At the command-line, or in Automake. Using strc at the command ...

TOC Introduction We need to improve the IO facilities in the SSL. Because the oldest strategies are to abstract, many different implementations have been created ...

StrategoXT 0.10 Installation Instructions Download the required packages First of all download the required packages ( .tar.gz , RPMs or Source RPMs). You need aterm ...

StrategoXT 0.11 Installation Instructions Download the required packages First of all download the required packages ( .tar.gz , RPMs or Source RPMs). You need aterm ...

StrategoXT 0.12 Installation Instructions Download the required packages First of all download the required packages ( .tar.gz , RPMs or Source RPMs). You need aterm ...

First of all download the required packages ( .tar.gz , RPMs or Source RPMs). You need aterm 2.3.1 and sdf2-bundle 2.3 The URLs are specified in the the release page ...

First of all download the required packages ( .tar.gz , RPMs or Source RPMs). You need aterm 2.3.1 and sdf2-bundle 2.3 The URLs are specified in the the release page ...

TOC Download distribution First download Stratego XT 0.9.1. The instructions on this page assume that you have downloaded a distribution. See the Sources topic for ...

Download the required packages First of all download the required packages ( .tar.gz , RPMs or Source RPMs). The URLs are specified in the topic of the StrategoXT ...

Download the required packages First of all download the required packages ( .tar.gz , RPMs or Source RPMs). The URLs are specified in the topic of the StrategoXT ...

Download the required packages First of all download the required packages ( .tar.gz , RPMs or Source RPMs). You need aterm 2.0 and sdf2-bundle 1.6. The URLs are ...

Download the required packages First of all download the required packages ( .tar.gz , RPMs or Source RPMs). You need aterm 2.0.5 and sdf2-bundle 2.0.1 The URLs are ...

This page discusses common problems (or non-problems) with the installation of Stratego on certain platforms. ATerm Installation (for Stratego/XT 0.14 and earlier ...

Introduction Java-Swul is a domain-specific language (DSL) for creating Java SWING user interfaces. The Java-Swul language is embedded in Java. In this fasion it ...

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

Released January 14, 2005 Download Java-front 0.6 requires Stratego/XT 0.13. Source tar.gz java-front-0.6 Source RPM java-front-0.6 Redhat Linux RPM java-front-0.6 ...

Released November 4th, 2005 Download Java-front VERSION requires Stratego/XT 0.16. Source tar.gz TARNAME VERSION Source RPM TARNAME VERSION Redhat Linux RPM TARNAME ...

TOC Introduction Jimple-front defines the syntax of Jimple, the typed 3-address representation of Java bytecode of the Soot Java optimization framework. This representation ...

STARTINCLUDE .newsitem h3 { font-size: 100 ; color: #333333; padding-bottom: 3px; border-bottom: 1px dotted #bb9; } .newsitem em { float: right; font-size: x-small ...

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

Below is a list of ideas for improvements and extensions of the standard library. Feel free to add items to the list or even to start new topics. NewName BreadthFirstTraversal ...

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 contains plans for past releases. See ReleasePlan for planning of future releases. StrategoXT 0.9.3 released September 1, 2003 New names for si and sc : ...

Pkg-config In this release we have introduced pkg-config for locating packages and their configuration. The use of pkg-config has several advantages: Distributions ...

After GPCE/OOPSLA in Vancouver Tijs van der Storm challenged me to write a Stratego program that prints its own source. So I set to work, with the following result ...

This page provides the tentative scheduling for future releases of StrategoXT. See PastReleases for an overview of the development of StrategoXT. Note that except ...

By representing a strategy as a term, it can be passed around. This requires an EvalStrategy operator that evaluates such a term. This need not be a primitive; Problems ...

Traversal primitives should have a right-to-left variant. Make threadl variant of thread that threads from right to left Main.EelcoVisser 27 Oct 2001 CategoryToDo ...

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

The name of the Stratego compiler was changed to strc . In StrategoRelease093 sc is still available as a redirection to strc , but will no longer be available in the ...

A pragmatic approach to separate compilation has been introduced in StrategoRelease094. A module can be compiled as a library which results in a single C program containing ...

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

Solaris/x86 support is scheduled for StrategoXT 0.9.4. Work has begun on pinpointing what is different from already working systems. The following packages are needed ...

The UltraSparc platform is the 64 bit version of the Sparc platform. It (and the Solaris operating system) can handle both 32 bit and 64 bit executables. The default ...

TOC Introduction SQL-front provides a syntax definition of a subset of SQL/92. You can use SQL-front to parse SQL. Download Latest Unstable Release The latest unstable ...

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} There are many interesting and less interesting improvements that can be made to the Stratego implementation. Anyone who is interested in doing ...

INCLUDE{WebNotice} EelcoVisser, 23 November 2011 Stratego/XT is available in several ways: Users of Stratego/XT or packages based on Stratego/XT typically just want ...

Stratego 0.8.1 Contents of the Distribution The StrategoDistribution contains the complete sources of the StrategoCompiler, StrategoScript and the standard library ...

The Stratego Emacs mode is currently available at: https://svn.strategoxt.org/repos/StrategoXT/stratego-editors/editor/trunk/emacs/stratego-mode.el Installation instructions ...

A StrategoIdiom is a standard method for solving some problem in a StrategoLanguage specification. StrategoRefactorings are methods for transforming a Stratego specification ...

Introduction stratego-misc is a small, but versatile package of Stratego modules, implementing strategies and tools that are not (yet) in the SSL. It might be handy ...

The StrategoCompiler performs a number of transformations/optimizations including the following: Pattern match merging Symbol caching Simplification Desugaring The ...

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

Resolved Issues for StrategoXT 0.11 Bug STR-7 pack-sdf fails with the message ERROR: Module Java.sdf not found if sglr does not exist STR-52 Illegal C code for mutual ...

Released October 04, 2004 Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or RPMs. Source tar ...

Issues closed and resolved in StrategoXT 0.12 Bug STR-90 sdf2rtg (or maybe just pp-rtg) does not support quoted constructors STR-96 Generic application of dynamic ...

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

Issues for StrategoXT 0.13. Bug STR-25 Appl/2 or Cons/0 is a reserved term? STR-127 ambiguity for negative numbers following colon in rules(..) STR-130 dr old uses ...

Stratego/XT 0.14 released May 9th, 2005 Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or ...

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

Release Notes Stratego/XT Version 0.16 (Stratego Core Compiler) Bug STR-14 Scoping problem at higher optimization levels STR-15 strc doesn't work if invoked with ...

Stratego/XT STRATEGOXTVERSION released August 31st, 2005 Download See the installation instructions if you are not familiar with the standard installation procedure ...

Release Notes Stratego/XT Version 0.16M1 (bugs in 0.15) Bug STR-85 Sloppy variable-scope in let-strategies STR-145 Shared libraries are not shared at Cygwin: static ...

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

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

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

This is a developers release. See StrategoDownload to get it. The following changes were logged. spec/Makefile.am (SUBDIRS): Changed order of sub-directory to avoid ...

Changes since StrategoRelease053 Summary Dynamic rules: see ScopedDynamicRewriteRules paper Lots of improvements to the library (thanks Main.HedzerWestra and Main ...

See also StrategoRelease061 StrategoRelease062 StrategoRelease063 Stratego version 0.6 is available from www.stratego-language.org SUMMARY OF CHANGES (with respect ...

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.1 Version StrategoXT-0.9.1 released on June 4, 2003 Contents TOC Download Source distribution StrategoXT is built using the ATermLibrary, the SDF syntax ...

StrategoXT 0.9.2 Version StrategoXT-0.9.2 released on July 4, 2003 Contents TOC Download Source tar.gz aterm-2.0 sdf2-bundle-1.6 strategoxt Source RPM aterm-2.0 sdf2 ...

StrategoXT 0.9.3 StrategoXT 0.9.3 is released on September 1, 2003. Contents TOC Download Source tar.gz aterm-2.0 sdf2-bundle-1.6 strategoxt Source RPM aterm-2.0 ...

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

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

StrategoLanguage is designed for transformation of tree or term structures. Stratego has support for the definition of generic traversals over trees, which makes the ...

The Stratego/XT distribution consists of the following packages: Stratego/XT Core Stratego packages stratego-front Stratego syntax and support for concrete object ...

TOC Introduction StringBorg is a solution to injection attacks for arbitrary languages. StringBorg prevents injection attacks by embedding the syntax of guest languages ...

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

The Dryad Compiler is an open compiler for the Java platform, based on The Dryad. TOC Overview of Features The Dryad Compiler is a compiler for a language formed by ...

Utrecht University, Friday May 3, 2002 Stratego is a language for program transformation based on the paradigm of rewriting strategies. The language is being used ...

Currently Stratego is very weakly typed. The reason for the weak type system is that it is not clear how to combine strong typing with generic traversals and transformations ...

Akim Demaille pointed out that the use of autoconf and automake in Stratego and XT is antiquated, and badly needs to be updated to more modern versions of these tools ...

Allow some specification of a desugaring tool in a meta file to apply to concrete syntax Make it easier to add custom desugarings (use meta file?), maybe implement ...

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

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

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

Simple search: Topic text (body) All webs (not only TWiki.Stratego web) Topic name TWIKIWEB .BookView Advanced search: Topic text (body) Search all MAINWEB TWIKIWEB ...

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

XT Applet is a small package configured with automake that you can use to get started with writing Stratego/XT applications. The src/ subdirectory contains a sample ...

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

TXL solution to Chairmarks #4.6: Clone detection with consistent renaming. This example implements clone detection for clones of structured statements (if, while, ...

TXL solution to Chairmarks #2.3, Declarations-to-global, move all declarations from any nesting level to the global scope. Main.JamesCordy 02 Nov 2005 File "TILtoglobal ...

TXL solution to Chairmarks #4.6: Clone detection. This example implements clone detection for exact clones of structured statements (if, while, for) in a TIL program ...

TXL solution to Chairmarks #4.3: Self-tracing program transformation. Main.JamesCordy 10 Oct 2005 File "TILtrace.Txl" Simple transform to make a Tiny Imperative ...

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

TXL solution to Chairmarks #4.7: Syntactic markup Marking up program statements or expressions with some structural property. This example demonstrates the use of ...

The Chairmarks are a small set of little benchmark transformation tasks, all based on the Imperative Language (TIL). They are called "chairmarks" because they are ...

Imperative Language (TIL) Example Programs Only a couple so far, hopefully many more to come. We've assumed a C++ style commenting convention for the TIL language ...

This is a proposal for a Tiny Imperative Language for setting tiny benchmarks of source transformation systems such as the Chairmarks. Main.EelcoVisser Main.JamesCordy ...

TXL solution to Chairmarks #4.4: Type inference. This example implements type inference for untyped variables in a TIL program and flags all type conflicts and ambiguous ...

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

Simple search: Topic text (body) All webs (not only TWiki.Sts web) Topic name TWIKIWEB .BookView Advanced search: Topic text (body) Search all MAINWEB TWIKIWEB Know ...

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

Administrator Skills Assumptions For each of these, the requirement is either pre-existing knowledge/skill, or the willingness to spend significant time (i.e. from ...

TOC STARTINCLUDE #FileSystem # Appendix A: TWiki Filesystem Annotated directory and file listings, for the 01-Sep-2004 TWiki production release. Who and What is This ...

Comment Plugin This plugin allows users to quickly post comments to a page without an edit/preview/save cycle. ( Discussion in TWiki:Plugins/CommentPluginDev ) TOC ...

FAQ: How do I delete or rename a topic? Answer: These two questions are answered together because often when you think you want to delete a page, more often it makes ...

FAQ: How do I delete or rename a file attachment? Answer: You can move and delete attachments directly from your browser. Moving lets you transfer an attachment from ...

Use the "Minor changes, don't notify" checkbox in preview in case you only make a minor change to a topic and you do not want to inform everybody who is on the WebNotify ...

DragonSkin installation This topic describes how to install !DragonSkin and perform some simple administrator-level (i.e. requiring the editing of template and CSS ...

Edit Table Plugin This plugin allows you to edit TWiki tables using edit fields and drop down boxes. Tables have an Edit table button if preceeded by an EDITTABLE ...

TOC STARTINCLUDE # File Attachments Each topic can have one or more files of any type attached to it by using the Attach screen to upload (or download) files from ...

TOC STARTINCLUDE # TWiki Formatted Search Results Inline search feature allows flexible formatting of search result The SEARCH{...} variable documented in TWikiVariables ...

GoodStyle Collaboration Tips TWiki has a very simple text formatting shorthand . In any case, you won't go wrong if you simply: start each line without spaces separate ...

Include Topics and Web Pages Using INCLUDE{...} Variable Use the INCLUDE{...} variable to embed the content of another topic or web page inside a TWiki topic. The ...

Instant TWiki Site Enhancements These quick enhancements are aimed at improving TWiki's ease-of-use. New TWiki site administrators are especially encouraged to review ...

TOC STARTINCLUDE # Managing Topics Browser-based rename, move, and delete for individual topics Overview You can use browser-based controls to change a topic's name ...

TOC STARTINCLUDE # Manage Users Register users on your TWiki site; change/reset/install passwords; remove user accounts Authentication and Access Control TWikiUserAuthentication ...

TOC STARTINCLUDE # Managing Webs Adding webs is a web based operation; renaming and deleting webs are manual operations done directly on the server Overview A TWikiSite ...

Customization of !PatternSkin This page describes ways to change the layout, fonts and colors of PatternSkin. TOC{title "Page contents:"} Your own TWiki look You ...

TOC STARTINCLUDE ## Site Usage Statistics You can automatically generate usage statistics for all webs. To enable this: Make sure variable $doLogTopicView, $doLogTopicSave ...

Slide Show Plugin This Plugin converts a topic with headings into a slide show. TOC Introduction There is already a defacto standard for presentations, why this Plugin ...

TOC STARTINCLUDE # TWiki Access Control Restricting read and write access to topics and webs, by Users and groups TWikiAccessControl allows you restrict access to ...

TWiki Admin Cook Book This page has many tips and tricks, particularly useful when you're installing TWiki for the first time. This guide is most useful RED before ...

TOC STARTINCLUDE # Appendix D: TWiki Development Timeline 01-Sep-2004 Release (Cairo) Major New Features Automatic upgrade script, and easier first-time installation ...

TOC STARTINCLUDE # TWiki Installation Guide Installation instructions for the TWiki 01-Sep-2004 production release. If you are reading this on your own TWiki installation ...

TOC STARTINCLUDE # TWiki Plugins Plug-in enhanced feature add-ons, with a Plugin API for developers Overview You can add Plugins to extend TWiki's functionality, ...

TWiki Site-Level Preferences The following are site-level settings that affect all users in all webs on this TWikiSite. They can be selectively overwritten on the ...

TWiki is a Web-based collaboration platform A TWiki site is an easy-to-use, full-featured open communications environment: people anywhere on the Web or on an intranet ...

TOC STARTINCLUDE # TWiki Site Tools Utilities for searching, navigation, and monitoring site activity TWikiSiteTools include utilities for navigating, searching and ...

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 # 20-Minute TWiki Tutorial This step-by-step, hands-on tutorial gets you up to speed with all the TWikiSite basics, in mere minutes ... 1. Get set ...

TOC STARTINCLUDE # TWiki Upgrade Guide Upgrade from the previous TWiki 01-Feb-2003 production release to TWiki 01-Sep-2004 Overview This guide describes how to upgrade ...

TOC STARTINCLUDE # TWiki Upgrade Guide Upgrade from TWiki 01-Dec-2000 or TWiki 01-Sep-2001 to TWiki 01-Dec-2001 (previous to new full release) This guide describes ...

TOC STARTINCLUDE # TWiki Upgrade Guide Upgrade from the previous TWiki 01-Dec-2001 production release to TWiki 01-Feb-2003 Overview This guide describes how to upgrade ...

TOC STARTINCLUDE # TWiki User Authentication TWiki site access control and user activity tracking options TWiki does not authenticate users internally, it depends ...

TOC STARTINCLUDE # TWiki Variables Special text strings expand on the fly to display user data or system info TWikiVariables are text strings VARIABLE that expand ...

Table Plugin Gives extra control of table display: Allows sorting Changing table properties like border width, cell spacing and cell padding Changing background color ...

Text Formatting FAQ The most frequently asked questions about text formatting are answered. Also, TextFormattingRules contains the complete TWiki shorthand system ...

TOC{depth "4"} STARTINCLUDE # TWiki Text Formatting Working in TWiki is as easy as typing in text exactly like email . You don't need to know HTML, though you can ...

TWiki Web Preferences The following settings are web preferences of the TWiki web. These preferences overwrite the site-level preferences in TWIKIWEB . WIKIPREFSTOPIC ...

BR All public webs Help Advanced search Text body Topic title Both SEARCH{ " URLPARAM{search} " type "keyword" scope " URLPARAM{scope} " web " URLPARAM{web} " nosearch ...

Advanced search: Topic text (body) Search all public INCLUDINGWEB WEBLIST{" $name"} web(s) Topic name Sort by Topic name Last modified time Last editor in reversed ...

NOTE: This Wiki topic does not exist yet If you used the "Go" feature to jump to this page: Make sure you spelled the TWIKIWEB .WikiWord correctly and try again. ...

NOTE: This Wiki topic does not exist yet If you used the "Go" feature to jump to this page: Make sure you spelled the TWIKIWEB .WikiWord correctly and try again. ...

Welcome, WIKIUSERNAME ! Welcome to TWiki! This is a TWikiSite (pronounced twee-kee site ), a meeting place to work on common interests. Anyone can contribute using ...

FAQ: Everybody can edit any page, this is scary. Doesn't that lead to chaos? Answer: TWiki is one of many WikiWikiClones, the first one was built by Ward Cunningham ...

A !WikiTopic is one unit of information in a T/Wiki web. It is more or less a universal term in the world of Wikis. Each !WikiTopic is displayed as one Web page in ...

A WikiWord consists of two or more words with initial capitals, run together. When you type a WikiWord, you establish a hyperlink. It's as easy as that. WikiWords ...

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

Nutshell Summary of Windows Install Cookbook This summary of WindowsInstallCookbook is for you if: You've already installed TWiki on Windows before and want a quick ...

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

Canonicalization Implement the IRCanonicalize component that transforms IntermediateRepresentation expressions into canonical form. The component can be found in ...

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

The distribution of the Tiger in Stratego project. TOC Download Source (.tar.gz) and RPM distributions are available at: http://catamaran.labs.cs.uu.nl/dist/stratego ...

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

2000/10/10 Tiger-0.9 is available. You can find it at WebHome. New in this version: asm/Allocate-Registers is a complete implementation of register allocation with ...

Canonicalization of IR Programs This is the third set of HpcExercises. The final goal of this set of exercises is the definition of a transformation that brings IR ...

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

Register Allocation This is the sixth set of HpcExercises. 1. Implement register allocation (without coalescing). 2. Finish the loose ends and make your compiler ...

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

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

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

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 TigerXmpl package provides a directory with example Tiger programs and a makefile for testing the various TigerCompiler components. The makefile imports make-rules ...

Make exercises 7.1 and 7.2 from ModernCompilerImplementation. In addition to translating the expressions to IntermediateRepresentation expressions also translate them ...

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

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

Simple search: Topic text (body) All webs (not only TWiki.Tiger web) Topic name TWIKIWEB .BookView Advanced search: Topic text (body) Search all MAINWEB TWIKIWEB ...

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

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

Assuming that all required packages are installed (see HowToObtainKoalaCompiler), the source distribution of KoalaCompiler can be installed in the following steps ...

Version 0.7 and higher See JJForesterDownload for a detailed description. Version 0.6 JJForester now supports Transform.VisitorCombinators. These are implementations ...

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

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

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

The pp-aterm tool adds layout to an ATerm to make its structure more clear. Example: The following Tiger program let function fact(n : int) : int if n is represented ...

Introduction rtg2typematch is a tool for generating a duck-typing-based strategies that check if an ATerm is of a type as defined in an RTG. An example will make ...

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

News about XT Version 1.0 Released: Jun 14, 2002 Bundles the most recent versions of XT's sub-component's. See the file XT 1 0 for the complete list of packages bundled ...

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

Simple search: Topic text (body) All webs (not only TWiki.Tools web) Topic name TWIKIWEB .BookView Advanced search: Topic text (body) Search all MAINWEB TWIKIWEB ...

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

ANT is a Java based tool for `making' software. It is described as ``make without makes' wrinkles''. Although it is meant for more languages than just Java, its main ...

The DeCompilation Wiki pages are a part of the program transformation Wiki. They are based on Cifuentes' decompilation pages (1998 2001), which were based on pages ...

Description Object­oriented programs are easier to extend than programs which are not written in an object­oriented style, but object­oriented programs are still ...

Every few months, I get an email asking where to find an automatic decompiler that will take a binary as input and produce good quality C or C++ code for maintaining ...

BAKE is a replacement for MAKE. Its aim is to solve recursion in make and do more compiles in parallel. Development ceased in 1999. http://bake.werken.com/

BAU is a MAKE like tool, written in Scheme. According to the webpage it can do everything MAKE does, with a few features from Tools.AutoMake. Development seems to ...

BENEVOL 2004 2nd BElgium Netherlands Workshop on software EVOLution Location: UA, Antwerpen Date: July 8-9, 2004 Sponsors: Lunch and dinner are sponsored by the two ...

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

History of PC based C-compilers Originally, there were Lattice C (the big gun), Wizard, Datalight, Ecosoft, DeSmet, Mix, Whitesmiths, BDS C, Manx Aztec C, and another ...

CONS is a replacement for make, written in Perl. It is not compatible with make. http://www.dsmit.com/cons/

http://www.canb.auug.org.au/~millerp/cook/cook.html Cook is a replacement for make.

The Australian company Mayon Software Research sells a visual Java decompiler called ClassCracker. ClassCracker contains 3 applications in one: a disassembler, a class ...

CodeBuildingEnvironment is a cvs like tool, which also stores some configuration stuff. The developers claim that it has got MAKE like features. It is written in Java ...

Colm: COmputer Language Manipulation Homepage: http://www.complang.org/colm/ Colm is a programming language designed for the analysis and transformation of computer ...

Various browsers have trouble with the tab character used in the TextFormattingRules. If you can't type a tab, or, if you are fixing up a page written by someone who ...

The daVinci system uses terms to represent graphs, which distinguishes it from all other graph formats. Terms make the format not easy to read and hard to write. A ...

Visual Basic Discompiler (Decompiler) Defeater This page only exists in archive.org for December 1996, which may be the boundary of the archive. In case it disappears ...

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

McGill's "Dava" Java Decompiler TOC Dava tests The Sable group at McGill University, under the leadership of Professor Laurie Hendren, are working on a framework ...

Question 38.4 of the C++ FAQ LITE demonstrates a typical negative reaction to the basic question "how can I decompile a C++ executable file?". I don't mean any offense ...

If you have a specific decompilation problem for which you need help, you can describe it here. Someone knowing the solution might visit the page and help you. (See ...

JReversePro (Java Decompiler) Simple Tests I installed JReversePro version 1.4.1 (binary distribution; Sourceforge page is here). TOC Fibo For source, see DecompilerFiboTestSource ...

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

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

This page contains links to projects peripherally related to decompilation. TOC Binary files Information on the internal format of binary files at the Wotsit's File ...

Source Again Java Decompiler Tests TOC Ahpah kindly provided a copy of Source Again Professional version 1.10j (a commercial decompiler). Earlier tests were based ...

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

Digital Signal Processors are processors with special features for fast processing of signals. It is a challenge to write programs for these architectures that are ...

Hans-Peter Diettrich, better known as DoDi, is author of a well-known set of Visual Basic decompilers (VBDis 3/4/5), and has worked on decompilers for executables ...

This page is intended to discuss the question Is Domain Engineering compatible with Agile Software Development? Given the current popularity of agile methodologies ...

.NET Decompiler Comparison See Net Decompiler Tests .NET Decompilers Salamander is a commercial decompiler for .NET. The web page allows decompiling of moderately ...

A beta-release of the decompiler exec2c by Scott Guthery was distributed to beta testers in 1991. The program is copyrighted by `The Austin Code Works and Polyglot ...

FoxBase/FoxPro/Clipper I don't know much about Foxbase. Pointers welcome. ReFox http://www.hieroglyphix.co.uk/refox.php from http://www.xitech-europe.co.uk (ReFox ...

GMake is the Gnu version of the MAKE tool. It has a different `dialect' compared to other versions of the MAKE tool (like the Solaris or Bsd versions). http://www ...

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

GenericSetup aims to replace Tools.AutoMake, Tools.AutoConf and LibTool. Development has stopped long ago. http://sourceforge.net/projects/gsetup/

The GnuProjectToolKit packages Tools.AutoMake, LibTool, Tools.AutoConf, etc. in one package. http://sourceforge.net/projects/osdtk/

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

An IntegratedDevelopmentEnvironment is a tool for software development. Usually it is a graphical tool optimized for Rapid Application Development. It contains an ...

Description Intentional programming developed at Microsoft Research Ait98 is a method for extending a language with new constructs or intentions . The meaning of ...

JMK is an implementation of MAKE in Java. Its syntax is very make like but only Java is supported. http://sourceforge.net/projects/jmk/

JamMR is a MAKE like tool. It has a MAKE like syntax, but it is `easier' to build Jam files. In my view they lost some of the power of make, though. It is aimed at ...

Not to be confused with IMake, JavaIMake is a platform independent make processor. It is written in Java and it requires Java to run. It is a commercial product. http ...

Kevin D. Quitt wrote the following, about his compiler specific approach: 1. The executable has to be examined to see if it's a compressed executable (like what PKLITE ...

LamdaMake is an initiative to extend make with `user defined macro like functions, allowing dependencies to span makefiles'. However, this functionality can be achieved ...

If decompilation is possible to a certain extent, is it then also allowed? Decompilation can be used for a number of reasons (see WhyDecompilation for more), including ...

Little Languages: Little Maintenance? By ArieVanDeursen and PaulKlint JournalOfSoftwareMaintenance, 10 :75-92, 1998 Abstract So-called little, or DomainSpecificLanguages ...

The make tool is a tool to make software development easier. It gives the developer the possibility to define targets, with additional commands for compilation. Unfortunately ...

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

A Case Study of Open Source Software Development The XT bundle of program transformation tools is an example of OpenSourceAcademicSoftware. Motivation for XT distribution ...

Why Researchers should produce Open Source Software Many research activities, escpecially in the field of computer science, involve the development of software. Sometimes ...

Technology for Production of Open Source Distributions automake autoconf GNU tools build files package configuration bundle configuration WikiWiki CVS Next: OsasCaseStudy ...

Commercial tool. From the web page: PE Explorer is a tool for inspecting and editing the inner workings of Windows 32-bit executable files: EXE, DLL, OCX, and several ...

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

The PILER Decompilation System TOC The PILER decompilation system is documented in Barb74 . However, this document is probably only available in Microfiche form, ...

Practical Reusable UNIX Software Krishnamurthy (editor) John Wiley Sons, 1995. Book about a collection of software from AT T Research Labs including AcaCia / CIAO ...

Definition Refactoring is typically applied at the level of programs (i.e., source code). A program refactoring is a program transformation that improves the design ...

http://www.glossa.co.uk/reap.html GRAY The REAP tools by InterGlossa Ltd support reverse engineering services, especially for microcontrollers such as the Zilog Z80 ...

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

A parser is an essential component of a TransformationSystem. It is often a considerable investment to develop a good syntax definition for use in a transformation ...

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

A sample RCL script that is used to pre-process the RSF generated with cparse for Rigi has been written by JohannesMartin. The RCL script is generic and works for ...

This topic provides information for Rigi developers that work with source code. See RigiInstall if you work with Rigi's precompiled distributions. Compilation of RigiEdit ...

Rigi Q A In this document the following tools are frequently mentioned: sortrsf (See SortRSF) htmlrsf (See HtmlRSF) rigiedit (See RigiEdit) Q: rigiedit is dog-slow ...

This topic provides information for users of Rigi binary distributions. See also RigiDevelopment if you work with Rigi's source code. Installing RigiEdit basically ...

Definitions Here are some attempts at definitions of rule-based programming. Feel free to comment or add your own. The rule-based programming paradigm is characterized ...

SMake is a tool to produce standard Makefiles from templates. It's not as advanced as Tools.AutoMake. http://freshmeat.net/projects/smake/

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

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

Software configuration is concerned with creating different specializations of a software artifact for different environments. (See also VariabilityManagement) Configuration ...

The Software Improvement Group is a young company offering tools that help businesses deal with their (Cobol) legacy systems. We're offering services in three areas ...

Definitions Software maintenance is defined by the ANSI/IEEE Std. 729-1983 and IEEE Std. 1219-1998 as: modification of a software product after delivery to correct ...

With the advent of set top boxes, mobile software, and other factors, software authors are wanting to create applications that are resistant to reverse engineering ...

First Tip: Find something what your are interested in and then make your contribution by adding text to a current page (like this one) or adding a link to a current ...

http://www.autistici.org/uncc/ Was at http://www.uncc.info (now for sale) uncc is a tiny decompiler for X86 binary files. It uses objdump as a disassembler, and uses ...

For Visual Basic programs compiled to .NET (e.g. with Visual Studio .NET 2003 or later), see DotNetDecompilers. JosephCo wrote a decompiler called Exdec. VBDis 3/4 ...

See also the announcements about specific systems in SystemNews. STARTINCLUDE STOPINCLUDE 2007-01-08 program-transformation.org is back online after absence for a ...

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

Simple search: Topic text (body) All webs (not only TWiki.Transform web) Topic name TWIKIWEB .BookView Advanced search: Topic text (body) Search all MAINWEB TWIKIWEB ...

Why decompilation? Why not just disassemble? Consider the Java world, where there are simple disassemblers and sophisticated decompilers that often work well and ...

The software on which this WikiWikiWeb runs is starting to become antiquated. It lacks many features that would be useful in a Wiki. It is also a problem that it does ...

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

Most modern software needs to support increasing amounts of variability, i.e. locations in the software where behaviour can be configured. This trend leads to a situation ...

The fourth meeting is planned: Dates: Wed, August 21 Sun, August 25, 2013 Venue: University Aarhus, Denmark Host: Erik Ernst Participants Top row: Jonathan Edwards ...

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

Hotel We have obtained a group rate at the Larkspur Landing Sunnyvale for the four nights May 31st to June 4th. The group rate is $129.00 per night for a studio suite ...

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

Dates: May 14-18, 2018 Venue: Antwerp, Belgium Host: Tom Van Cutsem https://lonelyplanetimages.imgix.net/mastheads/GettyImages-486812737 super.jpg Slides The slides ...

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

This needs to be updated to the actual procedure that has emerged during the meetings. Eelco Visser Talks are 50 minutes long, split equally between the presenter ...

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

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

Simple search: Topic text (body) All webs (not only TWiki.WebDSL web) Topic name TWIKIWEB .BookView Advanced search: Topic text (body) Search all MAINWEB TWIKIWEB ...

Simple search: Topic text (body) All webs (not only TWiki.default web) Topic name TWIKIWEB .BookView Advanced search: Topic text (body) Search all MAINWEB TWIKIWEB ...