Searched: Documentation[^A-Za-z]
Results from BX12 web
The following contributions were selected (out of 15 submissions) for presentation at the workshop: Anthony Anjorin, Gergely Varro and Andy Schürr. Complex Attribute ...
PEPM has a special category of papers called tool demo papers. The main purpose of a tool paper is to display other researchers in the PEPM community a completed, ...
HistoricalStatistics for TWiki.BX12 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...

Number of topics: 3
Results from Book web
Statistics for TWiki.Book Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb 2008 1100 ...

Number of topics: 1
Results from CC web
Statistics for TWiki.CC Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Notes: Do not edit ...

Number of topics: 1
Results from Compare web
Statistics for TWiki.Compare Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Sep 2013 649 ...

Number of topics: 1
Results from GPCE06 web
Statistics for TWiki.GPCE06 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb 2010 2995 ...

Number of topics: 1
Results from GPCE08 web
Statistics for TWiki.GPCE08 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb 2010 2962 ...

Number of topics: 1
Results from GPCE09 web
Statistics for TWiki.GPCE09 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb 2010 3839 ...

Number of topics: 1
Results from GPCE10 web
HistoricalStatistics for TWiki.GPCE10 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...

Number of topics: 1
Results from GPCE11 web
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 ...
INCLUDE{ConferenceHeader} Image used under GNU FDL. News INCLUDE{WebNews} Registration is at Salon Foyer (Hilton Executive Tower, downstairs) Presentations are in ...
HistoricalStatistics for TWiki.GPCE11 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...

Number of topics: 3
Results from GPCE12 web
INCLUDE{ConferenceHeader} News INCLUDE{WebNews} Generative and component approaches are revolutionizing software development just as automation and componentization ...
HistoricalStatistics for TWiki.GPCE12 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...

Number of topics: 2
Results from GPCE13 web
INCLUDE{ConferenceHeader} Recent news We received a large number of high-quality submissions this year and accepted 20 out of 57 submitted papers, for an acceptance ...
HistoricalStatistics for TWiki.GPCE13 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...

Number of topics: 2
Results from GPCE14 web
INCLUDE{ConferenceHeader} Recent news Generative and component approaches and domain-specific abstractions are revolutionizing software development just as automation ...
HistoricalStatistics for TWiki.GPCE14 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...

Number of topics: 2
Results from Gmt web
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 ...
FUUTje Documentation 1 FuutBuild (Building FUUT tool) FUUTje Tool Open Discussions 1 FuutDependencies (discussion of FUUTje tool internal and external dependencies ...
Distributed version should have collection: Eclipse plugins Stand alone components Documentation Source and build script for source distribution Main.MarkKofman ...
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 ...
Statistics for TWiki.Gmt Web Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Feb 2008 ...

Number of topics: 5
Results from Gpce web
Statistics for TWiki.Gpce Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb 2010 2227 ...

Number of topics: 1
Results from Gpce03 web
Statistics for TWiki.Gpce03 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb 2010 1871 ...

Number of topics: 1
Results from Gpce04 web
Statistics for TWiki.Gpce04 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb 2010 4529 ...

Number of topics: 1
Results from Gpce05 web
Statistics for TWiki.Gpce05 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb 2010 2616 ...

Number of topics: 1
Results from Gpceorg web
Statistics for TWiki.Gpceorg Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb 2010 0 ...

Number of topics: 1
Results from HART14 web
PEPM has a special category of papers called tool demo papers. The main purpose of a tool paper is to display other researchers in the PEPM community a completed, ...
HistoricalStatistics for TWiki.HART14 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...

Number of topics: 3
Results from IPA06 web
INCLUDE{"Trash.BlW" warn "off"} Home Lecture Material Lab Exercises Software Documentation Stratego/XT Manual Stratego Library Java Syntax Dryad Library Contact Mailing ...
Statistics for TWiki.IPA06 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb 2008 881 ...

Number of topics: 2
Results from Main web
TWIKIWEB .WelcomeGuest: TWiki is a web-based collaboration tool, web authoring tool, document management tool and knowledge base tool. You can edit any TWiki page ...
Statistics for TWiki.Main Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Jun 2011 5347 ...

Number of topics: 2
Results from Octave web
Packages Octave Frontend Octave Optimizer Octave Typechecker Octave to C++ Backend Developers Daily generated documentation (by xDoc) Roadmap going on Other useful ...
Prerequisites The following software is needed to compile the Octave Compiler Octave (version 2.1.61) Latest unstable StrategoXT Download The latest unstable release ...
November 15th 2004 New wiki! Started new wiki which should hold all the information about the Stratego Octave Compiler.
Octave Front is a front-end for the OCTAVELINK language. Contents Octave Front consists of the following end-user tools: pack-octave pp-octave Besides these tools ...
Contents The Optimizer implements several optimization on Octave code. The optimizations are implemented as source-to-source transformation, similar to the optimization ...
The Octave to C++ Backend is a C++ code generator. It performs the following translations, to .oct (linked function to C++ (standalone) The latest sources of the Octave ...
The Type Inferencer is a typechecker for the Octave language. Although the implementation has changed significantly, currently the ideas are only expressed in the ...
0.1 Generate loaded function (.oct file) from defined function 0.2 Support feval for user-defined functions
Home About News Documentation Bugs Download
Home About News Documentation Bugs Download
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 ...
2005 January 14th Refactored function specialization, so it can be reused is both the type inferencer and the Octave partial evaluator. In fact, it is already used ...

Number of topics: 13
Results from PEPM07 web
PEPM has a special category of papers called tool demo papers. The main purpose of a tool paper is to display other researchers in the PEPM community a completed ...
Statistics for TWiki.PEPM07 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb 2008 2336 ...

Number of topics: 2
Results from PEPM08 web
PEPM has a special category of papers called tool demo papers. The main purpose of a tool paper is to display other researchers in the PEPM community a completed, ...
Statistics for TWiki.PEPM08 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb 2008 2643 ...

Number of topics: 2
Results from PEPM10 web
The following papers (in no particular order) will be presented at the workshop. Regular research papers: Christopher Brown and Simon Thompson. Clone Detection and ...
PEPM has a special category of papers called tool demo papers. The main purpose of a tool paper is to display other researchers in the PEPM community a completed, ...
HistoricalStatistics for TWiki.PEPM10 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...

Number of topics: 3
Results from PEPM11 web
PEPM has a special category of papers called tool demo papers. The main purpose of a tool paper is to display other researchers in the PEPM community a completed, ...
HistoricalStatistics for TWiki.PEPM11 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...

Number of topics: 2
Results from PEPM12 web
PEPM has a special category of papers called tool demo papers. The main purpose of a tool paper is to display other researchers in the PEPM community a completed, ...
HistoricalStatistics for TWiki.PEPM12 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...

Number of topics: 2
Results from PEPM13 web
PEPM has a special category of papers called tool demo papers. The main purpose of a tool paper is to display other researchers in the PEPM community a completed, ...
HistoricalStatistics for TWiki.PEPM13 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...

Number of topics: 2
Results from PEPM14 web
PEPM has a special category of papers called tool demo papers. The main purpose of a tool paper is to display other researchers in the PEPM community a completed, ...
HistoricalStatistics for TWiki.PEPM14 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...

Number of topics: 2
Results from PHP web
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 ...
Syntax definition The syntax definition can be browsed online: PHP4 syntax definition PHP5 syntax definition The syntax definition of the PHP versions identify which ...
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 ...
PHP-Sat is always on the lookout for developers. If you are interested in working on PHP-Sat there are a couple of things that can come in handy. The source of the ...
TOC Installation The installation process is the same as for PHP-Front. Usage Getting started with PHP-Sat PHP-Sat configuration explained Development If you want ...
TOC Analyzing a file After you have installed php-sat you can run it by typing: php-sat h If this command does not produce a list of all the options that are available ...
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 pretty printer that comes with PHP is designed to pretty print an AST-representation of a PHP-program according to a set of rules. It is not designed to return ...
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 Download Documentation Bugpatterns Quality Origin Name PHP-front Download Documentation Quality Origin PHP-tools Support Mailing lists IRC Issues Developers ...
Statistics for TWiki.PHP Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb 2008 3910 0 ...

Number of topics: 13
Results from Sandbox web
Statistics for Sandbox Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb 2008 1239 1 0 ...

Number of topics: 1
Results from Sdf web
The SDF open-source software license (BSD) Copyright (c) 2002-2007, CWI All rights reserved. Redistribution and use in source and binary forms, with or without modification ...
The source code of SDF is split in several components. Each component implements the same build interface, and adheres to certain coding standards. Programming environment ...
SDF is used by many individuals for many different purposes. This page lists the original applications of SDF and some of its premier applications. The SDF syntax ...
Download Documentation
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
Main.paulk

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 ...
Statistics for TWiki.Sdf Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Dec 2007 4149 0 ...

Number of topics: 9
Results from SdfBackup? web
The SDF syntax definition formalism is applied in two projects related to meta programming: the ASF+SDF Meta-Environment and Stratego/XT. Companies and researchers ...
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 ...
Statistics for TWiki.SdfBackup Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb 2008 ...

Number of topics: 4
Results from Spoofax web
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 ...
Supporting material and documentation: A Tour of Spoofax/IMP (recommended) Example projects Test-Driven Language Development with Spoofax Frequently Asked Questions ...
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 ...
Introduction The semantic index is a set of stratego libraries, java primitives and editor extensions that provide a language-parametric framework for doing name ...
Documentation INCLUDE{Documentation} Open Issues We maintain a bugtracker with open issues at YellowGrass.org, but if you run into any issues you can also directly ...
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 ...
Spoofax Home Tour and screenshots Documentation Download Research Development Support
Statistics for TWiki.Spoofax Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Notes: Do not ...

Number of topics: 8
Results from Stratego web
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 Description The bibtex-tools package provides components for processing BibTeX files, mainly for producing publication lists in PDF and HTML automatically from ...
This page collects references to language constructs in other languages that have some commonalities with dynamic rewrite rules. Dynamically Scoped Variables in Lisp ...
xDoc: generate documentation for Stratego specifications General Rob Vermaas is working at the moment on xDoc. Examples of generated documentation can be found at ...
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 ...
Monday Stratego Development 9:00 Eelco Visser Stratego/XT in 2003 Program Overview StrategoCompiler Announcement: C transformation system 10:00 Martin Bravenboer ...
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 ...
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 ...
in Stratego: a Stratego program that prints its own source
This is an overview of the most horrible Stratego code that has been written. Feel free to add your own code! ;) Tuples and Concrete Object Syntax If you don't want ...
The handouts are currently not available; more recent material is available from the documentation page. Main.EelcoVisser 08 Nov 2006 Handouts for the Tutorial ...
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 ...
From StrategoXT 0.11 the Stratego Runtime creates libraries using Libtool. This means that both static and shared libraries are constructed (on platforms that support ...
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 ...
Naming conventions are important in any platform. If the naming conventions are followed in the library and by the developers of a project, you can remember the name ...
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 ...
The prolog-tools package provides basic support for processing Prolog programs. The package provides a syntax definition, pretty-printer, and signature for the language ...
This page provides the tentative scheduling for future releases of StrategoXT. See PastReleases for an overview of the development of StrategoXT. Note that except ...
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 ...
February 8, 2001, Universiteit Utrecht The proceedings are now available http://www.cs.uu.nl/~visser/ftp/SUD01.ps.gz http://www.cs.uu.nl/~visser/ftp/SUD01.ps.zip SecondStrategoUsersDayProgram ...
Second Stratego Users Day February 8, 2001, Universiteit Utrecht www.stratego-language.org Program 10:00 coffee 10:15 opening Session 1: Language Design (chair Main ...
November 30 and December 1, 2006 Delft University of Technology Delft, The Netherlands TOC Scope The Stratego User Days are a yearly meeting of Stratego/XT developers ...
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 ...
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 ...
Delft University of Technology The Program Transformation project of the Software Engineering Research Group at the Delft University of Technology takes care of most ...
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} Stratego is a language for program transformation and XT is a collection of tools for building and generating program transformation components ...
Q: Can I get Stratego/XT running on Windows? A: We do not currently provide a pre-built binary of 0.17 on Windows at the moment. You can compile Stratego/XT on Windows ...
Since its always interesting to see how ideas develop, this page contains a reconstruction of the development of StrategoLanguage and its implementation. March 1997 ...
INCLUDE{WebNotice} Stratego is a small and efficient domain-specific language for program transformation. It is based on the paradigm of programmable rewriting strategies ...
This is an overview of topics covering the various constructs in the language. This is a subset of the glossary, which also lists concept, advice, design and tool ...
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 ...
INCLUDE{WebNotice} Full bibliography of Stratego Bibliography of Stratego/XT related publications at researchr by year and type strategoxt.bib Overview transformation ...
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 ...
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.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 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 ...
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.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 March 26, 2004 Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or RPMs. Source tar ...
This is a fact a slogan written on a shirt a reminder of the central role of rules in Stratego ? Main.EelcoVisser 10 Mar 2004
Tools in stratego-tools: Stratego Tools in StrategoXT 0.10 contains a new tool, pp-stratego-latex-alltt. This tool is useful for including Stratego code in publications ...
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 ...
This page lists ideas for programming utilties for Stratego programmers. StrategoDebug xDoc generate documentation for Stratego specifications Shell interactive ...
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 ...
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 ...
On May 3, 2002 the ThirdStrategoUsersDay was held at Utrecht University. During the day seven presentations about features or applications of Stratego were given. ...
Things to do are now tracked in our issue tracking system: Issues in our issue tracking system Old to do items There are many ways in which to improve and extend the ...
Documentation for version 0.4.x of Stratego (2000) not up to date with latest version. The StrategoTutorial HTML PostScript Explains how to get started using Stratego ...
WEBLOGODISPLAY Home Documentation Language Research Papers Applications Download Continuous build Extensions Support Mailing lists IRC Users Days Bug Reports Developers ...
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 ...
Note that Stratego is now part of the Spoofax Language Workbench, which provides an Eclipse plugin for developing SDF and Stratego, and creating Eclipse IDE plugins ...
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 ...
Rob B. Vermaas. xDoc. An extensible documentation generator. MSc Thesis INF/SCR-03-41. Center for Software Technology, Institute of Information and Computing Sciences ...
The style guide for writing Javadoc comments is a useful starting point for a style guide for writing xDoc comments for Stratego. this guide should be rewritten to ...
With the Stratego-xml syntax defintion you can use the ConcreteSyntax of XML syntax in the Stratego. The stratego-net samples package contains some examples of the ...
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 ...

Number of topics: 70
Results from Sts web
The proposal is to have several software transformation systems implement a Tiger compiler. Tiger resources The Tiger language reference is in the Transform.ModernCompilerImplementationInML ...
Statistics for TWiki.Sts Web Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Feb 2008 ...

Number of topics: 2
Results from TWiki web
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 ...
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 ...
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 ...
STARTINCLUDE ## Meta Data Rendering Various meta data can be stored in topics MetaDataDefinition This is rendered using the META variable. This is mostly used in ...
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 ...
Welcome to TWiki. This page assumes that you are a new user to TWiki, and that you've never heard of Wiki before. Here are the most important pages you should know ...
TWiki Contributor A TWiki contributor is a person devoting his/her time to contribute on the development of the Open Source project TWiki, hosted at http://TWiki ...
TWiki Documentation Graphics This is one way to create a library of common icons, accessible through user-defined TWikiVariables set in WebPreferences, or in TWikiPreferences ...
TWiki Reference Manual ( WIKIVERSION ) This page contains all documentation topics as one long, complete reference sheet. BR Doubleclick anywhere to return to the ...
Please bring your enhancement requests to TWiki:Codev.FeatureEnhancementRequest Related Topics TWikiHistory has a list of added features in TWiki. TWikiPlannedFeatures ...
Frequently Asked Questions About TWiki This is a real FAQ, and also a demo of one easily implemented knowledge base solution. See how it's done, click Edit . SEARCH ...
TOC STARTINCLUDE # TWiki::Func Module Documentation Official list of stable TWiki functions for Plugin developers Description This module defines official funtions ...
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 ...
Features requested, planned or under construction are listed at the TWiki development home TWiki:Codev.WebHome Related Topics TWikiHistory has a list of added features ...
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 System Requirements Server and client requirements for TWiki 01-Sep-2004 Low client and server requirements are core features that keep TWiki ...
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 # 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 ...
## TWiki Upgrade Notes for Version 01 May 2000 If you are coming from a version earlier than the 01 May 2000 production release, please see TWikiUpgradeTo01May2000 ...
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 ...
To upgrade an earlier TWiki version like 01 Sep 1999 to version 01 May 2000 you should do the following things: Back up your system. Update the templates in the /templates ...
TOC STARTINCLUDE # TWiki User Authentication TWiki site access control and user activity tracking options TWiki does not authenticate users internally, it depends ...
Note: This topic is included by TWikiVariables STARTINCLUDE #VarNOTIFYTOPIC NOTIFYTOPIC name of the notify topic Syntax: NOTIFYTOPIC Expands to: NOTIFYTOPIC , renders ...
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 ...
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 ...
TWiki's TWiki web SCRIPTURL /view SCRIPTSUFFIX /TWiki The Documentation Web of TWiki. TWiki is a Web-Based Collaboration Platform for the Corporate World. INCLUDE ...
Statistics for TWiki Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Oct 2016 82928 0 0 ...
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 ...

Number of topics: 35
Results from Tiger web
Tiger ModernCompilerImplementation by Transform.AndrewAppel Stratego HpcSlides Stratego.StrategoDocumentation TigerCompiler documentation MIPS SpimSimulator Gentle ...
The MIPS architecture is a family of RISC computer architectures designed by Transform.MipsTechnologies. The SpimSimulator can be used to simulate MIPS assembly language ...
spim is a simulator for MIPS AssemblyCode written by Transform.JamesLarus. There are two versions of the program. spim provides a commandline interface and xspim ...
Statistics for TWiki.Tiger Web Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Feb 2008 ...

Number of topics: 4
Results from Tools web
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 ...
JJForester is a combined parser generator, tree builder, and visitor generator for Java. Its features include: Sdf.GeneralizedLR parsing, using the Sdf.SGLR parse ...
JJTraveler is a generic visitor combinator framework. Documentation Generated documentation of JJTraveler can be found at: http://www.cwi.nl/~jvisser/doc/jjtraveler ...
News May-2-2007. Version 0.3 of the koala compiler has been released. Checkout HowToObtainKoalaCompiler Description The Koala-compiler package forms an Open Source ...
This project is obolete, please checkout: KoalaCompiler Description The Koala-tools package is a collection of tools operating on the Koala component definition language ...
The documentation of GPP pretty-print tables is now part of the Stratego/XT manual: Generic Pretty Printing: Pretty Print Tables
autoxt autoxt installs makerules and autoconf macros for using XT tools strc strc stratego-front parse-stratego parses a Stratego module pp-stratego pretty-prints ...
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 ...
How to InstallXT Trash.HowToConnectParsersAndPrettyPrintersToYourStrategoPrograms HowToDefinePrettyPrintTables HowToObtainAbstractSyntaxTrees HowToPrettyPrintAGrammar ...

Number of topics: 12
Results from Transform web
Homepage: http://ase.informatik.uni-essen.de Conference on Automated Software Engineering Deadline: June Conference: November Description (from the call for papers ...
http://shulgaaa.at.tut.by The Andromeda Decompiler is still in development. At present, it will only run on Windows, and only decompile Windows-based programs to C ...
Homepage: http://www.bayfronttechnologies.com Provides CAPE tools for engineering communication protocols and other cooperating processes. (Provides documentation ...
http://www.ni.bekkoame.ne.jp/bilyzkid/us/ (was http://www.bilyzkid.com) Bilyzkid Co has a disassembler and decompiler for Windows (Intel). It claims to support 8086 ...
Building Documentation Generators ArieVanDeursen, TobiasKuipers. In Proceedings International Conference on Software Maintenance ( ICSM 99). IEEE Computer Society ...
COBOL stands for Common Business Oriented Language and is considered by many as a legacy language. It was designed by the CODASYL committee in 1957 and is the second ...
CodeBeamer from IntlandCompany is a web-based source code comprehension product that enables enterprises or geographically dispersed groups of developers to analyze ...
Name Component name. Synopsis Short usage of the component. Description Description of the functionality offered by the component, focussing on common usage. Options ...
This page represents examples 69, 70, and 71 of Halstead's "Machine-Independent Computer Programming". Comments in italics, as well as the disassembly and Algol hand ...
A number of example DSLs are discussed in the DSLAnnotatedBibliography. This page contains several DSLBibliographyAdditions, presenting example DomainSpecificLanguages ...
Deriving (on line) documentation from source code. The purpose is to help maintainers or developers understand the system they are working on. The article BuildingDocumentationGenerators ...
A little language, that helps in a particular application domain. A more formal definition from the DSLAnnotatedBibliography: A domain-specific language (DSL) is a ...
http://www.bayfronttechnologies.com/manual.htm Documentation of the DracoSystem.
This ProgramTransformationOrg Wiki is a collaborative effort to collect and disseminate information on various aspects of ProgramTransformation, ranging from a general ...
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 (1960-1979) Decompilers have been written for a variety of applications since the development of the first compilers. The very first decompiler ...
Imagix Corporation produces reverse engineering, quality metrics, and documentation solutions. Imagix provides provides tools and support to help developers work with ...
Imagix 4D is a ReverseEngineering, metrics and DocumentationGeneration tool for legacy C and C++ software. From ImagixCorporation, Imagix 4D is intended for developers ...
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 ...
Workshop on Language Descriptions, Tools and Applications Description The aim of this one day workshop is to bring together researchers from academia and industry ...
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 ...
Description MAG is a small transformation system for a subset of Haskell developed by OegeDeMoor and GaneshSittampalam. Homepage http://web.comlab.ox.ac.uk/oucl/research ...
MetaEdit+ is a multi-user, multi-platform metaCASE tool that allows you to build your own development environment — without having to write a single line of code. ...
MetaTool® is a specification-driven tool builder for creating tools that read textual languages and generate a variety of products such as programs, test tools, and ...
An affordable and easy to use software modelling tool (previously known as minUML). EctoSet offers a range of diagrams in an easy to use interface. Projects are stored ...
Homepage: http://www.mozart-oz.org Announcement The Mozart Programming System 1.2.0 Available at: http://www.mozart-oz.org Systems supported: many Unix flavors, Windows ...
NDoc is source code documentation tool for C#, the language of the DotNet framework. Using NDoc: Adding World-Class Documentation to Your .NET Components Main.EelcoVisser ...
ON THE INVERSE OF COMPILING W.L. Caudle Sperry-UNIVAC 26 April 1980 1. INTRODUCTION It is fitting that the subject of program conversion aids and portability be a ...
7. SUMMARY A decompiler model has been described which was implemented and which achieved a relatively high figure of merit. There are, however, many fundamental ...
A Methodology for Developing Open Source Software integration tests configuration completeness / bundling of tools The CVS manual has the following to say: A true ...
Requirements of Academic Software For published software to be effective it should satisfy the following requirements. Open source Platform independent Testing Interface ...
Name Package name. Description Package description. Components List of components of the package. Documentation for these components can be formatted according to ...
Partial evaluation is a ProgramOptimization technique in which a program is specialized to a part of the input that is known statically (at specialization time). Partial ...
(See also ModelTransformation ) A Definition A program is a structured object with semantics. The structure allows us to transform a program. The semantics gives us ...
Program-transformation.org is dedicated to collecting, organizing and disseminating information about all aspects of ProgramTransformation. The site is completely ...
Requests For Comments Requests For Comments, or RFCs, form the basis of the Internet's technical documentation. They are available at http://www.freesoft.org/CIE/RFC ...
Redocumentation is the simplest and oldest form of ReverseEngineering. The ReverseAndReengineeringTaxonomy defines redocumentation as a form of ReStructuring where ...
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 ...
In 1990, ElliotChikofsky and JamesCross published Reverse Engineering and Design Recovery: A Taxonomy , IEEE Software 7(1):13-17, 1990. http://doi.ieeecomputersociety ...
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 ...
Publication list (until ~1998, now outdated): http://www.rigi.csc.uvic.ca/Pages/publications.html More recent publications: Rigi An Environment for Software Reverse ...
SDF is a formalism for the definition of the syntax of ProgrammingLanguages and DataFormats. Its features include: a module system, integration of lexical and context ...
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 ...
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 ...
sortrsf is a command line program that is part of the RigiSystem. If your Rigi environment is setup: documentation is located at $RIGI/doc/rigiutils/sortrsf.html ...
What should a course on SoftwareEvolution cover? The CCSE initiative has recognized software evolution as a separate knowledge area . The second draft of this initiative ...
From http://compose.labri.u-bordeaux.fr/prototypes/tempo/ : evaluation is a transformation that automates a specialization process. Tempo is a partial evaluator for ...
There are many tools for editing UML diagrams. I conducted a little comparison to find a good tool to use in a software engineering course in the Spring of 2000. This ...
http://www.decompiler-vb.net http://www.decompiler-vb.net/vbreformer.aspx (professional version) Begun in 1999, VBReFormer is a Visual Basic (V5/6) decompiler. There ...
INCLUDE{WebNews} transformation techniques are used in a many areas of engineering ranging from synthesis, via optimization and refactoring, to engineering and generation ...
See also the announcements about specific systems in SystemNews. STARTINCLUDE STOPINCLUDE 2007-01-08 program-transformation.org is back online after absence for a ...
Statistics for TWiki.Transform Web Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Feb ...

Number of topics: 53
Results from Variability web
Statistics for TWiki.Variability Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb 2008 ...

Number of topics: 1
Results from WGLD web
Statistics for TWiki.WGLD Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Notes: Do not ...

Number of topics: 1
Results from WebDSL web
WEBLOGODISPLAY Home Documentation Language Research Papers Applications Download Integration build Continuous build Extensions Ftp Support Mailing lists IRC Users ...
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 ...

Number of topics: 2
Results from default web
Statistics for TWiki.default Web Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Feb 2008 ...

Number of topics: 1