Homepage: Karl Trygve Kalleberg Email: karltk near ii.uib.no Affiliation: Research Fellow, University of Bergen, Norway Country: Norway Software Program transformation ...
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 ...
by Transform.MarkVanDenBrand, JeroenScheerder, Transform.JurgenVinju and Transform.EelcoVisser. Disambiguation filters for scannerless generalized LR parsers. In N ...
Description The package PGEN (for Parsetable Generator) contains tools for generating parse tables. Tools sdf2table Links The official homepage of PGEN: http://www ...
Description SGLR, Scannerless Generalized LR Parser, is an implementation of Tomita's LR algorithm with extensions for scannerless parsing. The SGLR package contains ...
From the report Scannerless Generalized LR Parsing: Scannerless parsing is a parsing technique in which lexical and context-free syntax are integrated into one grammar ...
Released July 04, 2004. The SDF2 Bundle is an easy to install collection of packages that implement the modular SDF syntax definition formalism. Contents SDF2 Bundle ...
Released January 10, 2005. Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or RPMs. Source ...
Released August 17, 2005. Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or RPMs. Source tar ...
Released August 26, 2005. Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or RPMs. Source tar ...
Released November 4th, 2005. Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or RPMs. Source ...
The SDF bugzilla system is located here. Use the components 'sglr' and 'pgen' to report bugs in the core SDF system, 'sdf-meta' for IDE bugs and 'unknown' if you just ...
Introduction The SDF2 Bundle is an easy to install collection of packages related to the SDF2 syntax definition formalism. The packages are developed at the CWI. ...
SDF is an open-source project under the BSDLicense . Contributing Please contribute bug reports, patches, and ideas for enhancement using our BugZilla instance. Thank ...
Related Software This page lists known third-party software that is available for SDF IDE The SDF Meta-Environment is an IDE for SDF. It is currently not released ...
SDF is released under the BSD open-source license. The latest source release of SDF is: SDF 2.6.2 source bundle A binary distribution for Linux/x86 is also available ...
Name sdf2table Synopsis sdf2table m ma s i sdf-definition o parse-table Description The utility sdf2table generates a parse table from an SDF syntax definition. The ...
The SDF parser (SGLR) reads a file that contains the parse table. The format for this file and its implementation is a part of the SDF bundle. This part is called ...
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 ...
by Transform.MarkVanDenBrand, JeroenScheerder, Transform.JurgenVinju and Transform.EelcoVisser. Disambiguation filters for scannerless generalized LR parsers. In N ...
Description The package PGEN (for Parsetable Generator) contains tools for generating parse tables. Tools sdf2table Links The official homepage of PGEN: http://www ...
Description SGLR, Scannerless Generalized LR Parser, is an implementation of Tomita's LR algorithm with extensions for scannerless parsing. The SGLR package contains ...
From the report Scannerless Generalized LR Parsing: Scannerless parsing is a parsing technique in which lexical and context-free syntax are integrated into one grammar ...
Released July 04, 2004. The SDF2 Bundle is an easy to install collection of packages that implement the modular SDF syntax definition formalism. Contents SDF2 Bundle ...
Released January 10, 2005. Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or RPMs. Source ...
Released August 17, 2005. Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or RPMs. Source tar ...
Released August 26, 2005. Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or RPMs. Source tar ...
Released November 4th, 2005. Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or RPMs. Source ...
The SDF bugzilla system is located here. Use the package 'sglr' and 'pgen' to report bugs in the core SDF system. 'sdf-meta' for IDE bugs and 'unknown' if you just ...
Introduction The SDF2 Bundle is an easy to install collection of packages related to the SDF2 syntax definition formalism. The packages are developed at the CWI. ...
The SDF parser generator and SGLR are an open source project, released with a BSD license. Reporting Bugs INCLUDE{SdfBugs} People Maintainers SDF is an open source ...
Parser and Parser Generator The latest source release of SDF is: SDF 2.5.1 source bundle A binary distribution for Linux/x86 is also available: SDF 2.5.1 linux binary ...
Name sdf2table Synopsis sdf2table m ma s i sdf-definition o parse-table Description The utility sdf2table generates a parse table from an SDF syntax definition. The ...
The SDF parser (SGLR) reads a file that contains the parse table. The format for this file and its implementation is a part of the SDF bundle. This part is called ...
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 ...
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 ...
Spoofax Contributors Eelco Visser (project lead) Lennart Kats (lead developer) Karl Trygve Kalleberg (lead developer of the Stratego/J runtime and JSGLR) Gabriel ...
Edit and use your language in one Eclipse window http://strategoxt.org/pub/Spoofax/Features/side-by-side.png Deploy your editor as a portable Eclipse plugin http ...
Publications See also the publication list on researchr The Spoofax Language Workbench Lennart C. L. Kats, Rob Vermaas, Eelco Visser. Integrated Language Definition ...
The Spoofax Language Workbench Spoofax is a platform for developing textual domain-specific languages with full-featured Eclipse editor plugins. With the Spoofax/IMP ...
( this overview is under construction, please contribute! ) .def Foo.def is an SDF definition . An SDF definition is stored in a .def file and is just a bundle of ...
In StrategoRelease08 an extension of Stratego with syntax is provided. This extension requires a tighter integration with SDF and several of the XT tools. In effect ...
TOC Introduction The Stratego/XT Grammar Engineering Tools is a collection of tools for the recovery, development, testing, and maintenance of grammars. Currently ...
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 ...
JSGLR: An SGLR Parse Table Evaluator for Java The jsglr library implements scannerless GLR (SGLR) parsing in Java. The library provides an interpreter for parse tables ...
Released November 4th, 2005 Download Java-front VERSION requires Stratego/XT 0.16. Source tar.gz TARNAME VERSION Source RPM TARNAME VERSION Redhat Linux RPM TARNAME ...
StrategoXT On Microsoft Windows StrategoXT requires Cygwin. In StrategoXT 0.9.4 all serious problems on Microsoft Windows/Cygwin are solved. Standard tarball distributions ...
In a module meta file you can define meta information for a Stratego module. The meta file must have the same name as the module, with the .meta extension and is in ...
parse-stratego is an XTC composition of tools in stratego-front. It parses a Stratego module according to the syntax specified in the meta file or plain syntax if ...
TOC Introduction Extensible Compilers. Many extensible compilers and programming languages allow the syntax of a base language to be extended to introduce new syntactic ...
This page contains plans for past releases. See ReleasePlan for planning of future releases. StrategoXT 0.9.3 released September 1, 2003 New names for si and sc : ...
This page reports on the permissive grammars project. This project is aimed at adding practical error recovery to the Java implementation of for interactive parsing ...
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 ...
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 ...
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} Stratego is a language for program transformation and XT is a collection of tools for building and generating program transformation components ...
Resolved Issues for StrategoXT 0.11 Bug STR-7 pack-sdf fails with the message ERROR: Module Java.sdf not found if sglr does not exist STR-52 Illegal C code for mutual ...
Released October 04, 2004 Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or RPMs. Source tar ...
Stratego/XT 0.13 released January 13, 2005 Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs ...
Issues for StrategoXT 0.13. Bug STR-25 Appl/2 or Cons/0 is a reserved term? STR-127 ambiguity for negative numbers following colon in rules(..) STR-130 dr old uses ...
Stratego/XT 0.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 ...
See DependencyGraph08 for an overview of the dependencies between the packages involved in Release 0.8 Release 0.8 TermAnnotations Simple ListMatching ConfigurationFiles ...
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.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 ...
The syntax of StrategoLanguage used to be defined by a LEX/Transform.YetAnotherCompilerCompiler grammar. In order to make maintenance and extension of the syntax definition ...
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 ...
XTC Tool Composition XTC implements the XT component model and provides support for creating compositions of XT components. The xtc tool is used to register components ...
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 ...
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 ...
The TigerXmpl package provides a directory with example Tiger programs and a makefile for testing the various TigerCompiler components. The makefile imports make-rules ...
Description An abstract composition definition is a definition of a composition that is independent of the type of components. It describes the components in the ...
Summary addPosInfo adds position information to an AsFix2ME parse tree. Example The following syntax definition defines a tiny language of assignments and expressions ...
Name ambtracker display the productions in a parse tree causing ambiguities Description Compared to visamb ambtracker offers an alternative visualization of ambiguities ...
Description AsFix (ASF+SDF fixed format) is a format for representing parse trees in the ATerm format. Currently two versions of AsFix are in used: AsFix2ME and AsFix2 ...
AsFix2ME is a more compact variant of AsFix2. See the AsFix topic for a general overview of AsFix. This topic describes the difference between AsFix2 and AsFix2ME ...
Description An asfix to asfix tool that reserves comments that were of the input source code by putting them in annotations of the AST. It is difficult to decide ...
asfix-tools is a collection of tools for the AsFix (ASF Fixed) format. The AsFix format is a format for representing a parse tree. Sdf.SGLR outputs its result in the ...
Task Given a grammar and a parse tree obtained by parsing a term over this grammar, construct a subgrammar that still parses the same term. Description Given a grammar ...
Task How to obtain abstract syntax trees Description Given a concrete term over some language L, an abstract syntax tree for that term is obtained by: 1. generating ...
Task How to pretty-print a grammar. Description A grammar can be pretty-printed (to plain text, html, or latex) using the GPP package in the following way: 1. Parse ...
JJForester is a combined parser generator, tree builder, and visitor generator for Java. Its features include: Sdf.GeneralizedLR parsing, using the Sdf.SGLR parse ...
Global architecture of JJForester: : http://www.cwi.nl/~jvisser/jjforester/jjf-arch.jpg Ellipses are tools. Shaded boxes are generated code. JJForester takes a grammar ...
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 ...
Description The tool pack-koala packs the Koala component and interface definitions and produces a parse tree for the complete Koala specification. Example ATTACHURL ...
Name visamb display the ambiguities in a parse tree represented in AsFix2 Synopsis Description The SDF2 implementation caters for arbitrary context-free grammars ...
XT: Transformation Tools XT is a bundle of tools for building program transformation systems. The tools include parser generation, pretty-printing, abstract syntax ...
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 ...
xml-tools contains a syntax definition in Stratego.SDF for Transform.XML. This syntax defintion is not competely compatible with XML, but it tries to do the job as ...
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 ...
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 ...
SDFII is successor of the first Syntax Definition Formalism SDF. SDFII features Integration of lexical and context-free syntax Modules with parameters and renaming ...