Eating our own dog food: DSLs for generative and transformational engineering Joint Keynote with SLE Jim Cordy, School of Computing, Queen's University, Kingston ...
Rishiyur S. Nikhil is co-founder and CTO of Bluespec, Inc., which develops tools that dramatically improve correctness, productivity, reuse and maintainability in ...
Using GPCE Principles for Hardware Systems and Accelerators (bridging the gap to HW design) Rishiyur S. Nikhil, Ph.D. CTO, Bluespec Inc. Moore's Law has precipitated ...
Ralf L mmel is Professor of Computer Science at University of Koblenz-Landau. In his career, he also served at Microsoft Corp., Free University of Amsterdam, Dutch ...
Project Fortress: A Growable Language for Scientists and Engineers Sukyoung Ryu Abstract We can think of a programming language as a vocabulary of words and a set ...
(Mega)modeling Software Language Artifacts Jean-Marie Favre, Dragan Gaševi #263;, Ralf Lämmel Description Modern software is typically made of heterogeneous sets ...
Embedded Domain-speci #64257;c Language Implementation using Dependent Types Edwin Brady Abstract Domain-speci #64257;c languages (DSLs) are programming languages ...
Agile and Ef #64257;cient Domain-Speci #64257;c Languages using Multi-stage Programming in Java Mint Mathias Ricken, Edwin Westbrook, Walid Taha Abstract Domain-specific ...
Ontologies and Software Language Engineering Dragan Gaševi #263;, Fernando Silva Parreiras, Tobias Walter Abstract Trying to advance the current practices for sharing ...
Language Definition and Extension with MPS Markus Völter Abstract Language definition and extension is a hot topic. Using modular languages, where a program can use ...
TOC Getting Started To start a proper shell and initialize your path, run the following commands. ( martin is on purpose. Don't change the username to your own account ...
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 ...
TWiki.Octave Web Preferences The following settings are web preferences of the TWiki.Octave web. These preferences overwrite the site-level preferences in TWIKIWEB ...
Statistics for TWiki.Octave Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Oct 2016 1279 ...
INCLUDE{ConferenceHeader} PEPM Proceedings is available for free download from ACM DL during the POPL week! News INCLUDE{WebNews} INCLUDE{AimsAndTopics} Follow this ...
INCLUDE{ConferenceHeader} PEPM Proceedings will be available for free download from ACM DL during the POPL week! News INCLUDE{WebNews} INCLUDE{AimsAndTopics} Follow ...
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 ...
There is no stable release of PHP-Sat (yet). Check the road map for the current status of the 0.1 release. You can always download, install and try the latest version ...
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 pr-department proudly presents the following list of activities. Talks PHP-sat has been the subject of the following talks: 2006-11-09: Software Technology Colloquium ...
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 ...
SDF Home About Documentation Download Grammars Related Software Community Contributors Publications Applications Mailing Lists License Development Tools API
Menu Home Documentation FAQ Screenshots Community Contributing ReleaseNotes OpenSource Development API Continuous build Bugs DevelopmentTools Technologies (under ...
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 ...
INCLUDE{WebNews} SDF is a language for defining syntax. It provides for an unprecedented level of conciseness in syntax definitions. First, syntax can be defined ...
SDF Home About Documentation Publications Download Grammars Users Applications Mailing Lists ASF+SDF Users Day Stratego Users Day Development Organization Reporting ...
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 ...
Spoofax: ontwikkeling van domein-specifieke talen in Eclipse Zie ook de sessiebeschrijving op de devnology website. Installatie Installeer voor deze sessie een van ...
Supporting material and documentation: A Tour of Spoofax/IMP (recommended) Example projects Test-Driven Language Development with Spoofax Frequently Asked Questions ...
Example eclipse.ini file, taken from an OS X system: startup ../../../plugins/org.eclipse.equinox.launcher 1.1.0.v20100507.jar launcher.library ../../../plugins/org ...
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 ...
Spoofax is an Eclipse-based platform developing textual domain-specific languages with IDE support. Submission The submission to LWC 2011 is available as a PDF file ...
The NWL Editor Based on the WebDSL language, !NWL is a pedagogical language definition created with Spoofax/IMP. In addition to !NWL, Spoofax/IMP also comes with ...
Introduction The semantic index is a set of stratego libraries, java primitives and editor extensions that provide a language-parametric framework for doing name ...
Spoofax 1.1 released February 15, 2013 NaBL name binding language Q A on YellowGrass Download Update sites changed: http://download.spoofax.org/update/stable for ...
Spoofax works best with a clean Eclipse Classic 3.7.2, download and install it here: http://www.eclipse.org/downloads/packages/eclipse-classic-372/indigosr2 Inside ...
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 ...
The Spoofax Language Workbench Spoofax is a platform for developing textual domain-specific languages with full-featured Eclipse editor plugins. With the Spoofax/IMP ...
E. Visser and Z.-e.-A. Benaissa. A core language for rewriting. In C. Kirchner and H. Kirchner, editors, Second International Workshop on Rewriting Logic and its Applications ...
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 ...
AspectStratego is an extension to the Stratego language for dealing with cross-cutting, separate concerns. It may be downloaded from the build farm or SVN. It is planned ...
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 ...
CodeBoost is a tool for source-to-source transformation and optimisation of C++ programs. It is intended to be used as a testbed for various high-level optimisations ...
The EBNF package is a StrategoApplication developed to illustrate the basic concepts of transformation with rewriting strategies. The package has a single source directory ...
exp-tools is a transformation tool package containing all basic features found in a package for a more complex language than expressions (for example xml-tools). It ...
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 ...
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 Introduction Jimple-front defines the syntax of Jimple, the typed 3-address representation of Java bytecode of the Soot Java optimization framework. This representation ...
for the Stratego Tutorial at ETAPS 2002 language constructs: overview of topics covering constructs of the language Glossary: explanation of terminology Card data ...
Overview About the Stratego transformation language Stratego/XT combines the Stratego language and the XT tools Documentation Overview of the available documentation ...
TOC Introduction Extensible Compilers. Many extensible compilers and programming languages allow the syntax of a base language to be extended to introduce new syntactic ...
The prolog-tools package provides basic support for processing Prolog programs. The package provides a syntax definition, pretty-printer, and signature for the language ...
Introduction The query-compiler package is a set of tools for the inspection of the process of query compilation. It shows how a SQL query is parsed, desugared, translated ...
Introduction The RelationalAlgebra package defines an syntax for relational algebra, a presentation of relational algebra in MathML and optimization of relational ...
RhoStratego is a functional language supporting first-class rules and generic traversal. Download The following releases are available: rhostratego-0.1.tar.bz2 The ...
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 ...
under construction Main.MartinBravenboer 23 Jul 2003 The samples-net-xml package is a bundle of server-side and client-side example applications using the xml and ...
Strategic Pattern Matching is a paper about extending standard first-order term pattern matching using strategies to define complex patterns. Specifically it describes ...
INCLUDE{WebNotice} The language is being used in applications in various areas of program transformation. This page lists some examples. Feel free to create a page ...
INCLUDE{WebNotice} Stratego is a language for program transformation and XT is a collection of tools for building and generating program transformation components ...
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 ...
This page contains a complete overview of all releases of Stratego. Not all distributions are still available from the server. However, all distributions since 0.4 ...
Stratego 0.8.1 Contents of the Distribution The StrategoDistribution contains the complete sources of the StrategoCompiler, StrategoScript and the standard library ...
This page contains a complete overview of all releases of Stratego. Not all distributions are still available from the server. However, all distributions since 0.4 ...
Since its always interesting to see how ideas develop, this page contains a reconstruction of the development of StrategoLanguage and its implementation. March 1997 ...
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 ...
TOC stratego-net is a package you can use to implement CGI based services or access a service at a certain URL using HTTP. Scenarios : write an Tools.ATermService ...
Introduction Stratego Regular is a package of tools for working with tree languages. A tree language is a set of trees define by a tree grammar. Stratego Regular ...
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 October 04, 2004 Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or RPMs. Source tar ...
Stratego/XT 0.13 released January 13, 2005 Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs ...
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.15 released July 5, 2005 This is an experimental release featuring a refactoring of the internals of the language definition and compiler. Please report ...
Stratego/XT 0.16 released November 4th, 2005 RED Warning: ENDCOLOR This release has known issues with recent GCC 4.x, GNU Make 3.81, Mac OS X, and operating systems ...
Stratego/XT STRATEGOXTVERSION released August 31st, 2005 Download See the installation instructions if you are not familiar with the standard installation procedure ...
Stratego/XT 0.17 released July 2009 Known issues On 64 bit systems, parsing using SGLR (which is used in many Stratego programs) can result in SEGV due to limited ...
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 ...
Stratego version 0.6.2 is now available from StrategoDownload released: October 6, 2001 SUMMARY OF CHANGES (with respect to release 0.6) CONTRIBUTIONS Bug reports ...
Available from StrategoDownload New features TermWrap TermProject Release Announcement Version 0.6.3 released: November 26, 2001 SUMMARY OF CHANGES (with respect to ...
Stratego 0.6.4 is now available from http://www.stratego-language.org The release fixes a "fikse bug in Stratego!!" in the translation of Strategy Rules (rules of ...
Stratego version 0.7 is now available. Main.EelcoVisser 13 Mar 2002 New in 0.7beta FixedLengthTuple ListConstructor ListTraversal PairConstructor New in 0.7beta1 ...
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.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 March 26, 2004 Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or RPMs. Source tar ...
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 ...
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 ...
TOC Introduction TigerContract is an experimental package which implements a TigerCompiler with contract support. The main purpose is to understand what contracts ...
WEBLOGODISPLAY Home Documentation Language Research Papers Applications Download Continuous build Extensions Support Mailing lists IRC Users Days Bug Reports Developers ...
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 ...
Statistics for TWiki.Stratego Web Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Apr ...
Main.MerijnDeJonge, Main.EelcoVisser and Main.JoostVisser. XT: a bundle of program transformation tools. In Tools.MarkVanDenBrand and Transform.DidierPerigot, editors ...
TOC Introduction XWeb is a generic template-based transformation demonstration service; it's implemented as a CGI application. The current version contains a demo ...
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 ...
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 ...
Dragon Skin TWiki:Plugins.DragonSkinDev has development-related information. Dragon skin (named after the logo on the site it was developed for) is intended to provide ...
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 ...
FAQ: TWiki has a GPL (GNU General Public License). What is GPL? Answer: TWiki is distributed under the GNU General Public License, see TWikiDownload. GPL is one of ...
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 ...
Interwiki Plugin The InterwikiPlugin links ExternalSite:Page text to external sites based on aliases defined in the TWIKIWEB .InterWikis topic. This plugin is inspired ...
Main Features of TWiki Any web browser: Edit existing pages or create new pages by using any web browser. There is no need to upload pages. Edit link: To edit a page ...
STARTINCLUDE Pattern skin PatternSkin is developed to provide a CSS based default look and feel for TWiki flexible and W3C-compliant. Its layout and color scheme ...
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 Smilies Plugin :-) Smilies are common in e-mail messages and bulletin board posts. They are used to convey an emotion, such as a smile :-) or a frown :-( . This ...
TWiki Spreadsheet Plugin This Plugin adds speadsheet capabilities to TWiki topics. Formulae like CALC{"$INT(7/3)"} are evaluated at page view time. They can be placed ...
FAQ: I would like to install TWiki on my server. Can I get the source? Answer: TWiki is distributed under the GnuGeneralPublicLicense. You can get the source from ...
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 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 ...
Table Plugin Gives extra control of table display: Allows sorting Changing table properties like border width, cell spacing and cell padding Changing background color ...
Welcome to TWiki: a flexible, powerful, secure, yet simple web-based collaboration platform. Use TWiki to run a project development space, a document management system ...
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 ...
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 ...
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 ...
The TigerCompiler consists of four CompilerPackages. Download each of these packages. Installing Tools.XT To use the TigerCompiler packages you need an installation ...
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 TigerXmpl package provides a directory with example Tiger programs and a makefile for testing the various TigerCompiler components. The makefile imports make-rules ...
Tiger in Stratego An Experiment in Compilation by Transformation Tiger in Stratego is a framework for implementing a compiler for the language in the program transformation ...
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 The `dbs' package implements an open framework for daily-builds (i.e. regular performed builds to continuously verify the consistence of all parts of ...
JJForester is a combined parser generator, tree builder, and visitor generator for Java. Its features include: Sdf.GeneralizedLR parsing, using the Sdf.SGLR parse ...
Downloading JJForester via the Online Package Base The JJForester software package is available from the Online Package Base at: http://www.program-transformation ...
Version 0.7 and higher See JJForesterDownload for a detailed description. Version 0.6 JJForester now supports Transform.VisitorCombinators. These are implementations ...
JJTraveler is a generic visitor combinator framework. Documentation Generated documentation of JJTraveler can be found at: http://www.cwi.nl/~jvisser/doc/jjtraveler ...
This project is obolete, please checkout: KoalaCompiler Description The Koala-tools package is a collection of tools operating on the Koala component definition language ...
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 ...
Statistics for TWiki.Tools Web Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Feb 2008 ...
Components of xml-front XML syntax definition in SDF concrete syntax for XML in Stratego xml-info language for the representation of XML documents in ATerms STARTINCLUDE ...
TOC Introduction RED This packages is not being maintained at the moment. Some parts of it have been mvoed to xml-front, which is now part of StrategoXT. Maybe the ...
After version 1.0 the distribution of XT has been merged with the distribution of Stratego. This distribution is called Stratego.StrategoXT. See Stratego Download ...
XT 1.0 Download version 1.0 of XT: http://www.stratego-language.org/ftp/XT-1.0.src.tar.gz XT 1.0 is a collection of the following packages: aterm-1.6.7 from http ...
A new revision of this paper is available under the title Survey of Strategies in Rule Based Program Transformation Systems. Main.EelcoVisser 12 Mar 2004 Main.EelcoVisser ...
Web sites (all in Japanese): http://jdi.at.infoseek.co.jp/ "Anatomizer entrance" with legal matter http://jdi.at.infoseek.co.jp/japanese/index.plg Main page http: ...
http://www.bdasm.com/bdasm features.html BDASM by Manuel Jiménez. This is a relatively new disassembler (as of 2003). At present it supports Intel and Power Pc cpu ...
Transmeta's first processor the Crusoe (see their white paper) implements the pentium architecture on a VLIW processor. They have a few hardware assists, and the ...
While concentrating on research, this is also a miscellaneous page. The novel Low Level Virtual Machine (LLVM) http://llvm.cs.uiuc.edu/ is a product of the Lifelong ...
http://www.caesum.com/download.php Borg is a freeware disassembler for Windows 32-bit binaries (PE executables and DLLs), written to overcome some of the limitations ...
Columbus/CAN is a reverse engineering tool devloped by FrontEndART. It is available as a free download. The system extracts C++ (ISO/IEC standard C++, Microsoft and ...
Description The `dbs' package implements an open framework for daily-builds (i.e. regular performed builds to continuously verify the consistence of all parts of ...
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 ...
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 ...
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 ...
Dava Java Decompiler Tests These tests were performed on the Dava decompiler which comes with Soot 2.0.1. The author stated in early 2003 that there is a newer version ...
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 ...
Jad Java Decompiler Simple Tests TOC This page performs some tests on JAD version 1.5.8e. Output has been trimmed slightly for ease of comparison to the original ...
jAscii Java Decompiler Simple Tests NOTE: Jascii seems to have gone out of business at the end of 2003. I tested jAscii 1.0.20 from http://www.jascii.com. TOC Fibo ...
JODE open source Java Decompiler Simple Tests TOC Fibo For source, see DecompilerFiboTestSource. Decompiled source from JODE: / Fibo Decompiled by JODE Visit http ...
NMI Java Code Viewer This is a commercial bytecode to Java decompiler and disassembler. It runs under Windows only, even though it claims to have been written in ...
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 ...
Contact Arne de Bruijn arbruijn@students.cs.uu.nl Martin Bravenboer mbravenb@students.cs.uu.nl Presentation Slides for part 1: Introduction to reverse engineering ...
Disassembly Disassembly is the process of translating an executable program into its equivalent assembly representation. The greatest problem with disassembling is ...
http://www.debugmode.com/dcompile/disc.htm The disC page describes a crude decompiler for DOS Turbo C 2.0 and 2.01 programs. The source is free to download. The author ...
.NET Decompiler Comparison See Net Decompiler Tests .NET Decompilers Salamander is a commercial decompiler for .NET. The web page allows decompiling of moderately ...
Description FermaT is an industrial strength program transformation system targeted at reverse engineering, program comprehension and migration between programming ...
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 ...
This is my idea of how I would write a general decompiler: 1.Lets assume, we start with the assembler output of the disassemblers, which already contain the proper ...
Homepage: http://www.cl.cam.ac.uk/users/amp12/freshml/ FreshML is an extension of the programming language ML. The innovation of the language is the extension of ...
FrontEndART provides extractor front ends for the re/reverse engineering community in industry and academia. Our tools produce data that conform to a generally applicable ...
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 ...
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 ...
Frank Tip, Chris Laffra, Peter F. Sweeny, David Streeter. Practical Experience with an Application Extractor for Java . In Proceedings of the Fourteenth Annual Conference ...
http://pvdasm.reverse-engineering.net/ ProView is a Pentium disassembler, PE (Windows Binary) editor, hex rditor, process manager, and it has a Plugin SDK. The whole ...
Dongwon Lee, Murali Mani, Makoto Murata. Technical Report, IBM Almaden Research Center, RJ# 10197, Log# 95071 , November 16, 2000 Abstract A mathematical framework ...
The Rigi C parser, cparse , is no longer supported. However, you can still download cparse package; see RigiReleases. Kostas Kontogiannis has kindly written down his ...
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 ...
Information if you are new to Rigi: Purpose Rigi is a ReverseEngineering environment. It consists of a set of tools: parsers, command-line utilities, and an interactive ...
All official releases are downloadable at http://www.rigi.csc.uvic.ca/Pages/download.html Rigi is released in several packages. RigiEdit Package The only package that ...
This is a page with links to scheduling software. This is not really related to program transformation. Collections http://linas.org/linux/pm.html overview of tools ...
Makoto Murata, Dongwon Lee and Murali Mani Abstract Taxonomy of XML Schema Languages using Formal Language Theory On the basis of regular tree languages, we present ...
Template Haskell Website Template Haskell at the Haskell Wiki Implementation Template Haskell is available in GHC 6.0 Publications Papers on Template-Haskell Template ...
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 ...
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 ...
Publications An extensible system for domain-specific aspect languages Macneil Shonle, Karl Lieberherr, Ankit Shah Companion of the 18th annual ACM SIGPLAN conference ...
WEBLOGODISPLAY Home Documentation Language Research Papers Applications Download Integration build Continuous build Extensions Ftp Support Mailing lists IRC Users ...
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: ...
Statistics for TWiki.WebDSL Web Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Feb 2008 ...