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

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

Annotations Official Documentation Java Guide: Annotations Online Articles JavaWorld: Taming Tiger, Part 3: Decorate your code with Java annotations IBM DeveloperWorks ...

Extensible Compiler for AspectJ Website: http://abc.comlab.ox.ac.uk Application of Framework and Framework Main.MartinBravenboer 08 May 2005

AspectJ is a language for oriented programming with Java. There are at least two implementations of the language: ajc (fully integrated with Eclipse), and abc (an ...

Description Functional decomposition is good for flexibility, maintainance and modularity of programs. However, it is not necessarily good for other aspects of programming ...

Bigwig combines several ideas: Domain specific language for web services Syntax macros Publications Growing Languages with Metamorphic Syntax Macros Related projects ...

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

C++ is an object-oriented extension of CProgrammingLanguage. Transformation of C++ programs is supported by AcaCia / CIAO OpenCpp Stratego.CodeBoost DMSSoftwareReengineeringToolkit ...

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

CUP (Constructor of Useful Parsers) is a LALR parser generator for Java. Website: http://www.cs.princeton.edu/~appel/modern/java/CUP/

A CodeCoverage tool discovers sections of code that are not being executed. CodeCoverage tools are used to examine how well the source-code of a project is being exercised ...

Code generation (also called selection) is a transformation performed in the back-ends of compilers. At this state of compilation representation expressions are transformed ...

A context-free grammar is a restricted form of a Grammar Closure Properties Context-free languages are closed under: union concatenation and these operations can thus ...

C++ templates allow compile-time programming in the type system of C++.

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

DocumentTypeDefinition (DTD) is the original SchemaLanguageForXML and is in fact part of the XML standard. DTD is a LocalTreeGrammar. This means that the same terminal ...

Resources Wikipedia

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

GraphXML is a graph description language in XML. For details see http://www.cwi.nl/InfoVisu/GraphXML (broken, but still available here). GraphXML An XML based graph ...

Haskell is a general purpose lazy programming language. The language is a grateful subject of transformation. Program transformations play a prime role in GHC, the ...

Inject/J Weaving scripts Source-to-Source Transformation In The Large Additional resources: Website Inject/J Tutorial Inject/J Ein Werkzeug zur skriptgesteuerten ...

JQuery is query-based source code browser for Java, based on Eclipse. The tool is itself an Eclipse plugin and also uses the infrastructure of Eclipse for parsing ...

Bali Bali generate from a single grammar specification: lexical analyzer (JLex) parser (CUP) class hierarchies for tree nodes, including unparsing methods (pretty ...

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

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

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

JavaCC LL(1) parser generator producing Java code SableCC LALR parser generator. Generates parse tree and abstract syntax tree classes as well. CUP LALR parser ...

TOM is a pattern matching compiler, developed at INRIA Website: http://tom.loria.fr/

Website: http://www.cs.utah.edu/plt/jiazzi/ Main.MartinBravenboer 08 May 2005

Lisp stands for LISt Processing and was the first Programming Language. Resources: Lisp programming language at the Wikipedia Articles on Lisp at the site of Paul ...

See Main.MartinBravenboer CategoryPeople

Publications Maya: multiple-dispatch syntax extension in Java download Main.MartinBravenboer 08 May 2005

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

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

Object-oriented Tree Traversal with Tools.JJForester TobiasKuipers, JoostVisser Abstract We want to use the advanced language processing technology available in the ...

OpenJava: A Class-Based Macro System for Java (pdf) Additional resources: OpenJava website OpenJava tutorial Master thesis on OpenJava: An Extension Mechanism for ...

A parse tree is a tree representation of the result of parsing a list of characters. A real parse tree contains the full inputstream. It then allows a yield operation ...

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

Extensible Compiler Framework Website: http://www.cs.cornell.edu/Projects/polyglot/ Polyglot is a Java class library that is easily extended through inheritance to ...

PPG is a parser generator for extensible grammars, based on the CUP parser generator. It provides the ability to extend an existing base language grammar written in ...

Program Comprehension Risks and Opportunities in Extreme Programming ArieVanDeursen , CWI, May 2001. Proceedings WCRE 2001, IEEE Computer Society. Abstract We investigate ...

TransformationSystems usually work on tree of graph structured ProgramRepresentations. A parser analyzes the syntactic structure of a program text and produces a structured ...

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

The decompyle service decompiles Python byte-code (in .pyc or .pyo files) into python source code. It may be possible to license the decompiler for unlimited corporate ...

Dongwon Lee, Murali Mani, Makoto Murata. Technical Report, IBM Almaden Research Center, RJ# 10197, Log# 95071 , November 16, 2000 Abstract A mathematical framework ...

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

Standard : http://www.oasis-open.org/committees/relax-ng/ RelaxNG is a SchemaLanguageForXML based on RegularTreeGrammars. It is (suprisingly) more powerful and easier ...

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

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

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

EelcoVisser. Scannerless Generalized-LR parsing . Technical Report P9707, Programming Research Group, University of Amsterdam, July 1997. Online: http://www.cs.uu ...

DocumentTypeDefinition was introduced in the XML standard as the schema language for XML. Because of the limited power of DTD and because it cannot handle XMLNamespaces ...

Homepage : http://www.saxproject.org/ The Simple API for XML (SAX) is a standard interface for event-based XML parsing. Because of the event-based approach the interface ...

SmalltalkRefactoringBrowser is wiki for SmalltalkRefactory Main.MartinBravenboer 31 Oct 2001

Java Optimization Framework http://www.sable.mcgill.ca/soot/ People Project of the Sable research group (McGill University, Montreal) Components Intermediate representations ...

A syntax definition is a high-level description of the syntax of a language, usually in the form of a context-free grammar. Languages for syntax definition include ...

EelcoVisser, PhD thesis, University of Amsterdam, 1997. Abstract LanguagePrototyping is the activity of designing and testing definitions of new or existing computer ...

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

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

Introduction Unicode is an effort to create a single character set that includes every single character needed by a written human language on our the planet. An important ...

Introduction UnitTesting is one of the key practices of ExtremeProgramming. A unit test exercises an isolated unit of sourcecode instead of the complete sourcecode ...

WebNotify is a subscription service to be automatically notified by email when topics change in the TWiki.Transform web. This is a convenient service, so you do not ...

Program Transformation Wiki http://www.program-transformation.org Program Transformation Wiki INCLUDE{"Main.RssBase"}

Statistics for TWiki.Transform Web Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Feb ...

Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Dec 2001 21983 530 0 2861 1006 WebHome ...

Month: Topic Views: Topic Saves: Attachment Uploads: Most Popular Topic Views: Top Contributors for Topic Save and Uploads: Dec 2002 1978 21 0 580 ReengineeringWikiSiteMap ...

Useful twiki things to do are: Keep track of WebChanges Get a WebNotify of changes Check the WebStatistics Browse the WebIndex Do a WebSearch See the other Main.TWikiUsers ...

Useful twiki things to do are: Keep track of WebChanges Get a WebNotify of changes Check the WebStatistics Browse the WebIndex Do a WebSearch See the other Main.TWikiUsers ...

Publications An extensible system for domain-specific aspect languages Macneil Shonle, Karl Lieberherr, Ankit Shah Companion of the 18th annual ACM SIGPLAN conference ...

Homepage: http://xduce.sourceforge.net/ A typed language for processing XML documents. XDuce uses regular expression types ( SchemaLanguageForXML ) to describe the ...

Homepage: http://www.w3.org/XML/ XML is the Extensible Markup Language, a format for the exchange of structured data. XML, which is a simplified subset of SGML, was ...

Java: http://www.xmlpull.org/ JSR 173: http://www.jcp.org/jsr/detail/173.jsp Microsoft's XmlReader Main.MartinBravenboer 30 May 2002

Standard : http://www.w3.org/XML/Schema XMLSchema is the new SchemaLanguageForXML standard of the W3C. It should replace DocumentTypeDefinition. Main.MartinBravenboer ...

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