The following co-located meetings with overlapping interests are directly adjacent to BX 2012: ESOP 2012: 22nd European Symposium on Programming FASE 2012: 15th International ...

BX 2012 is co-located with the following events: CC 2012: 21st International Conference on Compiler Construction ESOP 2012: 22nd European Symposium on Programming ...

INCLUDE{AimsAndTopics} INCLUDE{PublicationVenue} Submission Guidelines INCLUDE{SubmissionGuidelines} Important Dates INCLUDE{ImportantDates} Invited Speakers INCLUDE ...

Papers Acceptance Rate Participants

Program Chairs Frank Hermann (Technical University of Berlin, Germany; University of Luxembourg, Luxembourg) Janis Voigtl nder (University of Bonn, Germany) Program ...

2002-01-23 Creation of WebNews for default web Main.EelcoVisser #26412; #25253; #35759; ( #35760; #32773; #25991; #23433;) “‘ #20845; #21512; #24425;’ #35753; #25105 ...

AOPLE: First Workshop on Aspect-Oriented Product Line Engineering DSAL'06: Domain-Specific Aspect Languages Workshop STS'06: Software Transformation Systems Workshop ...

Program Chairs: Douglas Schmidt (Vanderbilt University, USA) Todd Veldhuizen (Indiana University, USA) Program Committee Members: Giuseppe Attardi (University of Pisa ...

Don Batory (University of Texas at Austin, USA) Krzysztof Czarnecki (University of Waterloo, Canada) Ulrich Eisenecker (University of Leipzig, Germany) Stanislaw ...

Sunday, October 22nd morning GPCE1 Model-driven development basics using Eclipse Bruce Trask, Angel Roman WS1 AOPLE Aspect-Oriented Product Line Engineering Neil ...

GPCE Home GPCE'06 Home Final Program Final Program(pdf) Organization Dates Venue Registration Tutorials GPCE1 GPCE2 GPCE3 GPCE4 GPCE5 GPCE6 GPCE7 Workshops AOPLE ...

Program Chair: Jeremy Siek (University of Colorado at Boulder) Program Committee Members: David Abrahams (Boost Consulting) Uwe Aßmann (Technische Universität, Dresden ...

CALL FOR PAPERS (txt,pdf) INCLUDE{ConferenceHeader} Important Dates (NEW) Submission of abstracts: PAPERPRESUBMISSION (DEADLINE PASSED) Submission of papers: PAPERSUBMISSION ...

General Chair: Ewen Denney (SGT/NASA Ames, USA) Program Chair: Ulrik Pagh Schultz (University of Southern Denmark, Denmark) Program Committee Members: Andrzej W #261 ...

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

INCLUDE{"http://www-static.cc.gatech.edu/computing/GPCE03/"}

Program Chairs: Robert Gl ck (University of Copenhagen) Michael Lowry (NASA Ames Research Center) Program Committee Members: Don Batory (University of Texas, USA) ...

This page contains a list of mailinglists that can be used to send calls for papers to. It does not seem appropriate or necessary to send such announcements to every ...

The following co-located meetings with overlapping interests are directly adjacent to BX 2012: ESOP 2012: 22nd European Symposium on Programming FASE 2012: 15th International ...

BX 2012 is co-located with the following events: CC 2012: 21st International Conference on Compiler Construction ESOP 2012: 22nd European Symposium on Programming ...

Papers Acceptance Rate Participants

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

Name: Mike Van Emmerik Email: emmerik at gmail dot com Homepage URL: http://www.vanemmerikfamily.com/mike (home) Boomerang open source decompiler: http://boomerang ...

Name: praneeth kumar Email: praneeth@gmail.com Homepage URL: http://www.coe.uncc.edu/~pkbajjur Country: USA My Links TWIKIWEB .WelcomeGuest to learn TWiki Sandbox ...

Name: ValmorJunior Email: dcc6vaj@joinville.udesc.br Affiliation: Homepage URL: http://www.ds.softville.softex.br Country: Brazil Comment: Personal Preferences (details ...

Name: Welly Fang Email: rlfann@pchome.com.tw Homepage URL: http://www.wretch.cc/blog/golfworld Country: Taiwan My Links TWIKIWEB .WelcomeGuest to learn TWiki Sandbox ...

Name: Yannis Smaragdakis Email: yannis@cc.gatech.edu Homepage URL: http://www.cc.gatech.edu/~yannis Country: USA My Links TWIKIWEB .WelcomeGuest to learn TWiki Sandbox ...

Program Chairs G. Ramalingam (Microsoft Research India) Eelco Visser (Delft University of Technology, The Netherlands) Program Committee Members Ras Bodik (University ...

Don Batory (University of Texas at Austin, USA) Krzysztof Czarnecki (University of Waterloo, Canada) Ulrich Eisenecker (University of Leipzig, Germany) Stanislaw ...

Papers Acceptance Rate Participants

Papers Acceptance Rate Participants

Papers Acceptance Rate Participants

Program Chairs Oleg Kiselyov (Monterey, CA, USA) Simon Thompson (University of Kent, UK) Program Committee Members Emilie Balland (INRIA, France) Ewen Denney (NASA ...

Papers Acceptance Rate Participants

Papers Acceptance Rate Participants

Syntax Definition PHP-Front has an extensive test suite that is run on every build. The grammar is tested by over six hunderd unit-tests that cover at least every ...

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

Released November 4th, 2005. Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or RPMs. Source ...

Full bibliography of SDF CWI SEN1 publications Syntax Definition and Parsing publications in the list of publications by Eelco Visser Language Filters For Scannerless ...

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

SDF is a language for defining syntax. It provides for an unprecedented level of conciseness in syntax definitions. First, syntax can be defined in modules. Second ...

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

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

Released November 4th, 2005. Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or RPMs. Source ...

Full bibliography of SDF CWI SEN1 publications Syntax Definition and Parsing publications in the list of publications by Eelco Visser Language Filters For Scannerless ...

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

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

Supporting material and documentation: A Tour of Spoofax/IMP (recommended) Example projects Test-Driven Language Development with Spoofax Frequently Asked Questions ...

TOC Introduction AspectJ-front provides: Modular syntax definition for AspectJ 5.0 in SDF. The AspectJ syntax definition is an extension of the modular syntax definition ...

Aster is an attribute grammar system based on Stratego. It makes use of the standard Stratego facilities such as matching and syntax to specify attribute equations ...

K. Olmos and E. Visser. Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules. In R. Bodik, editor, 14th ...

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

Program of the Fourth Users Day (SUD'03) June 5, 2003 Utrecht University Utrecht, The Netherlands Venue The meeting will be held at the Uithof campus of Utrecht University ...

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

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 Stratego/XT Grammar Engineering Tools is a collection of tools for the recovery, development, testing, and maintenance of grammars. Currently ...

Before StrategoRelease06 failure was implemented in the StrategoCompiler by using GCC's computed labels feature. Starting with StrategoRelease06 failure handling is ...

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

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

Mac OS X / Intel The latest unstable releases of Stratego/XT 0.17 support Mac OS X on Intel machines. An experimental installer is available. See the announcement ...

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

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

Reported Platforms GNU/Linux at i386 SuSE 8.2 and 9.0 Redhat 8.0 Redhat 9.0 Debian 3.0 GNU/Linux at PowerPC Debian testing with GCC 3.4.1, PowerMac6,3 Mac OS X 10 ...

The first ideas for System S were developed at the Programming Research Group of the University of Amsterdam and at Transform.CWI. A prototype for the StrategoLanguage ...

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

Upcoming STARTINCLUDE 2009-06-16 Code Generation 2009 tutorial on Creating Domain-Specific Languages with Stratego/XT. STOPINCLUDE Past 2008-10-21 OOPSLA 2008 talk ...

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

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

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

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 StrategoXT Version 0.14 Bug STR-59 sdf syntax: seq/2 overloaded STR-82 prettyprinting of seq in iter-sep fails STR-230 sglri does not support input ...

Stratego/XT 0.15 released July 5, 2005 This is an experimental release featuring a refactoring of the internals of the language definition and compiler. Please report ...

Stratego/XT 0.16 released November 4th, 2005 RED Warning: ENDCOLOR This release has known issues with recent GCC 4.x, GNU Make 3.81, Mac OS X, and operating systems ...

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

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

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

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

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

Stratego/XT is the combination of the language for strategic programming with the XT bundle of transformation tools. XT XT is a bundle of transformation tools that ...

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

Admin tools Manage whole TWiki site from one screen. Users: Register, NewUserTemplate, ResetPassword, ChangePassword, InstallPassword, MaintenanceGuide Site Tools ...

TWiki Site Map STARTINCLUDE Web TWiki Site Map Use to... SEARCH{ "\ Set SITEMAPLIST \ on" regex "on" web " MAINWEB , TWIKIWEB , all" topic " WEBPREFSTOPIC " nototal ...

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

Inter-Wiki Link Rules (or Links to other Sites) This topic lists all aliases needed to map Inter-Site links to external wikis/sites. Whenever you write ExternalSite ...

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

!PatternSkinPalette This page gives an overview of the colors used by PatternSkin and describes where to change them to create your own style. TOC{title "Page contents ...

Render List Plugin Render bullet lists in a variety of formats Syntax Rules RENDERLIST Variable Place a RENDERLIST{ parameters } before any bullet list The lists ...

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

The 216 Standard Colors This table can be used to choose a color in WEBPREFSTOPIC of each web. #000000 #000033 #000066 #000099 #0000CC #0000FF #003300 #003333 #003366 ...

TOC STARTINCLUDE # TWiki::Func Module Documentation Official list of stable TWiki functions for Plugin developers Description This module defines official funtions ...

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

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

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

Introduction The ATerm (Annotated Term) Format is a format for exchanging structured data between tools. The ATerm format is a generic internal and external representation ...

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

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

ANTLR: ANother Tool for Language Recognition Features ANTLR is a parser generator. Generates Java, C#, or C++ code. Accepts the class of LL(k) grammars Produces recursive ...

TOC Hello release From Boomerang's test/windows/hello release.exe (I had to force the entry point): Original source code: LRESULT CALLBACK WndProc(HWND hWnd, UINT ...

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

CC Compiler Construction, a series of conferences. The 2001 version is to be held as part of ETAPS'01 CategoryConference

IEEE-CS/ACM Computing Curricula: Software Engineering. Part of the IEEE/ACM Computer Curriculum activity, aimed at developing the software engineering volume. Computer ...

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

About the language The C Programming Language, Second Edition Brian Kernighan Dennis M. Ritchie Compilers http://gcc.gnu.org/ Tools for transformation of C programs ...

This Claudio's own research home page. Soon I will upload my papers to this page! Claudio Riva test whether this works!

Fact extractors for C++: AcaCia ColumbusCAN cppx TkSeeSN vacppparse http://www.gccxml.org XML output extension to the C++ front-end to GCC. It produces an XML representation ...

dcc is a research decompiler, written as a proof of concept for Cifuentes' PhD thesis. A complete distribution of dcc (executable, source, tools to generate signatures ...

TOC The tests performed here are downloaded from the file test.zip, part of the dcc distribution. It should be remembered that these tests were therefore chosen to ...

RESUME MAURICE HOWARD HALSTEAD BA University of California, Berkeley 1940 MS U. S. Naval academy1 pas (Annapolis) 1943 PhD Johns Hopkins (Baltimore) 1951 PROFESSIONAL ...

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

The Boomerang Decompiler and Tests Boomerang is an attempt at a complete, retargetable decompiler for native executable programs, released under a BSD style (open ...

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

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

SourceTec Java Decompiler Simple Tests SourceTec, also known as Jasmine, is an old decompiler; in fact it's a patch to Mocha, probably the very first Java decompiler ...

The Andromeda Decompiler is not available to the public at present, so the only example of its use is usually limited to the very impressive demo program. I asked ...

This is another test from the paper "Decompiling Java Bytecode: Problems, Traps and Pitfalls", Figure 5. The source code as adapted to C# is: using System; class Foo ...

This is another test from the paper "Decompiling Java Bytecode: Problems, Traps and Pitfalls", Figure 5. The source code is: public int foo(int i, int j) { while ...

These Fibonacci (286) and Palindrome results are from David's masters theses, Figure 5.2. The other tests are using the 20030507 binary of the desquirr plugin, as ...

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

This is the Jasmin (essentially Java "assembly language") source code for the exceptions decompiler test. It is an attempt at the test program from Figure 6 of the ...

Reverse Engineering Compiler (REC) Tests Some simple tests were performed on REC 1.6 for Linux. TOC Fibo/286 This test file is the same one used to test the 286 decompilers ...

The paper "Decompiling Java Bytecode: Problems, Traps and Pitfalls" contains a small but important test program (adapted from a concatenation of 4 Java source files ...

The paper "Decompiling Java Bytecode: Problems, Traps and Pitfalls" contains this small but important test program (concatenation of 4 Java source files): public class ...

PhilipWadler. Deforestation: Transforming Programs to Eliminate Trees. European Symposium on Programming (ESOP'88) , Nancy, France. Lecture Notes in Computer Science ...

The European Joint Conferences on Theory and Practice of Software (ETAPS) is a loose and open confederation of existing and new conferences and other events that has ...

Homepage: http://www.gnu.org/software/gcc/ The GNU Compiler Collection

A transformation framework for ANSI C and C with GCC extensions implemented in ANTLR. Included is a complete ANSI C lexer, GNU C lexer, ANSI C parser, GNU C parser ...

Conferences, workshops, and other events related to Generative Programming Calendar The events are ordered reverse chronologically. Feel free to add missing events ...

Georgia Tech, College of Computing, http://www.cc.gatech.edu/ Topics: SoftwareVisualization SoftwareEvolution ProgramUnderstanding ReverseEngineering

Hacker Disassembling Uncovered, Kris Kaspersky. A-List Publishing, 2003. ISBN: 1931769222, 584pp, soft cover. The book is divided into two parts. Part 1 is "Getting ...

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

History of Decompilation (2000-present) #TopicAsm21toc University of London's Asm21toc reverse compiler, 2000. This assembly language decompiler for Digital Signal ...

ICON is a high-level programming language Resources http://www.cs.arizona.edu/icon/ http://www.nmt.edu/tcc/help/lang/icon/references.html Main.EelcoVisser 20 Feb ...

International Federation for Information Processing http://www.ifip.or.at/ Annual IFIP World Computer Congress: http://www.wcc2002.org/en/index.html

Description An island grammar only precisely defines small portions of the syntax of a language. The rest of the syntax is defined imprecisely, for instance as a ...

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

JavaCC (Java Compiler Compiler) is the most popular parser generator for use with Java applications. Website: https://javacc.dev.java.net/

For most parser generators there exists a grammar for the Language. Overview: SableCC 1.0.2 1.1 1.4 JavaCC 1.5 ANTLR: Parsers, Part III: A Parser For The Java Language ...

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

contactinformatie: Matthias van Mourik (mmourik@cs.uu.nl) Vincent van Harmelen( vharmele@cs.uu.nl) projectomschrijving: argouml uitbreiden zodat de omzetting van ...

Homepage: http://www.cs.purdue.edu/jtb/ JTB is a syntax tree builder to be used with the Java Compiler Compiler (JavaCC) parser generator. JensPalsberg

Homepage: http://www.cs.wvu.edu/~callahan/ NewJacc CategoryPeople

Journal of Systems and Software http://www.elsevier.nl/locate/jss On line at: http://www.sciencedirect.com/science? ob JournalURL cdi 5651 auth y acct C000040419 version ...

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

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

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

Lua the Programming Language Lua is a powerful light-weight programming language designed for extending applications. Lua is also frequently used as a general-purpose ...

I have gathered a few tests for machine code decompilers. It's nowhere near as comprehensive as the JavaDecompilerTests. dcc tests REC tests Exe-2-c tests Boomerang ...

Decompilation of machine code programs usually requires a general approach. This approach analyses the semantics of the executable, and from this derives an equivalent ...

Meta-AspectJ (MAJ) allows the generation of AspectJ code in concrete syntax of AspectJ. Since AspectJ is a superset of Java, it can also be used for Java code generation ...

MixedCC (Mixed Compiler Compiler) is a generic parsing engine and parser generator. It is LL(1) capable of parsing and handling of inner layer stacks in multi-layer ...

The goal of the Morale project from GeorgiaTech is to facilitate SoftwareEvolution of LegacySystems. Facilitation takes the form of improved quality by requirements ...

Homepage: http://www.cs.wvu.edu/~callahan/software.html a parser generator system built upon Sun Microsystems JavaCC tool and the PurdueUniversity Java Tree Builder ...

Compilation is a form of synthesis in which a program in a high-level language is transformed to machine code. This translation is usually achieved in several phases ...

This is a collection of links to programming environments, either specific to a language or platform, or generic; either integrated or composed of command-line tools ...

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

SpencerRugaber and LindaWills. Creating a research infrastructure for reengineering. In 3d Working Conference on Reverse Engineering, WCRE, 1996. http://www.cc.gatech ...

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

https://sourceforge.net/projects/relipmoc The relipmoC decompiler translates i386 assembly language programs to C (the assembly language must have been generated with ...

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

In 1990, ElliotChikofsky and JamesCross published Reverse Engineering and Design Recovery: A Taxonomy , IEEE Software 7(1):13-17, 1990. http://doi.ieeecomputersociety ...

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

http://www.backerstreet.com/rec/rec.htm REC, a Reverse Engineering Compiler by Giampiero Caprino (gcaprino@katamail.com), is a portable decompiler which supports a ...

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

The original specification was posted in the Rigi mailing list (now defunct): http://www.rigi.csc.uvic.ca/list-archives/rigi-developer-archive/2000-02-10-15.26.16 ...

Maintainer MerijnDeJonge Description During a project in cooporation with Lucent Technologies, we used XT to re-engineer an SDL grammar from an operational YACC grammar ...

SableCC is a compiler compiler framework for Java. Features: produces LALR(1) parser generation of strictly-typed abstract syntax trees generation of tree-walker classes ...

Chapter 5 of the SWEBOK guide defines testing as follows: Software testing consists of the dynamic verification of the behavior of a program on a finite set of test ...

Spencer Rugaber, GeorgiaTech, Atlanta Topics: ReverseEngineering ProgramUnderstanding See http://www.cc.gatech.edu/fac/Spencer.Rugaber/ CategoryPeople

A translator (typically a compiler) which performs its transformations before the program is run. Usually, the translator is unaware of any dynamic aspects of the ...

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

Conferences and Workshops on Program Transformation Transform-based Events Events with their home page on this wiki. Feel free to use this wiki to host the webpage ...

A program transformation system is a (collection of) tool(s) for implementing ProgramTransformations. Survey of Transformation Systems There are many transformation ...

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

YAXX an extension to YACC grammar parser Bison, capable of output syntax tree into an XML document and its corresponding DTD rules. http://sourceforge.net/projects ...

YACC is a grammar formalism and parser generator. The class of context-free grammars accepted by YACC is LALR(1) with disambiguating rules.

A Term Pattern-Match Compiler Inspired by Finite Automata Theory by MikaelPettersson In International Workshop on Compiler Construction (CC'92) LNCS 641, SpringerVerlag ...

Officers Chair: Tijs van der Storm Vice-Chair: Heather Miller Secretary: Jonathan Edwards Members Name Affiliation Country Member Since Jonathan Aldrich Carnegie ...

Dates: Sunday, June 1 Friday, June 6, 2014 Venue: Skamania Lodge, near Portland, Oregon Host: Andrew Black Skamania Lodge I have made arrangements for five nights ...

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