The following contributions were selected (out of 15 submissions) for presentation at the workshop: Anthony Anjorin, Gergely Varro and Andy Schürr. Complex Attribute ...
Bidirectional transformations (bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be databases, software ...
Call For Papers ACM SIGPLAN 2010 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'10) Madrid, Spain January, 2010 (Co-located with POPL 2010) http:/ ...
We are proud to feature the following two invited talks: Juan de Lara (Autonomous University of Madrid, Spain): Bidirectional Transformations with Graphical Constraints ...
Subscribe at Mailing List for Partial Evaluation and Program Transformation The mailing list is moderated and used to announce events of interest to the PEPM community ...
You may find the following material useful in publicizing PEPM 2008. Call For Papers (PDF version 1 page for printing) Call For Papers (PPT version 1 slide for presentation ...
To print a page use the Printable entry in the Topic menu or use the following links: Call for Papers Call for Workshops Call for Tutorials Call for Demonstrations ...
The abstracts of invited talks and accepted contributions are available here and here. Where provided by the speakers (of non-whiteboard-only talks), slides are linked ...
Program Chairs Frank Hermann (Technical University of Berlin, Germany; University of Luxembourg, Luxembourg) Janis Voigtl nder (University of Bonn, Germany) Program ...
The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program transformation and generation. For PEPM 2006 ...
Tuorial Submission Format Proposals must be submitted electronically via e-mail, as plain text or in PDF, according to the following template: 1. Title The title ...
The abstracts are available here, here, and here. Monday, January 18, 2010 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Lennart Augustsson: O, Partial Evaluator ...
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, ...
INCLUDE{ConferenceHeader} INCLUDE{AimsAndTopics} INCLUDE{PublicationVenue} Submissions can use LNCS or EC-EASST style. See the submission guidelines for details. ...
TWiki.BX12 Web Preferences The following settings are web preferences of the TWiki.BX12 web. These preferences overwrite the site-level preferences in TWIKIWEB . ...
HistoricalStatistics for TWiki.BX12 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...
This is the website for Strategies for Program Transformation , a book on program transformation with Stratego/XT. The book is currently in draft form. A future version ...
Previous Up Next Introduction In the previous chapter we saw that pure term rewriting is not adequate for term rewriting because of the lack of control over the application ...
Previous Up Next Introduction In the previous chapters we saw how strategies can be used to control transformations and how rules can be broken down into the primitive ...
Previous Up Next Introduction Rewrite rules provide a good formalism for the formalization of transformation steps. However, term rewriting based on exhaustive normalization ...
Previous Up Next Introduction Program transformation systems need some kind of representation for program that can be manipulated. Programmers write programs as texts ...
Abstract Many systems for program transformation exist that are often specialized for a specific object language and/or kind of transformation. All these systems ...
Abstract Many systems for program transformation exist that are often specialized for a specific object language and/or kind of transformation. All these systems ...
Previous Up Next Introduction Meta-programs manipulate structured representations (abstract syntax) of programs. The distance between the concrete syntax meta-programmers ...
Previous Up Introduction The applicability of term rewriting to program transformation is limited by the lack of control over rule application and by the context ...
Previous Up Next Introduction In the previous chapter we saw how terms provide a structured representation for programs derived from a formal definition of the syntax ...
Introduction Previous Up Next Contents STARTINCLUDE Program Transformation Program Transformation Systems Strategies for Program Transformation A Roadmap STOPINCLUDE ...
Program Transformation by Term Rewriting STARTINCLUDE Program Representation Term Rewriting Program Transformation with Concrete Object Syntax STOPINCLUDE
Programmable Rewriting Strategies Contents STARTINCLUDE In Control of Rewriting Composing Strategies First Class Pattern Matching Generic Traversal Strategies Scoped ...
Strategies for Program Transformation An Introduction to Program Transformation with Stratego/XT WEBLOGODISPLAY Stratego/XT Eelco Visser DRAFT 2003 The complete draft ...
TWiki.Book Web Preferences The following settings are web preferences of the TWiki.Book web. These preferences overwrite the site-level preferences in TWIKIWEB . ...
Salvador Trujillo, Don Batory and Oscar Diaz. Feature Refactoring a Multi-Representation Program into a Product Line Sven Apel and Don Batory. When to Use Features ...
CALL FOR TOOL DEMONSTRATIONS INCLUDE{ConferenceHeader} Program Chairs Douglas Schmidt, Vanderbilt University Todd Veldhuizen, Indiana University Program chairs can ...
CALL FOR TECHNICAL PAPERS INCLUDE{ConferenceHeader} Important Dates There will be no pre-submission. Submission : PAPERSUBMISSION extended Notification: PAPERNOTIFICATION ...
CALL FOR TECHNICAL PAPERS Fifth International Conference on Generative Programming and Component Engineering (GPCE'06) http://www.gpce.org/06/ October 22-26, 2006 ...
CALL FOR PARTICIPATION Third International Conference on Generative Programming and Component Engineering (GPCE'04) Vancouver, October 24-28, 2004 co-located with ...
CALL FOR POSTERS INCLUDE{ConferenceHeader} Poster Chair Important Dates Poster proposal submission: Notification of acceptance: Conference: Overview Posters at GPCE ...
CALL FOR PRACTITIONER REPORTS INCLUDE{ConferenceHeader} Industrial Track Chair Important Dates Practitioner report submission: Notification of acceptance: Program ...
CALL FOR TUTORIAL PROPOSALS INCLUDE{ConferenceHeader} Tutorial Chairs Christa Schwanninger, Siemens AG Hans-Arno Jacobson, University of Toronto Tutorial chairs can ...
The OOPSLA'06 Advance Program, including GPCE-related events, is available now. Workshops Sunday, October 22 Aspect-Oriented Product Line Engineering (AOPLE) 8:30am ...
AOPLE: First Workshop on Aspect-Oriented Product Line Engineering DSAL'06: Domain-Specific Aspect Languages Workshop STS'06: Software Transformation Systems Workshop ...
To print a page use the Printable entry in the Topic menu or use the following links: Call for Papers Call for Workshops Call for Tutorials Call for Demonstrations ...
Program Chairs: Douglas Schmidt (Vanderbilt University, USA) Todd Veldhuizen (Indiana University, USA) Program Committee Members: Giuseppe Attardi (University of Pisa ...
Tuorial Submission Format Proposals must be submitted electronically via e-mail, as plain text or in PDF, according to the following template: 1. Title The title ...
Tuesday, October 24 8:30-10:00 Technical papers: Staging Session chair: Eelco Visser Samuel Kamin, Baris Aktemur and Michael Katelman. Staging static analyses for ...
Building Java Transformations with Stratego/XT Martin Bravenboer, Utrecht University Karl Trygve Kalleberg, University of Bergen Eelco Visser, Utrecht University ...
Feature Modularity in Software Product Lines Don Batory, University of Texas at Austin Date Tuesday, Oct 24, from 13:30 to 17:00 Abstract Feature Oriented Programming ...
Sunday, October 22nd morning GPCE1 Model-driven development basics using Eclipse Bruce Trask, Angel Roman WS1 AOPLE Aspect-Oriented Product Line Engineering Neil ...
INCLUDE{ConferenceHeader} News INCLUDE{WebNews} Generative and component approaches are revolutionizing software development similar to how automation and components ...
GPCE Home GPCE'06 Home Final Program Final Program(pdf) Organization Dates Venue Registration Tutorials GPCE1 GPCE2 GPCE3 GPCE4 GPCE5 GPCE6 GPCE7 Workshops AOPLE ...
2006-10-12 Final Schedule booklet available (pdf) ConferenceProgram updated. 2006-06-21 The list of accepted papers has been posted. 2006-06-16 Online registration ...
TWiki.GPCE06 Web Preferences The following settings are web preferences of the TWiki.GPCE06 web. These preferences overwrite the site-level preferences in TWIKIWEB ...
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 ...
CALL FOR TUTORIAL PROPOSALS INCLUDE{ConferenceHeader} Important Dates Proposal submission deadline for tutorial proposals: PROPOSALSUBMISSION Date for notification ...
CALL FOR WORKSHOP PROPOSALS INCLUDE{ConferenceHeader} Important Dates Proposal submission deadline for tutorial proposals: PROPOSALSUBMISSION Date for notification ...
Technical Papers Sunday, October 19 8:50-9:00 Welcome 9:00-10:00 Keynote Session Chair: Julia Lawall Emerging Challenges for Large Scale Systems Integration Dr. Andrew ...
Abstract Over the past 15 years large systems integrators have grown in size by an order of magnitude. During this time the nature of the systems we build, the manner ...
Abstract In 1984, John Hughes wrote a seminal paper titled, "Why Functional Programming Matters," in which he eloquently explained the value of pure and lazy functional ...
INCLUDE{ConferenceHeader} List of workshops DSPD 2008: Workshop on Domain-Specific Program Development McGPLE 2008: Workshop on Modularization, Composition and Generative ...
GPCE Tutorial #3 (GP3) "Multi-stage Programming in !MetaOCaml" by Walid Taha, Rice University Date: Oct 23, morning Abstract Multi-stage programming is a paradigm ...
GPCE Tutorial #2 (GP2) "Problems We Can Solve with Power-Generics" by Stan Jarzabek, National University of Singapore Date: Oct 22, afternoon Description Repetitions ...
Program Chair: Jeremy Siek (University of Colorado at Boulder) Program Committee Members: David Abrahams (Boost Consulting) Uwe Aßmann (Technische Universität, Dresden ...
Tuorial Submission Format Proposals must be submitted electronically via e-mail, as plain text or in PDF, according to the following template: 1. Title The title ...
INCLUDE{ConferenceHeader} News INCLUDE{WebNews} Generative and component approaches are revolutionizing software development similar to how automation and components ...
GPCE Home GPCE'08 Home Program Organization Dates Venue Registration Tutorials GP1: MDE Systems GP2: S. Jarzabek GP3: W. Taha Workshops DSPD 2008 McGPLE 2008 STS ...
2008-08-04 The conference program is now available. 2008-06-09 Workshops and Tutorials are listed online. 2008-04-03 Submission website is now open. 2008-01-08 Paper ...
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 ...
A Model of Refactoring Physically and Virtually Separated Features Christian Kaestner, Sven Apel and Martin Kuhlemann Transactional Pointcuts: Designation, Reification ...
CALL FOR PAPERS (pdf) INCLUDE{ConferenceHeader} Important Dates Submission of abstracts : PAPERPRESUBMISSION Now CLOSED Submission : PAPERSUBMISSION PAPERSUBMISSIONPOSTPONED ...
General Chair: Jeremy Siek (University of Colorado at Boulder, United States of America) Program Chair: Bernd Fischer (University of Southampton, United Kingdom) Program ...
GPCE Event Locations (hotel floor plan) Meeting room: Grand Mesa Ballroom D on the 2nd floor Breakfast and coffee breaks: directly outside the meeting room Lunches ...
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 ...
INCLUDE{ConferenceHeader} News INCLUDE{WebNews} Generative and component approaches are revolutionizing software development similar to how automation and components ...
GPCE Home GPCE'09 Home Keynotes Poster Program Organization Dates Venue Registration Calls for Papers Tutorials Workshops FOSD workshop ElectronicSubmission
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 ...
Abstract : ZL is a C++-compatible language in which high-level constructs, such as classes, are defined using macros over a C-like core language. This approach makes ...
Abstract : This paper deals with embedded systems software and the modification of its architecture and behavior at execution-time. Incautious implementation of such ...
Abstract : Delta modeling is an approach to facilitate automated product derivation for software product lines. It is based on a set of deltas specifying modifications ...
Abstract : Plug-in components are a means for making feature-rich applications customizable. Combined with plug-and-play composition, end users can assemble customized ...
Abstract : While dynamic code evolution in object-oriented systems is an important feature supported by dynamic languages, there is currently only limited support ...
Abstract : Operation contracts consisting of pre- and postconditions are a well-known means of specifying operations. In this paper we deal with the problem of operation ...
Abstract : Function-block-based modeling is often used to develop embedded systems, particularly as system variants can be developed rapidly from existing modules ...
CALL FOR PAPERS (txt,pdf) INCLUDE{ConferenceHeader} Important Dates Submission of abstracts: PAPERPRESUBMISSION Submission of papers: PAPERSUBMISSION Author notification ...
Abstract : Some limitations of object-oriented mechanisms are known to cause code clones (e.g., extension using inheritance). Novel programming paradigms such as ...
Abstract : Aspect-oriented programming provides a convenient high-level model to define several kinds of dynamic analyses, in particular thanks to recent advances ...
General Chair: Eelco Visser (Delft University of Technology, The Netherlands) Program Chair: Jaakko Järvi (Texas A M University, United States of America) Program ...
#TutorialSchedule Sunday, October 10 All Sunday activities will take place in Academisch Genootschap Eindhoven. The tutorials will take place in the Meerlezaal, FOSD ...
Abstract : Smooth integration of domain-specific languages into a general purpose host language requires absorbing of domain code written in arbitrary syntax. The ...
Abstract : The CPP is the dominant tool of choice for the implementation of variability in large-scale configurable software. Linux, probably the most-configurable ...
Abstract : Writing correct and efficient concurrent programs still remains a challenge. Explicit concurrency is difficult, error prone, and creates code which is ...
Abstract : Garcia introduces a calculus for type-reflective metaprogramming that provides much of the power and flexibility of C++ templates and solves many of its ...
Abstract : Type inference is the process of constructing a typing derivation while gradually discovering type information. During this process, inference algorithms ...
Abstract : Manually implementing equals (for object comparisons) and !hashCode (for object hashing) methods in large software projects is tedious and error-prone ...
Abstract : Software engineering demands generality and abstraction, performance demands specialization and concretization. Generative programming can provide both ...
Abstract : Modular robots are mechatronic devices that enable the construction of highly versatile and flexible robotic systems that can dynamically modify their ...
Abstract : Programs in domain-specific embedded languages (DSELs) can be represented in the host language in different ways, for instance implicitly as libraries ...
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 ...
INCLUDE{ConferenceHeader} News INCLUDE{WebNews} Generative and component approaches are revolutionizing software development similar to how automation and components ...
2010-21-10 Tutorial slides now available. 2010-10-10 Interactive conference schedule for mobile devices: http://confplan.zef.me/confplan.html 2010-09-03 Early registration ...
HistoricalStatistics for TWiki.GPCE10 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...
Abstract : ZL is a C++-compatible language in which high-level constructs, such as classes, are defined using macros over a C-like core language. This approach makes ...
Abstract : This paper deals with embedded systems software and the modification of its architecture and behavior at execution-time. Incautious implementation of such ...
Abstract : Delta modeling is an approach to facilitate automated product derivation for software product lines. It is based on a set of deltas specifying modifications ...
Abstract : Plug-in components are a means for making feature-rich applications customizable. Combined with plug-and-play composition, end users can assemble customized ...
Abstract : While dynamic code evolution in object-oriented systems is an important feature supported by dynamic languages, there is currently only limited support ...
Abstract : Operation contracts consisting of pre- and postconditions are a well-known means of specifying operations. In this paper we deal with the problem of operation ...
Abstract : Function-block-based modeling is often used to develop embedded systems, particularly as system variants can be developed rapidly from existing modules ...
Please help us promote GPCE by including the following HTML code in your webpage, which will include the above image link to our website (you can change the width ...
CALL FOR PAPERS (txt,pdf) INCLUDE{ConferenceHeader} Important Dates (NEW) Submission of abstracts: PAPERPRESUBMISSION (DEADLINE PASSED) Submission of papers: PAPERSUBMISSION ...
Abstract : Some limitations of object-oriented mechanisms are known to cause code clones (e.g., extension using inheritance). Novel programming paradigms such as ...
Abstract : Aspect-oriented programming provides a convenient high-level model to define several kinds of dynamic analyses, in particular thanks to recent advances ...
General Chair: Ewen Denney (SGT/NASA Ames, USA) Program Chair: Ulrik Pagh Schultz (University of Southern Denmark, Denmark) Program Committee Members: Andrzej W #261 ...
Abstract : Tool support is vital to the effectiveness of domain-speci #64257;c languages. With language workbenches, domain-speci #64257;c languages and their tool ...
Abstract : Smooth integration of domain-specific languages into a general purpose host language requires absorbing of domain code written in arbitrary syntax. The ...
Abstract : The CPP is the dominant tool of choice for the implementation of variability in large-scale configurable software. Linux, probably the most-configurable ...
Abstract : The relationship between feature modules and feature interactions is not well-understood. To explain classic examples of feature interaction, we show that ...
Application of Model Based Development to Flexible Code Generation Gary Shubert, Lockheed Martin Space Systems Company, USA This address will present the author's ...
Abstract : !WebDSL is a domain-speci #64257;c language for the implementation of dynamic web applications with a rich data model. It provides developers with object ...
Abstract : The !GeoGram system generates programs for geometric computations by combining generic software components as speci #64257;ed by diagrams constructed using ...
Abstract : Large software projects consist of code written in a multitude of different (possibly domain-speci #64257;c) languages, which are often deeply interspersed ...
Abstract : User interfaces exhibit a wide range of features that are designed to assist users. Interaction with one widget may trigger value changes, disabling, or ...
Abstract : Writing correct and efficient concurrent programs still remains a challenge. Explicit concurrency is difficult, error prone, and creates code which is ...
Abstract : Garcia introduces a calculus for type-reflective metaprogramming that provides much of the power and flexibility of C++ templates and solves many of its ...
Abstract : Enterprise distributed real-time and embedded (DRE) systems are increasingly being developed with the use of component-based software techniques. Unfortunately ...
Abstract : The adoption of a product line strategy can bring signi #64257;cant productivity and time to market improvements. However, evolving a product line is risky ...
Abstract : Type inference is the process of constructing a typing derivation while gradually discovering type information. During this process, inference algorithms ...
Abstract : Manually implementing equals (for object comparisons) and !hashCode (for object hashing) methods in large software projects is tedious and error-prone ...
Matthias Felleisen is a Trustee Professor of Computer Science at Northeastern University, Boston, and the founder of PLT, a distributed research group. His research ...
Abstract : A code generator is a program translating an input model into code. In this paper we focus on template-based code generators in the context of the model ...
Abstract : Software engineering demands generality and abstraction, performance demands specialization and concretization. Generative programming can provide both ...
Abstract : Modular robots are mechatronic devices that enable the construction of highly versatile and flexible robotic systems that can dynamically modify their ...
Abstract : The development of service robots has gained more and more attention over the last years. A major challenge on the way towards industrial-strength service ...
Abstract : Programs in domain-specific embedded languages (DSELs) can be represented in the host language in different ways, for instance implicitly as libraries ...
Abstract : The output of a code generator is assumed to be correct and not usually intended to be read or modi #64257;ed; yet programmers are often interested in ...
Abstract : During Software Product Line (SPL) maintenance tasks, Virtual Separation of Concerns (!VSoC) allows the programmer to focus on one feature and hide the ...
Abstract : A re #64258;ective language enables us to access, inspect, and/or modify the language semantics from within the same language framework. Although the degree ...
Abstract : Recent advances have enabled GPUs to be used as general-purpose parallel processors on commodity hardware for little cost. However, the ability to program ...
Abstract : Component based software engineering and aspect orientation are claimed to be two complementary approaches. While the former ensures the modularity and ...
Abstract : Software product lines (SPLs) and adaptive systems aim at variability to cope with changing requirements. Variability can be described in terms of features ...
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 ...
Abstract : Embedded, textual DSLs are often provided as an API wrapped around object-oriented application frameworks to ease framework integration. While literature ...
Abstract : The validation and veri #64257;cation of reliable systems is a dif #64257;cult and complex task, mainly for two reasons: First, it is dif #64257;cult to ...
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 Abstract Domain-specific languages ...
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 ...
INCLUDE{ConferenceHeader} Image used under GNU FDL. News INCLUDE{WebNews} Registration is at Salon Foyer (Hilton Executive Tower, downstairs) Presentations are in ...
2011-10-21 See schedule for where registration and presentations are located. Breakfast will be served both days at 8:00 a.m. outside the presentation location. 2011 ...
HistoricalStatistics for TWiki.GPCE11 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...
Sven Efftinge, Moritz Eysholdt, Jan Köhnlein, Sebastian Zarnekow, Wilhelm Hasselbring, Robert von Massow, and Michael Hanus: Xbase: Implementing Domain-Specific Languages ...
Help to spread the word about GPCE'12! Please help us promote GPCE by including the following HTML code in your webpage, which will include the above image link to ...
CALL FOR PAPERS INCLUDE{ConferenceHeader} Important Dates Submission of papers: PAPERSUBMISSION Author notification: PAPERNOTIFICATION Scope Generative and component ...
General Chair: Klaus Ostermann (University of Marburg, Germany) Program Chair: Walter Binder (University of Lugano, Switzerland) Program Committee Members: Benoit ...
Compile-time variability is paramount in many software systems: Users can select desired features and generate a product tailored for their needs. For example, the ...
In the adaptation-based programming (ABP) paradigm, programs may contain variable parts (function calls, parameter values, etc.) that can be take a number of different ...
Xtext is an open-source framework for implementing external, textual domain-specific languages (DSLs). So far, most DSLs implemented with Xtext and similar tools ...
Package Templates (PT) is a mechanism designed for writing reusable modules, called templates, each consisting of a set of classes that can be adapted to their use ...
A classical approach to program derivation is to progressively extend a simple specification and then incrementally refine it to an implementation. We claim this ...
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 Abstract Domain-specific languages ...
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 ...
INCLUDE{ConferenceHeader} News INCLUDE{WebNews} Generative and component approaches are revolutionizing software development just as automation and componentization ...
2012-09-26 The EAPLS 2012 GPCE/SLE Best Paper Award was given to Ferruccio Damiani, Luca Padovani, and Ina Schaefer for their GPCE'12 paper A Formal Foundation for ...
HistoricalStatistics for TWiki.GPCE12 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...
Sven Efftinge, Moritz Eysholdt, Jan Köhnlein, Sebastian Zarnekow, Wilhelm Hasselbring, Robert von Massow, and Michael Hanus: Xbase: Implementing Domain-Specific Languages ...
Help to spread the word about GPCE'13! Please help us promote GPCE by including the following HTML code in your webpage, which will include the above image link to ...
CALL FOR PAPERS (txt,pdf) INCLUDE{ConferenceHeader} Important Dates Submission of papers: June 14, 2013 Author notification: August 22, 2013 Scope Generative and ...
General Chair: Jaakko Järvi (Texas A M University, USA) Program Chair: Christian Kästner (Carnegie Mellon University, USA) Program Committee: Jonathan Aldrich (Carnegie ...
October 26, 2013 FOSD Workshop October 27, 2013 Opening and Keynote Address 08:30-08:40 Welcome and Introduction 08:40-10:00 Don Batory. Dark Knowledge and Graph ...
Compile-time variability is paramount in many software systems: Users can select desired features and generate a product tailored for their needs. For example, the ...
Joint GPCE/SLE Keynote "Modeling Biology with Solver-Aided Programming Languages" by Ras Bodik (UC Berkeley) Abstract: A good model of a biological cell exposes secrets ...
In the adaptation-based programming (ABP) paradigm, programs may contain variable parts (function calls, parameter values, etc.) that can be take a number of different ...
Xtext is an open-source framework for implementing external, textual domain-specific languages (DSLs). So far, most DSLs implemented with Xtext and similar tools ...
Package Templates (PT) is a mechanism designed for writing reusable modules, called templates, each consisting of a set of classes that can be adapted to their use ...
A classical approach to program derivation is to progressively extend a simple specification and then incrementally refine it to an implementation. We claim this ...
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 Abstract Domain-specific languages ...
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 ...
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 ...
2012-11-25 Submission deadline and program committee have been confirmed. The call for paper is out. 2012-10-03 Just days after GPCE 2012 in Dresden, preparation ...
HistoricalStatistics for TWiki.GPCE13 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...
Help to spread the word about GPCE'13! Please help us promote GPCE by including the following HTML code in your webpage, which will include the above image link to ...
INCLUDE{ConferenceHeader} Important Dates Submission of papers: May 30, 2014 Author notification: July 7, 2014 Scope Generative and component approaches and domain ...
General Chair: Ulrik Pagh Schultz (University of Southern Denmark, DK) Program Chair: Matthew Flatt (University of Utah, USA) Local Organizer: Ivica Crnkovic (Mälardalen ...
Compile-time variability is paramount in many software systems: Users can select desired features and generate a product tailored for their needs. For example, the ...
Joint GPCE/SLE Keynote Programming Cloud-connected Mobile Devices Nikolai Tillmann (Microsoft Research) We are experiencing a technology shift: Powerful and easy-to ...
In the adaptation-based programming (ABP) paradigm, programs may contain variable parts (function calls, parameter values, etc.) that can be take a number of different ...
Xtext is an open-source framework for implementing external, textual domain-specific languages (DSLs). So far, most DSLs implemented with Xtext and similar tools ...
Package Templates (PT) is a mechanism designed for writing reusable modules, called templates, each consisting of a set of classes that can be adapted to their use ...
A classical approach to program derivation is to progressively extend a simple specification and then incrementally refine it to an implementation. We claim this ...
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 Abstract Domain-specific languages ...
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 ...
INCLUDE{ConferenceHeader} Recent news Generative and component approaches and domain-specific abstractions are revolutionizing software development just as automation ...
2012-11-25 Submission deadline and program committee have been confirmed. The call for paper is out. 2012-10-03 Just days after GPCE 2012 in Dresden, preparation ...
HistoricalStatistics for TWiki.GPCE14 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...
The following settings are web preferences of the TWiki.Gmt web. These preferences overwrite the site-level preferences in TWIKIWEB . WIKIPREFSTOPIC , and can be overwritten ...
The International Conference on Generative Programming and Component Engineering (GPCE) Bylaws Organizational Goals Program generation techniques have the potential ...
The International Conference on Generative Programming and Component Engineering (GPCE) Bylaws Aim Program generation techniques have the potential to revolutionize ...
Introduction As the commercial production of software systems moves towards being a traditional industry, automation will necessarily play a more substantial role ...
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 ...
Welcome to the Rice PLT project on Resource Aware Programming (RAP) Languages for embedded software ATTACHURL /emsp.gif Introduction This research group explores the ...
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 ...
The following papers have been accepted for presentation at the conference: On the design of a domain-specific language for OS process-scheduling extensions Julia ...
CALL FOR TOOL DEMONSTRATIONS INCLUDE{ConferenceHeader} Demonstrations Committee Simon Helsen (Chair), University of Waterloo, Canada William Cook, University of Texas ...
CALL FOR PAPERS (closed) INCLUDE{ConferenceHeader} electronic submission at http://gpce.program-transformation.org Scope Generative and component approaches have ...
FINAL CALL FOR PAPERS Third International Conference on Generative Programming and Component Engineering (GPCE'04) Vancouver, October 24-28, 2004 co-located with ...
CALL FOR PARTICIPATION Third International Conference on Generative Programming and Component Engineering (GPCE'04) Vancouver, October 24-28, 2004 co-located with ...
CALL FOR POSTERS INCLUDE{ConferenceHeader} Poster Chair Important Dates Poster proposal submission: Notification of acceptance: Conference: Overview Posters at GPCE ...
CALL FOR PRACTITIONER REPORTS INCLUDE{ConferenceHeader} Industrial Track Chair Important Dates Practitioner report submission: Notification of acceptance: Program ...
CALL FOR TUTORIAL PROPOSALS INCLUDE{ConferenceHeader} Tutorial Chair Jeff Gray, University of Alabama at Birmingham (tutorials04@gpce.org) Important Dates Proposal ...
General chair Tim Sheard (OGI School of Science Engineering at OHSU) Program committee chairs Gabor Karsai (Vanderbilt University) Eelco Visser (Utrecht University ...
The proceedings of GPCE 2004 are published as: G. Karsai and E. Visser, editors. Proceedings of the Third International Conference on Generative Programming and Component ...
Chair: Gabor Karsai This panel will discuss crucial questions about the state and future of Generative Programming. Panelists include: D. Batory, K. Czarnecki, J. ...
GPCE/OOPSLA Demonstration 14 Program Transformations for Re-Engineering C++ Components Ira Baxter, Semantic DesignsLarry Akers, Semantic DesignsMichael Mehlich, Semantic ...
GPCE Demonstration 23 Implementation of DSLs using staged interpreters in MetaOCaml Kedar Swadi , Rice University Tue, 26 Oct., 15.30 16.15, Exhibition Hall Demo ...
To print a page use the Printable entry in the Topic menu or use the following links: Call for Papers Call for Workshops Call for Tutorials Call for Demonstrations ...
Multi-stage Programming in MetaOCaml Description Despite their potential for improving reuse, abstraction mechanisms such as objects, abstract types, polymorphism ...
Program Transformation Systems: Theory and Practice for Software Generation, Maintenance and Reengineering Description As software demands grow, so does the need ...
INCLUDE{ConferenceHeader} GPCE'05 will be held in Tallinn, Estonia and co-locate with ICFP'05 News INCLUDE{WebNews} Generative and component approaches have the potential ...
2004-11-03 The position statement slides from the panel on `Generative Programming: Past Present And Future' are now available. 2004-11-01 GPCE'05 to be held in Tallin ...
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 ...
Instructions The following technical papers have been accepted for presentation at the conference (in no specific order): Efficient Code Generation for a Domain Specific ...
Proposals for additional items for the meeting should be sent to moggi@unige.it by the end of August Proposals for hosting GPCE'07 (or later editions of GPCE) should ...
CALL FOR TOOL DEMONSTRATIONS INCLUDE{ConferenceHeader} Program Chairs Robert Gl ck, University of Copenhagen Michael Lowry, NASA Ames Research Center Program chairs ...
CALL FOR TECHNICAL PAPERS INCLUDE{ConferenceHeader} Program Chairs Robert Gl ck, University of Copenhagen Michael Lowry, NASA Ames Research Center Program chairs ...
FIRST CALL FOR CONTRIBUTIONS 4th International Conference on Generative Programming and Component Engineering (GPCE'05) Sep 29 Oct 1, 2005, Tallinn (Estonia) http ...
CALL FOR PARTICIPATION Third International Conference on Generative Programming and Component Engineering (GPCE'04) Vancouver, October 24-28, 2004 co-located with ...
CALL FOR POSTERS INCLUDE{ConferenceHeader} Poster Chair Important Dates Poster proposal submission: Notification of acceptance: Conference: Overview Posters at GPCE ...
CALL FOR PRACTITIONER REPORTS INCLUDE{ConferenceHeader} Industrial Track Chair Important Dates Practitioner report submission: Notification of acceptance: Program ...
CALL FOR TUTORIAL PROPOSALS INCLUDE{ConferenceHeader} Tutorial Chairs Andrew Malton, University of Waterloo Jeff Gray, University of Alabama at Birmingham Tutorial ...
GPCE/OOPSLA Demonstration 14 Program Transformations for Re-Engineering C++ Components Ira Baxter, Semantic DesignsLarry Akers, Semantic DesignsMichael Mehlich, Semantic ...
GPCE Demonstration 23 Implementation of DSLs using staged interpreters in MetaOCaml Kedar Swadi , Rice University Tue, 26 Oct., 15.30 16.15, Exhibition Hall Demo ...
#OscarNierstrasz Oscar Nierstrasz: Object-oriented Reengineering Patterns ABSTRACT Surprising as it may seem, many of the early adopters of object-oriented languages ...
To print a page use the Printable entry in the Topic menu or use the following links: Call for Papers Call for Workshops Call for Tutorials Call for Demonstrations ...
Program Chairs: Robert Gl ck (University of Copenhagen) Michael Lowry (NASA Ames Research Center) Program Committee Members: Don Batory (University of Texas, USA) ...
Program Transformation Systems: Theory and Practice for Software Generation, Maintenance and Reengineering Description As software demands grow, so does the need ...
Multi-stage Programming in MetaOCaml This tutorial is CONFIRMED . Limited support is available for students, please contact taha@cs.rice.edu. Description Despite ...
INCLUDE{ConferenceHeader} The GPCE 2005 proceedings are available as volume 3676 of Springer LNCS News INCLUDE{WebNews} Generative and component approaches have the ...
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 ...
Important Dates for GPCE'06 DATE ACTION YYYY-MM-DD PERSON IN CHARGE STATUS DESCRIPTION 2005-07 Eelco done GPCE?06 Web site anytime All Advertise GPCE?06 by distributing ...
The tasks that might be more demanding are CAPITALIZED. Tasks of Publicity Chair: PUBCHAIR SET-UP and ADMINISTER the conference web site (others will provide content ...
Important Dates for GPCE'05 (see also GpceTasks ) DATE ACTION YYYY-MM-DD SUBJECT STATUS DESCRIPTION 2004-10-27 GENCHAIR done Preliminary announcement at GPCE'04 business ...
The tasks that might be more demanding are CAPITALIZED. Tasks of Publicity Chair: PUBCHAIR SET-UP and ADMINISTER the conference web site (others will provide content ...
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 ...
Haskell is an advanced purely-functional programming language. Pure functional programming is programming with equations, often defined by pattern-matching. Rewriting ...
Call For Papers ACM SIGPLAN 2010 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'10) Madrid, Spain January, 2010 (Co-located with POPL 2010) http:/ ...
Subscribe at Mailing List for Partial Evaluation and Program Transformation The mailing list is moderated and used to announce events of interest to the PEPM community ...
You may find the following material useful in publicizing PEPM 2008. Call For Papers (PDF version 1 page for printing) Call For Papers (PPT version 1 slide for presentation ...
To print a page use the Printable entry in the Topic menu or use the following links: Call for Papers Call for Workshops Call for Tutorials Call for Demonstrations ...
Program Chairs Kristoffer Rose (Two Sigma Investments, LLC, USA) Janis Voigtl nder (University of Bonn, Germany) Program Committee Members Bertram Felgenhauer (University ...
The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program transformation and generation. For PEPM 2006 ...
Tuorial Submission Format Proposals must be submitted electronically via e-mail, as plain text or in PDF, according to the following template: 1. Title The title ...
The abstracts are available here, here, and here. Monday, January 18, 2010 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Lennart Augustsson: O, Partial Evaluator ...
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, ...
HART 2014 for Papers Dates Committee Submission Program Invited Talk Papers Schedule Local Information Venue Registration Accommodation History Previous Meeting ...
TWiki.HART14 Web Preferences The following settings are web preferences of the TWiki.HART14 web. These preferences overwrite the site-level preferences in TWIKIWEB ...
HistoricalStatistics for TWiki.HART14 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...
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 ...
It is now possible to bookmark individual pages in this TWiki. The URLs tend to get pretty long however. For example, the URL of this page is: http://www.program-transformation ...
Name: Christian Wolfe Email: cmwolfe@loyola.edu Homepage: http://www.lc1201.com Country: USA Comment: Using Stratego XT for conducting researc h on program transformations ...
Name: Jim Alex Email: program-transformation@aestheticsoftware.com Homepage URL: http://www.aestheticsoftware.com Country: USA My Links TWIKIWEB .WelcomeGuest to ...
Name: Jozef Kruger Email: jozef dot kruger at philips dot com Affiliation: Compiler construction/design, program transformation/generation. Homepage URL: http://www ...
Homepage: Karl Trygve Kalleberg Email: karltk near ii.uib.no Affiliation: Research Fellow, University of Bergen, Norway Country: Norway Software Program transformation ...
Name: Ken Meltsner Email: kenneth.meltsner@ca.com Homepage: http://www.ca.com Country: USA Comment: None so far. Currently a Principal Architect at Computer Associates ...
Name: Marc A. Brown Email: marc.brown@pardes.ws Homepage: http://www.pardes.ws Country: Switzerland Comment: Working in algebraic methods for software transformation ...
Profile Name: António Miguel Cruz Email: mcz@sidereus.pt Consultant at Sidereus Consultoria Informática, S.A. Education MSc in Informatics (U. Minho) in Nov 2004 ...
Name: Mike Van Emmerik Email: emmerik at gmail dot com Homepage URL: http://www.vanemmerikfamily.com/mike (home) Boomerang open source decompiler: http://boomerang ...
Name: misim Email: misimboro@yahoo.com Homepage URL: http://http://www.program-transformation.org/TWiki/TWikiRegistration Country: Bosnia and Hercegovina My Links ...
Logo Set WEBLOGO PUBURL /transformation.gif Set WEBLOGODISPLAY Message Set BROADCASTMESSAGE TWiki Platform Settings TWiki platform name: Set WIKITOOLNAME TWiki Image ...
Program-Transformation.Org Main Web Program-Transformation.Org is dedicated to collecting, organizing and disseminating information about all aspects of program transformation ...
2002-06-02 Modified the TWiki code such that the variable definitions in a topic are considered as well. This is particularly useful for defining the SKIN of a topic ...
The following settings are web preferences of the TWiki.Main web. These preferences overwrite the site-level preferences in TWIKIWEB . WIKIPREFSTOPIC , and can be ...
The Type Inferencer is a typechecker for the Octave language. Although the implementation has changed significantly, currently the ideas are only expressed in the ...
TWiki.Octave Web Preferences The following settings are web preferences of the TWiki.Octave web. These preferences overwrite the site-level preferences in TWIKIWEB ...
The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program ...
Call For Papers ACM SIGPLAN 2007 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'07) Nice, France January 15-16, 2007 (Co-located with POPL 2007) http ...
ACM SIGPLAN 2007 Workshop on Partial Evaluation and Program Manipulation (PEPM '07) CONFERENCEDAYS Nice, France co-located with POPL'07 Sponsored by ACM SIGPLAN. ...
Invited Talk by Oege de Moor Joint work with Elnar Hajiyev, and Mathieu Verbaere Abstract Code queries are useful for enforcing coding conventions, navigating a large ...
In preparation You may find the following material useful in publicizing PEPM 2007. For Papers Text suitable for emailing Call For Papers (PDF version 1 page) Please ...
PEPM proceedings in ACM Digital Library PEPM 2006, Charleston, South Carolina, USA (proceedings) PEPM'04: Verona, Italy PEPM 2003: San Diego, California, USA; 1 day ...
To print a page use the Printable entry in the Topic menu or use the following links: Call for Papers Call for Workshops Call for Tutorials Call for Demonstrations ...
Program Chairs G. Ramalingam (Microsoft Research India) Eelco Visser (Delft University of Technology, The Netherlands) Program Committee Members Ras Bodik (University ...
The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program transformation and generation. For PEPM 2006 ...
Tuorial Submission Format Proposals must be submitted electronically via e-mail, as plain text or in PDF, according to the following template: 1. Title The title ...
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 ...
PEPM 2007 for Papers Dates Committee Publicity Advice for Authors Paper Advice Paper Advice Submission Program Talks Meetings Venue Registration Accommodation History ...
2007-07-25 PEPM 2008 will be co-located with POPL 2008 in San Francisco, USA 2006-12-07 program 2006-12-01 papers 2006-11-23 Invited speakers at PEPM 2007: Michael ...
TWiki.PEPM07 Web Preferences The following settings are web preferences of the TWiki.PEPM07 web. These preferences overwrite the site-level preferences in TWIKIWEB ...
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 ...
The following papers have been accepted for presentation at the workshop (in no particular order): Jakob Puchinger and Peter Stuckey. Automating Branch-and-Bound ...
The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program ...
INCLUDE{AimsAndTopics} Submission Categories and Guidelines INCLUDE{SubmissionGuidelines} Important Dates INCLUDE{ImportantDates} Program Committee INCLUDE{ProgramCommittee ...
Call For Papers ACM SIGPLAN 2008 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'08) Nice, France January 7-8, 2008 (Co-located with POPL 2008) http ...
ACM SIGPLAN 2008 Workshop on Partial Evaluation and Program Manipulation (PEPM '08) CONFERENCEDAYS San Francisco, USA co-located with POPL'08 Sponsored by ACM SIGPLAN ...
Ras Bodik (University of California, Berkeley). Program Synthesis by Sketching. Monica Lam (Stanford University): Combining Static and Dynamic Analysis for Securing ...
Subscribe at Mailing List for Partial Evaluation and Program Transformation The mailing list is moderated and used to announce events of interest to the PEPM community ...
You may find the following material useful in publicizing PEPM 2008. Call For Papers (PDF version 1 page for printing) Call For Papers (PPT version 1 slide for presentation ...
Proceedings PEPM proceedings in the ACM Digital Library. PE proceedings in SpringerLink. PE summer school in SpringerLink. Dates and Venues PEPM 2007: Nice, France ...
To print a page use the Printable entry in the Topic menu or use the following links: Call for Papers Call for Workshops Call for Tutorials Call for Demonstrations ...
Program Chairs Robert Gl ck (University of Copenhagen, Denmark) Oege de Moor (Oxford University, UK) Program Committee Members Kenichi Asai (Ochanomizu University ...
The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program transformation and generation. For PEPM 2006 ...
Tuorial Submission Format Proposals must be submitted electronically via e-mail, as plain text or in PDF, according to the following template: 1. Title The title ...
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, ...
PEPM 2008 for Papers Dates Committee Organization Publicity Advice for Authors Research Paper Tool Paper Submission Program Talks Meetings Venue Registration Accommodation ...
2008-07-18 PEPM 2009 will be co-located with POPL 2009 in Savannah, GA, USA 2007-12-06 program. 2007-11-20 Registration is open. 2007-11-12 20 submissions accepted ...
TWiki.PEPM08 Web Preferences The following settings are web preferences of the TWiki.PEPM08 web. These preferences overwrite the site-level preferences in TWIKIWEB ...
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 ...
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 2010 is co-located with the following events: DAMP 2010: Workshop on Declarative Aspects of Multicore Programming PADL 2010: Symposium on Practical Aspects of ...
The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program ...
INCLUDE{AimsAndTopics} The SIGPLAN Republication Policy and ACM's Policy and Procedures on Plagiarism apply. Papers should be submitted electronically via the workshop ...
Call For Papers ACM SIGPLAN 2010 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'10) Madrid, Spain January, 2010 (Co-located with POPL 2010) http:/ ...
ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation (PEPM'10) CONFERENCEDAYS Madrid, Spain co-located with POPL'10 Sponsored by ACM SIGPLAN URLPEPM10 ...
We are proud to present the following two invited talks: Lennart Augustsson (Standard Chartered Bank, UK): O, Partial Evaluator, Where Art Thou? BR BR Abstract: Partial ...
Subscribe at Mailing List for Partial Evaluation and Program Transformation The mailing list is moderated and used to announce events of interest to the PEPM community ...
You may find the following material useful in publicizing PEPM 2008. Call For Papers (PDF version 1 page for printing) Call For Papers (PPT version 1 slide for presentation ...
To print a page use the Printable entry in the Topic menu or use the following links: Call for Papers Call for Workshops Call for Tutorials Call for Demonstrations ...
The abstracts are available here, here, and here. Monday, January 18, 2010 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Lennart Augustsson: O, Partial Evaluator ...
Program Chairs John Gallagher (Roskilde University, Denmark, and IMDEA Software, Spain) Janis Voigtl nder (University of Bonn, Germany) Program Committee Members Wei ...
The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program transformation and generation. For PEPM 2006 ...
Tuorial Submission Format Proposals must be submitted electronically via e-mail, as plain text or in PDF, according to the following template: 1. Title The title ...
The abstracts are available here, here, and here. Monday, January 18, 2010 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Lennart Augustsson: O, Partial Evaluator ...
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, ...
INCLUDE{ConferenceHeader} News INCLUDE{WebNews} INCLUDE{AimsAndTopics} Follow this link for the complete for Papers. There is also a more compact PDF version.
PEPM 2010 for Papers Dates Committee Advice for Authors Research Paper Tool Paper Submission PEPM Program Talks Papers Feature Schedule Local Information Venue Registration ...
2011-01-24 PEPM'11 in Austin. 2010-01-21 Proceedings in the ACM DL. 2010-01-18 49 participants. 2009-11-26 Schedule available. 2009-11-10 Special feature announced ...
TWiki.PEPM10 Web Preferences The following settings are web preferences of the TWiki.PEPM10 web. These preferences overwrite the site-level preferences in TWIKIWEB ...
HistoricalStatistics for TWiki.PEPM10 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...
The following papers (in no particular order) will be presented at the workshop. Regular research papers: Torben Mogensen. Partial Evaluation of the Reversible Language ...
The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program ...
CONFERENCEDAYS Austin, Texas, USA co-located with POPL'11 Sponsored by ACM SIGPLAN URLPEPM11 INCLUDE{AimsAndTopics} The SIGPLAN Republication Policy and ACM's Policy ...
Call For Papers ACM SIGPLAN 2010 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'10) Madrid, Spain January, 2010 (Co-located with POPL 2010) http:/ ...
ACM SIGPLAN 2011 Workshop on Partial Evaluation and Program Manipulation (PEPM'11) 20th Anniversary Edition CONFERENCEDAYS Austin, Texas, USA co-located with POPL ...
We are proud to present the following three invited talks: Charles Consel (INRIA/LaBRI/University of Bordeaux, France): DiaSuite: A Paradigm-Oriented Software Development ...
Subscribe at Mailing List for Partial Evaluation and Program Transformation The mailing list is moderated and used to announce events of interest to the PEPM community ...
You may find the following material useful in publicizing PEPM 2008. Call For Papers (PDF version 1 page for printing) Call For Papers (PPT version 1 slide for presentation ...
To print a page use the Printable entry in the Topic menu or use the following links: Call for Papers Call for Workshops Call for Tutorials Call for Demonstrations ...
The abstracts are available here and here. Monday, January 24, 2011 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Session Chair: Jeremy Siek Olivier Danvy ...
Program Chairs Siau-Cheng Khoo (National University of Singapore, Singapore) Jeremy G. Siek (University of Colorado at Boulder, USA) Program Committee Members Jacques ...
The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program transformation and generation. For PEPM 2006 ...
Tuorial Submission Format Proposals must be submitted electronically via e-mail, as plain text or in PDF, according to the following template: 1. Title The title ...
The abstracts are available here, here, and here. Monday, January 18, 2010 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Lennart Augustsson: O, Partial Evaluator ...
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, ...
INCLUDE{ConferenceHeader} News INCLUDE{WebNews} PEPM 2011 is the 20th edition of the PEPM series! To celebrate this 20th anniversary, the general chairs from the ...
PEPM 2011 for Papers Dates Committee Advice for Authors Research Paper Tool Paper Submission PEPM Program Talks Papers Schedule Local Information Venue Registration ...
TWiki.PEPM11 Web Preferences The following settings are web preferences of the TWiki.PEPM11 web. These preferences overwrite the site-level preferences in TWIKIWEB ...
HistoricalStatistics for TWiki.PEPM11 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...
The following papers (in no particular order) will be presented at the workshop. Regular research papers: Naoki Kobayashi, Kazutaka Matsuda and Ayumi Shinohara. Functional ...
The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the broad area of program transformation, which spans from refactoring ...
CONFERENCEDAYS Philadelphia, Pennsylvania, USA co-located with POPL'12 Sponsored by ACM SIGPLAN URLPEPM12 INCLUDE{AimsAndTopics} The SIGPLAN Republication Policy ...
Call For Papers ACM SIGPLAN 2010 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'10) Madrid, Spain January, 2010 (Co-located with POPL 2010) http:/ ...
ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation (PEPM'12) CONFERENCEDAYS Philadelphia, Pennsylvania, USA co-located with POPL'12 Sponsored ...
We are proud to present the following two invited talks: Markus P schel (ETH Z rich, Switzerland): Compiling Math to High Performance Code BR BR Abstract Extracting ...
Subscribe at Mailing List for Partial Evaluation and Program Transformation The mailing list is moderated and used to announce events of interest to the PEPM community ...
You may find the following material useful in publicizing PEPM 2008. Call For Papers (PDF version 1 page for printing) Call For Papers (PPT version 1 slide for presentation ...
To print a page use the Printable entry in the Topic menu or use the following links: Call for Papers Call for Workshops Call for Tutorials Call for Demonstrations ...
The abstracts are available here and here. Monday, January 23, 2012 Welcome. Best paper award announcement: 8:50 9:00 Invited Talk: 9:00 10:00 Session Chair: Oleg ...
Program Chairs Oleg Kiselyov (Monterey, CA, USA) Simon Thompson (University of Kent, UK) Program Committee Members Emilie Balland (INRIA, France) Ewen Denney (NASA ...
The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the broad area of program transformation and generation. We hope ...
Journal special issues of selected papers from PEPM meetings Special issue of Higher-Order and Symbolic Computation for PEPM'10 Special issue of Higher-Order and ...
Tuorial Submission Format Proposals must be submitted electronically via e-mail, as plain text or in PDF, according to the following template: 1. Title The title ...
The abstracts are available here, here, and here. Monday, January 18, 2010 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Lennart Augustsson: O, Partial Evaluator ...
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, ...
INCLUDE{ConferenceHeader} Online registration open at https://regmaster3.com/2012conf/POPL12/register.php Early registration deadline is December 24, 2011 News INCLUDE ...
PEPM 2012 for Papers Dates Committee Advice for Authors Research Paper Tool Paper Submission PEPM Program Talks Papers Best Paper Award Local Information Venue Registration ...
2011-12-09 Workshop Program posted. 2011-11-19 Registration is now open 2011-11-08 19 papers accepted out of submitted 37. 2011-10-10 Submission deadline extended ...
TWiki.PEPM12 Web Preferences The following settings are web preferences of the TWiki.PEPM12 web. These preferences overwrite the site-level preferences in TWIKIWEB ...
HistoricalStatistics for TWiki.PEPM12 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...
The list of accepted papers and their abstracts are shown below, in no particular order. Regular Research Papers: Jeroen Weijers, Jurriaan Hage and Stefan Holdermans ...
The PEPM Symposium/Workshop series aims at bringing together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program ...
Call For Papers ACM SIGPLAN 2010 Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'10) Madrid, Spain January, 2010 (Co-located with POPL 2010) http:/ ...
ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation (PEPM'13) CONFERENCEDAYS Rome, Italy co-located with POPL'13 Sponsored by ACM SIGPLAN URLPEPM13 ...
We are proud to present the following two invited talks: Zhenjiang Hu (National Institute of Informatics, Japan): Practical Aspects of Bidirectional Graph Transformations ...
Subscribe at Mailing List for Partial Evaluation and Program Transformation The mailing list is moderated and used to announce events of interest to the PEPM community ...
You may find the following material useful in publicizing PEPM 2008. Call For Papers (PDF version 1 page for printing) Call For Papers (PPT version 1 slide for presentation ...
To print a page use the Printable entry in the Topic menu or use the following links: Call for Papers Call for Workshops Call for Tutorials Call for Demonstrations ...
The abstracts are available here and here. Monday, January 21, 2013 Program Chairs' Report and Best Paper Award Announcement: 8:45 9:00 Invited Talk: 9:00 10:00 ...
Program Chairs Elvira Albert (Complutense University of Madrid, Spain) Shin-Cheng Mu (Academia Sinica, Taiwan) Program Committee Members María Alpuente (Technical ...
The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the broad area of program transformation and generation. We hope ...
Journal special issues of selected papers from PEPM meetings Special issue of Higher-Order and Symbolic Computation for PEPM'12, forthcoming Special issue of Higher ...
Tuorial Submission Format Proposals must be submitted electronically via e-mail, as plain text or in PDF, according to the following template: 1. Title The title ...
The abstracts are available here, here, and here. Monday, January 18, 2010 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Lennart Augustsson: O, Partial Evaluator ...
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, ...
INCLUDE{ConferenceHeader} PEPM Proceedings is available for free download from ACM DL during the POPL week! News INCLUDE{WebNews} INCLUDE{AimsAndTopics} Follow this ...
PEPM 2013 for Papers Dates Committee Advice for Authors Research Paper Tool Paper Submission PEPM Program Talks Papers Best Paper Award Program Local Information ...
2012-11-16 A preliminary program is available. 2012-11-15 Information regarding the venue, registration, and accommodation updated. Please note that the early registration ...
TWiki.PEPM13 Web Preferences The following settings are web preferences of the TWiki.PEPM13 web. These preferences overwrite the site-level preferences in TWIKIWEB ...
HistoricalStatistics for TWiki.PEPM13 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...
The PEPM Symposium/Workshop series aims at bringing together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program ...
CONFERENCEDAYS San Diego, California, USA co-located with POPL'14 Sponsored by ACM SIGPLAN URLPEPM14 INCLUDE{AimsAndTopics} Papers should be submitted electronically ...
C A L L F O R P A P E R S P E P M 2014 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation http://www.program-transformation.org/PEPM14 January 20 ...
ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation (PEPM'14) CONFERENCEDAYS San Diego, California, USA co-located with POPL'14 Sponsored by ...
We are delighted to have the following two invited speakers: Michal Moskal (Microsoft Research, USA): Lessons from a Web-Based IDE and Runtime Abstract At Microsoft ...
Subscribe at Mailing List for Partial Evaluation and Program Transformation The mailing list is moderated and used to announce events of interest to the PEPM community ...
You may find the following material useful in publicizing PEPM 2008. Call For Papers (PDF version 1 page for printing) Call For Papers (PPT version 1 slide for presentation ...
To print a page use the Printable entry in the Topic menu or use the following links: Call for Papers Call for Workshops Call for Tutorials Call for Demonstrations ...
Monday, January 20th, 2014 09:00 10:00 Invited Talk Session Chair: Wei-Ngan Chin Michal Moskal: Lessons from a Web-Based IDE and Runtime 10:30 12:00 Meta-Programming ...
Program Chairs Wei-Ngan Chin (National University of Singapore, Singapore) Jurriaan Hage (Utrecht University, Netherlands) Program Committee Members Eacute;velyne ...
The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the broad area of program transformation and generation. We hope ...
Journal special issues of selected papers from PEPM meetings Special issue of Higher-Order and Symbolic Computation for PEPM'12, forthcoming Special issue of Higher ...
Tuorial Submission Format Proposals must be submitted electronically via e-mail, as plain text or in PDF, according to the following template: 1. Title The title ...
The abstracts are available here, here, and here. Monday, January 18, 2010 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Lennart Augustsson: O, Partial Evaluator ...
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, ...
INCLUDE{ConferenceHeader} PEPM Proceedings will be available for free download from ACM DL during the POPL week! News INCLUDE{WebNews} INCLUDE{AimsAndTopics} Follow ...
PEPM 2014 for Papers Dates Committee Advice for Authors Research Paper Tool Paper Submission PEPM Program Talks Papers Best Paper Award Program Local Information ...
2013-12-17 Michal Moskal, a co-developer of TouchDevelop, will be giving the invited talk in place of Manuel Fahndrich 2013-11-29 A preliminary program is now available ...
TWiki.PEPM14 Web Preferences The following settings are web preferences of the TWiki.PEPM14 web. These preferences overwrite the site-level preferences in TWIKIWEB ...
HistoricalStatistics for TWiki.PEPM14 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...
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 ...
There are two mailing lists that you may want to subscribe to. psat-commits All SVN-, Jira- and Buildfarm-messages. To stay really up to date. psat-dev List for ...
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 ...
There where two sources that made the idea for PHP-Sat. The first source of inspiration came from my work as a assistant at the course "internet programmeren" (Internet ...
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 following text was submitted as my proposal for Google's Summer of Code 2006: Project Title Using static analysis to find vulnerabilities Synopsis Applications ...
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 ...
We would like to thank the following people/projects/institutes for contributing to PHP-SAT: (In alphabetical order) Bravenboer, Martin For being my mentor during ...
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 ...
SDF2 is a rich formalism for the definition of the syntax of all kinds of computer languages. This page explores the possibilities of the formalism by means of a number ...
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 ...
Full bibliography of SDF CWI SEN1 publications Syntax Definition and Parsing publications in the list of publications by Eelco Visser Language Filters For Scannerless ...
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 ...
SDF2 is a rich formalism for the definition of the syntax of all kinds of computer languages. This page explores the possibilities of the formalism by means of a number ...
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 ...
Quick Introduction to SDF describes the essence of SDF2 in 3 pages. The continuously updated SDF manuals: Quick introduction to syntax analysis PDF The Syntax Definition ...
Full bibliography of SDF CWI SEN1 publications Syntax Definition and Parsing publications in the list of publications by Eelco Visser Language Filters For Scannerless ...
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 ...
Debugging Stratego in Spoofax Projects Spoofax supports debugging of Stratego code used in the implementation of the various editor services. The Stratego debugger ...
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 ...
Publications See also the publication list on researchr The Spoofax Language Workbench Lennart C. L. Kats, Rob Vermaas, Eelco Visser. Integrated Language Definition ...
This short primer shows how to use tests as a basis for language development with Spoofax. As an example project we create a small 'calculator' language that shows ...
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 ...
An abstract syntax is a representation of a source code (or data in general) that is independent of the representation of the program in source code, called the syntax ...
Description An abstract syntax tree is a tree representation of a source program. It abstracts more from the source program than a parse tree. Usually it doesn't ...
B. Fischer and E. Visser. Adding concrete syntax to a Prolog-based program synthesis system (extended abstract). In M. Bruynooghe, editor, Preliminary proceedings ...
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 ...
AutoBayes is a program synthesis for the domain of statistical data analysis. Stratego/XT is used in combination with AutoBayes to (1) provide concrete syntax for ...
The autoxt package provides Autoconf and Automake support for packages constructed with the XT toolset. The package provides the autoxt tool which should be run as ...
The binding of a term variable does not coincide with its binding. That is, in the strategy expresssion {x : ... ; ?Foo(x) ; ... ; !Bar(x) } the variable x is first ...
TOC Description The bibtex-tools package provides components for processing BibTeX files, mainly for producing publication lists in PDF and HTML automatically from ...
The released versions of BibtexTools are currently not available. You can check out the sources directly from https://svn.strategoxt.org/repos/StrategoXT/bibtex-tools ...
Main.EelcoDolstra and Main.EelcoVisser. Building Interpreters With Rewriting Strategies In Transform.MarkVanDenBrand and Transform.RalfLaemmel (editors) Workshop on ...
E. Visser, Z.-e.-A. Benaissa, and A. Tolmach. Building program optimizers with rewriting strategies. In Proceedings of the third ACM SIGPLAN International Conference ...
A few months ago I proposed to introduce character literals in Stratego as syntactic sugar for the integer ASCII value of the character. I would like to raise this ...
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 ...
Jonne van Wijngaarden, Code Generation from a Domain Specific Language. Designing and Implementing Complex Program Transformations MSc Thesis INF/SCR-03-29, Institute ...
K. Olmos and E. Visser. Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules. In R. Bodik, editor, 14th ...
M. Bravenboer and E. Visser. Concrete Syntax for Objects. Domain-Specific Language Embedding and Assimilation without Restrictions. In D. C. Schmidt, editor, Proceedings ...
TOC Description The concrete-syntax package provides parse-cs, a generic program for parsing programs with embedded syntax. The program is parameterized with meta ...
Terms are constructed dynamically, even when they are are constant at compile time. Constant term caching is a transformation that lifts out constant terms and constructs ...
Here are some debugging techniques Reduce the specification and the input to localize the error Format Checking Use a FormatChecker to verify the results of transformations ...
O. S. Bagge, K. T. Kalleberg, M. Haveraaen and E. Visser. Design of the CodeBoost transformation system for domain-specific optimisation of C++ programs. In D. Binkley ...
rules allow the run-time addition of rewrite rules. This can be used to model context-sensitive rewriting and has a host of applications in program transformation ...
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 ...
First Stratego Users Day March 24, 2000 CWI, Amsterdam On Friday, March 24, 2000, Merijn de Jonge and Joost Visser of CWI, Amsterdam will host the first 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 ...
Stratego is a modular language for the specification of fully automatic program transformation systems based on the paradigm of rewriting strategies. The construction ...
Transform.PatriciaJohann and Main.EelcoVisser. Strategies for Fusing Logic and Control via Local, Application-Specific Transformations. Technical Report UU-CS-2003 ...
TOC Introduction The Stratego/XT Grammar Engineering Tools is a collection of tools for the recovery, development, testing, and maintenance of grammars. Currently ...
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 ...
by Transform.ArneDeBruijn August 10, 2001 INF/SCR-01-11 Master thesis, Institute of Information and Computing Sciences, Universiteit Utrecht Abstract All modern compilers ...
TOC Introduction We need to improve the IO facilities in the SSL. Because the oldest strategies are to abstract, many different implementations have been created ...
TOC Features Java-front is a package you can use to generate or transform Java code. It contains a handcrafted SDF grammar for Java, signatures generated from this ...
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 ...
Java-Swul parts The user interface of JavaJuke is build using Java-Swul. The interface source is a mixture of using Swul to create default Swing components and integrating ...
TOC Introduction The examples covered in this page show some of the capabilities of Java-Swul. All the examples are based on code in the xmpl directory in the Java ...
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 ...
Language Independent Traversals for Program Transformation. EelcoVisser. Workshop on Transform.GenericProgramming (Transform.WGP'00), July 2000. Ponte de Lima, Portugal ...
Good layout is important for the readability and hence maintainability of programs. This holds for any programming language. Stratego aims at not only providing a ...
MetaBorg is a method for providing concrete syntax for domain abstractions to application programmers. The method consists of embedding domain-specific languages in ...
E. Visser. Meta-programming with concrete object syntax. In D. Batory, C. Consel, and W. Taha, editors, Generative Programming and Component Engineering (GPCE'02) ...
StrategoXT On Microsoft Windows StrategoXT requires Cygwin. In StrategoXT 0.9.4 all serious problems on Microsoft Windows/Cygwin are solved. Standard tarball distributions ...
The newname strategy is a variant of the new strategy, which generates a new unique string. Newname generates unique strings, just like new, but it also accepts a ...
for the Stratego Tutorial at ETAPS 2002 language constructs: overview of topics covering constructs of the language Glossary: explanation of terminology Card data ...
An optimizer for the Transform.PanLanguage was implemented in Stratego as part of a research on Transform.InliningStrategies. It performs the following optimizations ...
TOC Introduction Extensible Compilers. Many extensible compilers and programming languages allow the syntax of a base language to be extended to introduce new syntactic ...
A simple PIL tutorial PIL is a language based on a small subset of Java, but simpler and with a few subtle differences and convenient additions. Let's start with ...
Karl Trygve Kalleberg and Eelco Visser. Proceedings of the Sixth Stratego User Days . (SUD'05), Utrecht, The Netherlands, May 2 4, 2005. Technical Report UU-CS-2005 ...
M. Bravenboer, A. van Dam, K. Olmos, and E. Visser. Program Transformation with Scoped Dynamic Rewrite Rules. Fundamenta Informaticae, 69:1--56, 2005. (techrep) Abstract ...
E. Visser. Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in StrategoXT-0.9. In C. Lengauer et al., editors, Domain-Specific Program ...
The prolog-tools package provides basic support for processing Prolog programs. The package provides a syntax definition, pretty-printer, and signature for the language ...
After GPCE/OOPSLA in Vancouver Tijs van der Storm challenged me to write a Stratego program that prints its own source. So I set to work, with the following result ...
This page provides the tentative scheduling for future releases of StrategoXT. See PastReleases for an overview of the development of StrategoXT. Note that except ...
B. Fischer and E. Visser. Retrofitting the AutoBayes Program Synthesis System with Concrete Object Syntax. In C. Lengauer et al., editors, Domain-Specific Program ...
M. Bravenboer and E. Visser. Rewriting Strategies for Instruction Selection. In S. Tison, editor, Rewriting Techniques and Applications (RTA'02), volume 2378 of Lecture ...
RhoStratego is a functional language supporting first-class rules and generic traversal. Download The following releases are available: rhostratego-0.1.tar.bz2 The ...
In stratego all information is represented as a ATerm. An ATerm can be thought of as a structured tree-like representation of the information that needs to be transformed ...
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 ...
E. Visser. Scoped dynamic rewrite rules. In M. van den Brand and R. Verma, editors, Rule Based Programming (RULE'01), volume 59/4 of Electronic Notes in Theoretical ...
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 ...
A pragmatic approach to separate compilation has been introduced in StrategoRelease094. A module can be compiled as a library which results in a single C program containing ...
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 ...
Alan van Dam. Simplifying the Simplifier. HsOpt: a modular, rewrite rule based simplifier for the Helium compiler, a non-strict functional compiler. Institute of Information ...
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 ...
Jozef Kruger. Specification Of Loop Optimizations In Stratego. Improving the AutoBayes System . Master's thesis. Institute of Information and Computing Sciences, Utrecht ...
K. Olmos and E. Visser. Strategies for Source-to-Source Constant Propagation. In B. Gramlich and S. Lucas (editors) Second International Workshop on Reduction Strategies ...
E. Visser. Stratego: A language for program transformation based on rewriting strategies. System description of Stratego 0.5. In A. Middeldorp, editor, Rewriting Techniques ...
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 ...
We have downloaded and are starting to look at and study some of the tools, in particular the Stratego tools and their CobolX couterpart. Good! We would also like ...
Delft University of Technology The Program Transformation project of the Software Engineering Research Group at the Delft University of Technology takes care of most ...
Introduction The Stratego Compiler translates a Stratego specification to a C program. The compiler is completely implemented in Stratego (except for the parser, ...
There are several DebuggingTechniques for debugging Stratego programs. More support from the StrategoCompiler could be useful sometimes. Tracing Since StrategoRelease062 ...
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 ...
Upcoming STARTINCLUDE 2009-06-16 Code Generation 2009 tutorial on Creating Domain-Specific Languages with Stratego/XT. STOPINCLUDE Past 2008-10-21 OOPSLA 2008 talk ...
The front-end of the compiler parses the source modules, performs several checks on them, integrates multiple definitions, and produces a CoreStratego program for ...
Since its always interesting to see how ideas develop, this page contains a reconstruction of the development of StrategoLanguage and its implementation. March 1997 ...
Stratego/J: A Stratego Core Format Engine Stratego/J is an execution engine for the Stratego language, implemented in Java. It allows the execution of the full Stratego ...
INCLUDE{WebNotice} Stratego is a small and efficient domain-specific language for program transformation. It is based on the paradigm of programmable rewriting strategies ...
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 ...
Although the traversal strategy that is used can have great impact on the performance of Stratego programs, there is no mechanism (except for time measurements) to ...
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 ...
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 ...
Release Notes StrategoXT Version 0.14 Bug STR-59 sdf syntax: seq/2 overloaded STR-82 prettyprinting of seq in iter-sep fails STR-230 sglri does not support input ...
Stratego/XT 0.15 released July 5, 2005 This is an experimental release featuring a refactoring of the internals of the language definition and compiler. Please report ...
Stratego/XT 0.16 released November 4th, 2005 RED Warning: ENDCOLOR This release has known issues with recent GCC 4.x, GNU Make 3.81, Mac OS X, and operating systems ...
Release Notes Stratego/XT Version 0.16 (Stratego Core Compiler) Bug STR-14 Scoping problem at higher optimization levels STR-15 strc doesn't work if invoked with ...
Stratego/XT STRATEGOXTVERSION released August 31st, 2005 Download See the installation instructions if you are not familiar with the standard installation procedure ...
Release Notes Stratego/XT Version 0.16M1 (bugs in 0.15) Bug STR-85 Sloppy variable-scope in let-strategies STR-145 Shared libraries are not shared at Cygwin: static ...
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 ...
Changes since StrategoRelease053 Summary Dynamic rules: see ScopedDynamicRewriteRules paper Lots of improvements to the library (thanks Main.HedzerWestra and Main ...
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.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 ...
Released January 14, 2005 Download Shell 0.4 requires Stratego/XT 0.13 and the GNU Readline library. Source tar.gz stratego-shell-0.4 Source RPM stratego-shell-0.4 ...
Released May 20, 2005 Download Shell VERSION requires Stratego/XT 0.14 and the GNU Readline library. Source tar.gz stratego-shell- VERSION Source RPM stratego-shell ...
Released November 04, 2005 Download Shell VERSION requires Stratego/XT 0.16 and the GNU Readline library. Source tar.gz TARNAME VERSION Source RPM TARNAME VERSION ...
Strategies for Program Transformation Stratego Tutorial at ETAPS Full Day Tutorial on April 14, 2002 at Transform.ETAPS 2002 in Grenoble, France Handouts are now ...
Stratego/XT is the combination of the language for strategic programming with the XT bundle of transformation tools. XT XT is a bundle of transformation tools that ...
Martin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas and Eelco Visser. Stratego/XT 0.16: Components for Program Transformation Systems . In J. Hatcliff and F. Tip ...
SystemS is the name for the system of combinators that form the core of the StrategoLanguage. SystemS is described in the following papers: Program Optimizers with ...
Template-based code generation is an idiom for program transformation in which the structure of the target code drives the generation process. Jonne van Wijngaarden ...
The Dryad Compiler is an open compiler for the Java platform, based on The Dryad. TOC Overview of Features The Dryad Compiler is a compiler for a language formed by ...
Utrecht University, Friday May 3, 2002 Stratego is a language for program transformation based on the paradigm of rewriting strategies. The language is being used ...
On May 3, 2002 the ThirdStrategoUsersDay was held at Utrecht University. During the day seven presentations about features or applications of Stratego were given. ...
StrategoXT encourages a development model in which stand-alone components are developed for separate aspects of program transformation, instead of implementing integrated ...
K. Olmos and E. Visser. Turning dynamic typing into static typing by program specialization. In D. Binkley and P. Tonella, editors, Third IEEE International Workshop ...
PatriciaJohann and EelcoVisser. Warm fusion in Stratego: A case study in the generation of program transformation systems. Annals of Mathematics and Artificial Intelligence ...
Warm fusion is a program transformation technique for deforesting functional programs developed by John Launchbury and Tim Sheard. Warm fusion works by the cata/build ...
INCLUDE{WebNotice} Stratego/XT Stratego/XT is now part of the Spoofax Language Workbench, which provides an Eclipse plugin for developing SDF and Stratego, and creating ...
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 ...
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 ...
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 ...
TXL solution to Chairmarks #4.5: Static slicing. This example implements backward static slicing using cascaded markup to a fixed point. Notes: In an implementation ...
TXL solution to Chairmarks #3.2, Common subexpression elimination. Thie simple example demonstrates the basics of common subexpression elimination at the statement ...
TXL solution to Chairmarks #4.6: Clone detection with consistent renaming. This example implements clone detection for clones of structured statements (if, while, ...
TXL solution to Chairmarks #2.3, Declarations-to-global, move all declarations from any nesting level to the global scope. Main.JamesCordy 02 Nov 2005 File "TILtoglobal ...
TXL solution to Chairmarks #2.4, Declarations-to-local, move all declarations to their most local location. Main.JamesCordy 02 Nov 2005 File "TILtolocal.Txl" TXL ...
TXL solution to Chairmarks #4.6: Clone detection. This example implements clone detection for exact clones of structured statements (if, while, for) in a TIL program ...
TXL solution to Chairmarks #2.2, transform all "for" statements to their equivalent "while" statement form. Main.JamesCordy 10 Oct 2005 File "TILfortowhile.Txl" ...
Overrides refer to nonterminal modifications or extensions to a fixed base grammar for the purpose of extending the language or customizing the parse to the task ...
A more sophisticated TXL solution to Chairmarks #3.1, Move all invariant assigned computations outside of while loops. This is a more sophisticated version of Invariant ...
TXL solution to Chairmarks #3.1, Move all invariant assignments outside of while loops. This is a simple demonstration of the basics of data flow checking and code ...
Software Transformation Systems Workshop 2004 STS04 was arranged Sunday, October 24th 2004 as part of Generative Programming and Component Engineering 2004 (GPCE'04 ...
STS'06: Software Transformation Systems Workshop part of the Fifth international conference on Generative Programming and Component Engineering (GPCE'06) October ...
TXL solution to Chairmarks #4.3: Self-tracing program transformation. Main.JamesCordy 10 Oct 2005 File "TILtrace.Txl" Simple transform to make a Tiny Imperative ...
Factoring is a general method for separating various orthogonal attributes of source code in order to simplify and clarify manipulation and transformation by handling ...
TXL solution to Chairmarks #3.5, Statement folding, recognizing and optimizing compile-time known if statements, and possibly while and for statements. Thie simple ...
TXL solution to Chairmarks #3.3, Strength reduction, recognize opportunities to reduce multiplication by an iterator to iterative addition. Thie simple example demonstrates ...
TXL solution to Chairmarks #4.7: Syntactic markup Marking up program statements or expressions with some structural property. This example demonstrates the use of ...
A TXL solution to Chairmarks #1.3, the begin-end syntax extension for the Imperative Language. TXL is designed for implementing language extensions, so adding a new ...
The Chairmarks are a small set of little benchmark transformation tasks, all based on the Imperative Language (TIL). They are called "chairmarks" because they are ...
TXL solution to Chairmarks #5.1: A complete Imperative Language interpreter implemented as a standalone TXL source transformation. No other libraries or support modules ...
TXL solution for Chairmarks #1: A parser for the Imperative Language (TIL) implemented in TXL. This is the entire solution, run using the command "txl program.til ...
In TXL, all parsers are also pretty printers, so see the Parser Using TXL if comments are not an issue. Because the TXL solution to preserving formatting and comments ...
Imperative Language (TIL) Example Programs Only a couple so far, hopefully many more to come. We've assumed a C++ style commenting convention for the TIL language ...
This is a proposal for a Tiny Imperative Language for setting tiny benchmarks of source transformation systems such as the Chairmarks. Main.EelcoVisser Main.JamesCordy ...
TXL solution to Chairmarks #4.4: Type inference. This example implements type inference for untyped variables in a TIL program and flags all type conflicts and ambiguous ...
This wiki has been created following the Workshop on Software Transformation Systems at GPCE'04 in Vancouver on October 24, 2004. The purpose of the wiki is to collect ...
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 ...
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 ...
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 ...
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 ...
TOC STARTINCLUDE # TWiki Forms Form-based input in topics, with name/value pairs stored as Meta Data variables; choose one of multiple forms per web topic Overview ...
TOC STARTINCLUDE # TWiki::Func Module Documentation Official list of stable TWiki functions for Plugin developers Description This module defines official funtions ...
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 #MetaDataDefinition # TWiki Meta Data Additional topic data, program-generated or from TWikiForms, is stored in META variable name/value pairs Overview ...
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 ...
TOC STARTINCLUDE # TWiki Site Tools Utilities for searching, navigation, and monitoring site activity TWikiSiteTools include utilities for navigating, searching and ...
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{depth "4"} STARTINCLUDE # TWiki Text Formatting Working in TWiki is as easy as typing in text exactly like email . You don't need to know HTML, though you can ...
TOC STARTINCLUDE # Windows Install Cookbook Introduction This cookbook is intended to get you up and running with TWiki on Windows quickly, with as few problems as ...
The diagram below depicts the data flow in the TigerCompiler for the HpcProject. Red edges denote the data flow of the compiler. Green edges denote data flow in the ...
Appel writes in the preface to Modern Compiler Implementation in ML: Over the past decade there have been several shifts in the way compilers are built. New kinds ...
The default escaping variables analysis is very conservative and makes all variables escaping by annotating their declaration with Stack(x) . In order for your compiler ...
This is the Wiki entry for the course on High-Performance Compilers given at Utrecht University in the Fall of 2000. The official website of the course is http://www ...
There are a bunch of test cases in the xmpl subdirectory of the TigerXmpl package. After you have built the TigerCompiler or just some of its CompilerPackages, you ...
Canonicalization of IR Programs This is the third set of HpcExercises. The final goal of this set of exercises is the definition of a transformation that brings IR ...
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 ...
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 ...
The Tiger compiler compiles Tiger programs to MIPS assembly code, which can be simulated by the Simulator. The compiler is the main product of the Tiger in Stratego ...
Tiger-Rename is a component of the TigerCompiler in the TigerFront package. It renames bound variables to a unique name such that no two variables declared in different ...
Implement translation of TigerAbstractSyntax expressions to IntermediateRepresentation code in module TAS2IR in the TigerTrans package. The TigerTrans package contains ...
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 ...
The following settings are web preferences of the TWiki.Tiger web. These preferences overwrite the site-level preferences in TWIKIWEB . WIKIPREFSTOPIC , and can be ...
Introduction The ATerm (Annotated Term) Format is a format for exchanging structured data between tools. The ATerm format is a generic internal and external representation ...
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 ...
Description Autobundle is a utility for making software distributions by bundling multiple (third-party) software packages. Autobundle promotes the development of ...
The KoalaCompiler is developed as a component-based system using Stratego.StrategoXT: The system is implemented as a set of program transformation tools. Different ...
Downloading JJForester via the Online Package Base The JJForester software package is available from the Online Package Base at: http://www.program-transformation ...
The tool koala-c translates the bindings defined in a Koala composition to C. The program takes as input a Koala composition and produces as output a set of .c/.h ...
A picture of a Koala specification can be generated with the koala-dot tool. This tool reads a Koala composition, normalizes it and transforms a grapg in DOT format ...
The pp-aterm tool adds layout to an ATerm to make its structure more clear. Example: The following Tiger program let function fact(n : int) : int if n is represented ...
Name pptable-diff Synopsis pptable-diff patch prune o output new table old table Description This program writes to standard error a list of pretty-print rules that ...
XT: Transformation Tools XT is a bundle of tools for building program transformation systems. The tools include parser generation, pretty-printing, abstract syntax ...
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 ...
The following settings are web preferences of the TWiki.Tools web. These preferences overwrite the site-level preferences in TWIKIWEB . WIKIPREFSTOPIC , and can be ...
How to InstallXT Trash.HowToConnectParsersAndPrettyPrintersToYourStrategoPrograms HowToDefinePrettyPrintTables HowToObtainAbstractSyntaxTrees HowToPrettyPrintAGrammar ...
The generator development platform ANGIE provides a script language, a compiler for this language and a runtime system. The freeware version of ANGIE is named "ANGIE ...
Homepage: http://cs.nyu.edu/~jessie/apts.html APTS is a the Abstract Program Transformation System developed by RobertPaige. CategorySystem Contributions by Main ...
A Refactoring Tool for Smalltalk by DonRoberts, JohnBrant, and RalphJohnson Available online: http://st-www.cs.uiuc.edu/~droberts/tapos/TAPOS.htm This article introduces ...
Homepage: http://ase.informatik.uni-essen.de Conference on Automated Software Engineering Deadline: June Conference: November Description (from the call for papers ...
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 ...
E. Visser. A Survey of Strategies in Rule-Based Program Transformation Systems. Journal of Symbolic Computation, 40(1):831--873, 2005. Special issue on Reduction Strategies ...
The DeCompilation Wiki pages are a part of the program transformation Wiki. They are based on Cifuentes' decompilation pages (1998 2001), which were based on pages ...
Acacia, the C++ Information Abstraction System, is a collection of analysis and ReverseEngineering tools for CPP developed by AT T . CCia creates a program database ...
Description Objectoriented programs are easier to extend than programs which are not written in an objectoriented style, but objectoriented programs are still ...
A sub-site of ProgramTransformationOrg gives a view of the pages in the XTWikiWiki high-lighting a specific subject. Such subsites have their own URL such that they ...
An attempt to automate software reuse at NASA, particularly for domain specialists who are unfamiliar with available software libraries. They implemented a system ...
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: ...
TOC Hello release From Boomerang's test/windows/hello release.exe (I had to force the entry point): Original source code: LRESULT CALLBACK WndProc(HWND hWnd, UINT ...
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 ...
Description Application extraction is a ProgramTransformation technique that aims at reducing the size of a program by removing (library) code that is not used in ...
Description Functional decomposition is good for flexibility, maintainance and modularity of programs. However, it is not necessarily good for other aspects of programming ...
Aspect-Oriented Programming by GregorKiczales, JohnLamping, AnuragMendhekar, ChrisMaeda, ChristinaVideiraLopes, JeanMarcLoingtie and JohnIrwin. In Proceedings of ...
Decompilation from assembly language is easier than decompiling native executable (machine code) programs, but harder than decompiling programs compiled to virtual ...
Attribute grammars were introduced by DonaldKnuth in 1968 for the definition of the semantics of (programming) languages. An attribute grammar is a specification that ...
Every few months, I get an email asking where to find an automatic decompiler that will take a binary as input and produce good quality C or C++ code for maintaining ...
Homepage: http://www.cs.berkeley.edu/Research/Aiken/bane.html The Berkeley ANalysis Engine (BANE) is a toolkit for constructing program analyses such as dataflow ...
The idea is to position the basic blocks of a procedure in such a way that most executions of the code will fall through branches (forward branches are typically predicted ...
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 ...
Binary Optimisers are sometimes called "Post Link optimisers". These products can be viewed as "X to X binary translators". Another name is Binary Rewriting systems ...
The Bird-Meertens Formalism (also called Squiggol) is a calculus for deriving programs from specifications (in a functional program setting) devised by RichardBird ...
This page was rescued from Google's cache of http://orion.planet.de/~jan/Snippets.9707/ g0311.html . G.3.17 decompil.txt Date last modified: 05-Jul-1997 Question: ...
This page is my refutation of a Frequently Asked Question answer on decompilation. The original page is difficult to find now in its complete form, so I have archived ...
Building Program Understanding Tools Using Visitor Combinators by Transform.ArieVanDeursen and Transform.JoostVisser This paper describes how Transform.VisitorCombinators ...
Editors (TWikiUsers) The following is a list of registered users , i.e., the editors that created the content on this site. All it takes to become an editor is to ...
Description Cocktail is a set of program generators or compiler construction tools for nearly all phases of a compiler. The compiler construction tools support the ...
CodeCompaction is a class of ProgramOptimizations that reduce the size of a program. This is especially important for embedded software that is used on devices with ...
CodeCrawler is a language independent ReverseEngineering tool for systems written in ObjectOrientedProgrammingLanguages which combines metrics and SoftwareVisualization ...
Code generation (also called selection) is a transformation performed in the back-ends of compilers. At this state of compilation representation expressions are transformed ...
Cognitive models of program comprehension model the mental processes involved in program understanding. In most cognitive models, hypotheses are key drivers of the ...
Colm: COmputer Language Manipulation Homepage: http://www.complang.org/colm/ Colm is a programming language designed for the analysis and transformation of computer ...
In the paradigm of Compilation by Transformation many aspects of compilation are implemented as a series of simple ProgramTransformations on the source code or intermediate ...
Homepage: http://i44w3.info.uni-karlsruhe.de/~compost/ Compost is a framework for program transformation and analysis implemented in Java. UweAssman OPTIMIX
ConceptAnalysis is a mathematical approach to building taxonomies. Given a set of objects, a set of attributes, and a feature table telling which object has which ...
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 ...
The compiler should effectively continuously transform a program from an interpreted to a fully optimized form. http://www.cs.wustl.edu/~plezbert/contcom/ RonCytron ...
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 ...
Several papers covering DSL design issues such as DomainEngineering are discussed in the DSLAnnotatedBibliography. This page contains several DSLBibliographyAdditions ...
A number of example DSLs are discussed in the DSLAnnotatedBibliography. This page contains several DSLBibliographyAdditions, presenting example DomainSpecificLanguages ...
http://www.decompile.com The Database Managers company used to offer DataFlex Decompilers in two forms: as a stand-alone licensed program or as a service. Now, they ...
In information systems, or data-oriented applications, i.e., in applications the central component of which is a database (or a set of permanent files), it is generally ...
dcc is a research decompiler, written as a proof of concept for Cifuentes' PhD thesis. A complete distribution of dcc (executable, source, tools to generate signatures ...
TOC The tests performed here are downloaded from the file test.zip, part of the dcc distribution. It should be remembered that these tests were therefore chosen to ...
RESUME MAURICE HOWARD HALSTEAD BA University of California, Berkeley 1940 MS U. S. Naval academy1 pas (Annapolis) 1943 PhD Johns Hopkins (Baltimore) 1951 PROFESSIONAL ...
Decompilation is a ProgramTransformation by which a high-level source code for an executable program is discovered. Decompilation is the inverse of ProgramCompilation ...
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 ...
This information is pieced together from a few sources. I hope it is still accurate. In about 1985, Jim Reuter wrote decomp, a decompiler for the Vax BSD 4.2 (a.out ...
This is the readme file for the "decomp" decompiler by Jim Reuter. This README file describes the decompiler that resides in this directory. WHAT IT IS: The decompiler ...
Anakrino .NET to C# Decompiler Tests Anakrino is a .NET to C# decompiler, released under a BSD-like license. These tests refer to "Interim #9" (Anakrino9.zip). Anakrino ...
The colloquial use of "reverse engineering" and the formal one are somewhat different. Crackers speak of "reversing" a program, when they are talking about a quick ...
The Boomerang Decompiler and Tests Boomerang is an attempt at a complete, retargetable decompiler for native executable programs, released under a BSD style (open ...
ClassCracker 3 Java Decompiler Simple Tests I performed some simple tests on ClassCracker 3 (version 3.01), purely as a decompiler. TOC Fibo For source code, see ...
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 ...
Question 38.4 of the C++ FAQ LITE demonstrates a typical negative reaction to the basic question "how can I decompile a C++ executable file?". I don't mean any offense ...
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 ...
JReversePro (Java Decompiler) Simple Tests I installed JReversePro version 1.4.1 (binary distribution; Sourceforge page is here). TOC Fibo For source, see DecompilerFiboTestSource ...
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 ...
Is Decompilation Possible? Almost every week requests for decompilation programs are made in newsgroups (like comp.lang.c), and these are usually replied with: It ...
The Decompilation Process The main problems with decompilation are the separation of data and code (i.e. obtaining a complete disassembly of the program), the reconstruction ...
Reflector .NET to C# Decompiler Tests Reflector is a .NET browser with an integrated C# decompiler. It will also display the code "translated" into Visual Basic or ...
This page contains links to projects peripherally related to decompilation. TOC Binary files Information on the internal format of binary files at the Wotsit's File ...
Source Again Java Decompiler Tests TOC Ahpah kindly provided a copy of Source Again Professional version 1.10j (a commercial decompiler). Earlier tests were based ...
Salamander .NET to C# Decompiler Tests Salamander is a commercial .NET to C# decompiler. TOC Fibo For source, see DecompilerFiboDotNetSource. Decompiled source from ...
SourceTec Java Decompiler Simple Tests SourceTec, also known as Jasmine, is an old decompiler; in fact it's a patch to Mocha, probably the very first Java decompiler ...
The Andromeda Decompiler is not available to the public at present, so the only example of its use is usually limited to the very impressive demo program. I asked ...
This program is adapted from the book Decompiling Java, chapter 1. using System; public class Casting { public static void Main(String args){ for(char c (char)0; c ...
This program is from the book Decompiling Java, chapter 1. public class Casting { public static void main(String args ){ for(char c 0; c The only real trick here is ...
These Fibonacci (286) and Palindrome results are from David's masters theses, Figure 5.2. The other tests are using the 20030507 binary of the desquirr plugin, as ...
Exe-2-C DOS/286 Decompiler Tests This is the beta version of an experimental decompiler. The tests are from test.zip in the dcc distribution. TOC Strlen The original ...
This is the Jasmin (essentially Java "assembly language") source code for the exceptions decompiler test. It is an attempt at the test program from Figure 6 of the ...
This is a simple program, compiled with the Mono C# compiler, no optimisation. Here is the original C# source code: using System; class Fibo { private static int fib ...
This is a simple program, compiled with Sun's javac, no optimisation. Here is the original Java source code: import java.lang. ; class Fibo { private static int fib ...
I found this sample program in a page called Sample gtk# applications. The program is already compiled (possibly with a now-obsolete version of the Microsoft C# compiler ...
In a poorly designed decompiler (including all current decompilers and also disassemblers), a graphical user interface (GUI) or equivalent (e.g. Sourcer's specification ...
Reverse Engineering Compiler (REC) Tests Some simple tests were performed on REC 1.6 for Linux. TOC Fibo/286 This test file is the same one used to test the 286 decompilers ...
The paper "Decompiling Java Bytecode: Problems, Traps and Pitfalls" contains a small but important test program (adapted from a concatenation of 4 Java source files ...
The paper "Decompiling Java Bytecode: Problems, Traps and Pitfalls" contains this small but important test program (concatenation of 4 Java source files): public class ...
Delphi I'm not all that familiar with Delphi. Additional pointers welcome. Decompiling Delphi Decompiling Delphi at http://delphi.about.com mentions a number of Delphi ...
Disassembly Disassembly is the process of translating an executable program into its equivalent assembly representation. The greatest problem with disassembling is ...
http://www.winsite.com/bin/Info?500000009137 disasm32 is a visual symbolic disassembler for Windows95 and WindowsNT 32 bit Portables Executables (PE). It runs under ...
.NET Decompiler Comparison See Net Decompiler Tests .NET Decompilers Salamander is a commercial decompiler for .NET. The web page allows decompiling of moderately ...
The Draco system was the first to pioneer with DomainSpecificLanguages employing ProgramTransformation for their implementation. The system featured parser and pretty ...
Homepage: http://www.dynamicaspects.com Developing the domain/object platform. domain/object is a new kind of execution environment that blurs the traditional distinctions ...
A translator which performs its transformations as the program is running . Because the user is waiting for the program to actually run while the translation is happening ...
http://sourceforge.net/projects/exetoc This is a decompiler for Win32 executable files, hosted on Windows. For a first release, it's quite good. It seems to have reasonable ...
A beta-release of the decompiler exec2c by Scott Guthery was distributed to beta testers in 1991. The program is copyrighted by `The Austin Code Works and Polyglot ...
Raimar Falke's Diploma Thesis is written in German. For English readers, I have translated the final section using Google's translation facility and some hand editing ...
The Father of Decompilation ATTACHURL /maury.jpg \ ATTACHURL /maurysig.jpg Permission Requested. IEEE Transactions of Software Engineering. \ Figure courtesy of Bill ...
Description FermaT is an industrial strength program transformation system targeted at reverse engineering, program comprehension and migration between programming ...
FermaT is developed by Software Migrations Ltd, based on the work of Martin Ward (Martin.Ward@durham.ac.uk). FermaT is an industrial strength program transformation ...
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 ...
Description ``Free software is a matter of liberty, not price. To understand the concept, you should think of ``free speech , not ``free beer. ``Free software refers ...
Description Functional programming languages can be used as a platform for program transformation in particular and transformational programming in general. A transformation ...
GNU GENERAL(?) PUBLIC(?) LICENSE(?) Version 2, June 1991 Copyright (C) 1989, 1991 Free Software Foundation, Inc. 1.9 Temple Place, Suite 330, Boston, MA(?) 02111 ...
Homepage: http://cs-www.cs.yale.edu/homes/taha/gpce/cfp02.html The ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering (GPCE'02) A ...
Generative Domain Model The key to automating the assembly of software systems is a generative domain model (GDM) that consists of a problem space, a solution space ...
This page list people that are or have been active in the field of Generative Programming. For each person, a brief characterisation of his/her GP activities is given ...
This page lists examples of successful application of GenerativeProgramming. The RislaLanguage is a DSL for interest rate products. It was initially developed in the ...
The first workshop on this topic was very successful, resulting in the GenerativeModelTransformer project. A second workshop is scheduled for 27 October at OOPSLA ...
The Generic Modeling Environment (GME) is a configurable toolkit for creating domain-specific modeling and program synthesis environments. http://www.isis.vanderbilt ...
Cameron and Ito. Grammar-Based Definition of Metaprogramming Systems. ACM Transactions on Programming Languages and Systems Vol. 6, No. 1, January 1984, Pages 20-54 ...
You can use this page to give your opinions on this Wiki: tell us what you think! The ReengineeringWiki is rather incomplete and biased towards the current users. ...
Homepage: http://www.cas.mcmaster.ca/~kahl/HOPS/ HOPS (the Higher Order Programming System) is a graphically interactive program development and program transformation ...
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 ...
http://www.hex-rays.com BR http://hexblog.com/2007/04/decompilation gets real.html BR http://www.hexblog.com/hexrays/manual Hex-Rays is a decompiler plug-in for the ...
History of Decompilation (1960-1979) Decompilers have been written for a variety of applications since the development of the first compilers. The very first decompiler ...
History of Decompilation (1980-1999) See also On the Inverse of Compiling, April 1980. #TopicZebra Zebra, 1981 The Zebra prototype was developed at the Naval Underwater ...
History of Decompilation (2000-present) #TopicAsm21toc University of London's Asm21toc reverse compiler, 2000. This assembly language decompiler for Digital Signal ...
htmlrsf is a command line program that is part of the RigiSystem. If your Rigi environment is setup, docu is located at $RIGI/doc/rigiutils/htmlrsf.html executable ...
IDA Pro is a commercial program for disassembling a wide array of different file types for different processors, written by Ilfak Guilfanov. It can disassemble virtually ...
Implementation of Program Transformation Systems Here is a list of techniques that are used in the implementation of transformation systems LexicalAnalysis ProgramParsing ...
There may be a few machine code patterns that are impossible to decompile automatically. These would therefore require expert human intervention to decompile successfully ...
Inject/J Weaving scripts Source-to-Source Transformation In The Large Additional resources: Website Inject/J Tutorial Inject/J Ein Werkzeug zur skriptgesteuerten ...
Ways to perform the program transformation (function) inlining. Is being worked on as masters project by Master.ArneDeBruijn. Main.ArneDeBruijn 11 Jun 2001
Description Intentional programming developed at Microsoft Research Ait98 is a method for extending a language with new constructs or intentions . The meaning of ...
The Interactive Decompiler http://idc.sourceforge.net/wiki/index.html This is an interactive, extensible assembly language decompiler written in Python. The interactivity ...
Description An island grammar only precisely defines small portions of the syntax of a language. The rest of the syntax is defined imprecisely, for instance as a ...
Description JOIE is a system for Java bytecode transformation. References http://www.cs.duke.edu/ari/joie/ Automatic Program Transformation with JOIE: http://www ...
Transformation system for the Java programming language. Program transformation is a powerful technique for supporting software engineering activities: refactoring ...
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 ...
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 ...
Description One of Java's strengths is that it was designed with the assumption that the environment in which it was running would be changing dynamically. Classes ...
Contact Information Laboratory of Database Application Engineering (LIBD) University of Namur rue grandgagnage 21d 5000 Namur Belgium e-mail : jean.henrard@info.fundp ...
Name : Karl Trygve Kalleberg Home Page : http://www.ii.uib.no/~karltk Research Interests: Program Representations, Domain-Specific Languages, Active Libraries, Program ...
Kevin D. Quitt wrote the following, about his compiler specific approach: 1. The executable has to be examined to see if it's a compressed executable (like what PKLITE ...
Homepage: http://www.ecs.soton.ac.uk/~mal/systems/logen.html LOGEN is an offline partial evaluation system for Prolog written using the so called "cogen approach ...
Legal aspects of ReverseEngineering can be complicated. CristinaCifuentes has collected some information on http://www.csee.uq.edu.au/~cristina/cal.html (now somewhat ...
If decompilation is possible to a certain extent, is it then also allowed? Decompilation can be used for a number of reasons (see WhyDecompilation for more), including ...
LX is a general purpose compiled programming language, like C, C++, Pascal, Ada or Eiffel. As a language, LX has many interesting features. But what makes it interesting ...
Decompilation of machine code programs usually requires a general approach. This approach analyses the semantics of the executable, and from this derives an equivalent ...
Homepage: http://www.cse.dmu.ac.uk/~mward/index.html Martin is the author of FermaT, a program transformation system. See also SoftwareMigrations. CategoryPeople ...
Model transformation is the equivalent of program transformation, but applied to models instead of programs. This encompasses design models (e.g., UML diagrams), architectural ...
by PhilippKutter and AlfonsoPierantonio. In Journal of Universal Computer Science, vol. 3, no. 5 (1997), 416--442 Abstract Montages are a new way of describing all ...
The Mozart development environment (MozartDev) is a set of APIs that can be used to build user-extensible compilers. The APIs offer persistent and transient representation ...
New-style EXE Format An executable (.EXE) file for the Windows operating system contains a combination of code and data or a combination of code, data, and resources ...
Tom Moran wrote: A working decompiler for NELIAC, an Algol 58 derivative language not too unlike C, is described (including source listing) in Appendix D in "Machine ...
Description OPTIMIX is a specification language for the specification of optimizers based on graph rewriting developed by UweAssman at the University of Karlsruhe ...
Description of the language R++ from http://www.research.att.com/sw/tools/r++/ : R++ extends the C++ language with a single new programming construct the rule. In ...
Object-oriented Tree Traversal with Tools.JJForester TobiasKuipers, JoostVisser Abstract We want to use the advanced language processing technology available in the ...
Definition Program transformation is the act of changing one program into another. The term program transformation is also used for a program, or any other description ...
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 ...
Open C++ is a version of CPP with the Metaobject Protocol providing reflection capabilities. The programmer who want to use Open C++ writes a meta-level program, which ...
Abstract In an idealized world, researchers work together to incrementally build an edifice of knowledge, and to disseminate this knowledge in accesible and usable ...
A Case Study of Open Source Software Development The XT bundle of program transformation tools is an example of OpenSourceAcademicSoftware. Motivation for XT distribution ...
Here is a list of other websites with collections of information related to ProgramTransformation: RewritingHomePage A Directory of Program Transformation Systems ...
MAINWEB : Portal of Program-Transformation.Org Transform: Surveys of program transformation Stratego: A language for program transformation Tools: Program transformation ...
PROSPECTRA is the acronym for PROgram development by SPECification and TRAnsformation In the methodology of PROgram development by SPECification and TRAnsformation ...
Parallel Application Software on High Performance Computers. Survey of Parallel Performance Tools and Debuggers. by R. J. Allan, J. Heggarty, M. Goodman and R. R ...
Parallel Application Software on High Performance Computers. Survey of Parallel Performance Tools and Debuggers. by R. J. Allan, J. Heggarty, M. Goodman and R. R ...
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 ...
PC Executable Format Format of EXEC parameter block for AL 00h,01h,04h: Offset Size Description (Table 0877) 00h WORD segment of environment to copy for child process ...
Can be downloaded from a link near the top of An In-Depth Look into the Win32 Portable Executable File Format, Part 2. Self-extracting zipped file which contains a ...
The PILER Decompilation System TOC The PILER decompilation system is documented in Barb74 . However, this document is probably only available in Microfiche form, ...
Frank Tip, Chris Laffra, Peter F. Sweeny, David Streeter. Practical Experience with an Application Extractor for Java . In Proceedings of the Fourteenth Annual Conference ...
Practical Reusable UNIX Software Krishnamurthy (editor) John Wiley Sons, 1995. Book about a collection of software from AT T Research Labs including AcaCia / CIAO ...
Pretty-printing is mapping a structured (tree) representation of a program to a textual representation of that program in such a way that resulting program is readable ...
ProgramAnalysis is the (automated) inspection of a program to infer some property. Program analysis is needed for most kinds of ProgramTransformation and can range ...
Compilation is a form of synthesis in which a program in a high-level language is transformed to machine code. This translation is usually achieved in several phases ...
Program Comprehension Risks and Opportunities in Extreme Programming ArieVanDeursen , CWI, May 2001. Proceedings WCRE 2001, IEEE Computer Society. Abstract We investigate ...
Program derivation is a kind of ProgramTransformation in which an (efficient) implementation is derived from a (high-level) specification. If the specification can ...
Program migration is a ProgramTransformation aimed at adapting a program to a new (or old) version of the language. See also SoftwareMaintenance Where does this definition ...
A normalization reduces a program to a program in a sub-language, with the purpose of decreasing its syntactic complexity. Desugaring is a kind of normalization in ...
Obfuscation is a ProgramTransformation that makes a program harder to understand by renaming variables, inserting dead code, etc. Obfuscation is done to hide the business ...
ProgramOptimization is a kind of ProgramTransformation aimed at improving the time or memory performance of a program. CompilationByTransformation makes heavy use ...
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 ...
Program synthesis is the derivation of a program from a specification. When the synthesis is done according to semantically correct TransformationRules the resulting ...
(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 ...
http://www.cs.uu.nl/~visser/program-transformation/sol.gif The program-transformation.org domain is hosted by Universiteit Utrecht and managed by EelcoVisser. The ...
Description This page discusses terminology, principles, and issues concerning tools for ProgramTransformation. Principles ProgramTransformationTools have much in ...
The UVicReverseEngineeringTutorial defines program understanding as The task of building mental models of the underlying software at various abstraction levels, ranging ...
Repository of program understanding tools set up by KennyWong. http://www.cs.ualberta.ca/~kenw/toolsdir/ Unfortunately not a very active site: it contains five tools ...
Description Puma Grosch91 is the program transformation generator of the Coctail compiler toolkit. A Puma specification specifies a transformation of an abstract ...
Ralf Laemmel works at CWI and VU: http://www.cwi.nl/~ralf. Transformation topics: SCP Special Issue on Program Transformation http://homepages.cwi.nl/~ralf/pt-scp ...
The ReverseAndReengineeringTaxonomy defines reengineering as: the examination and alteration of a subject system to reconstitute it in a new form and the subsequent ...
The ReverseAndReengineeringTaxonomy defines restructuring as a transformation from one form of representation to another at the same relative level of abstraction ...
by RichardKelsey and PaulHudak Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages (POPL'89) . 281--292, 1989, http://citeseer ...
Welcome to the Reverse and Reengineering Roadmap! The purpose of this roadmap is to provide a forum where all sorts of topics related to ReverseEngineering and ReEngineering ...
Software refactoring can be seen as the object-oriented equivalent of restructuring. It can be considered as a specific kind of software evolution. We can distinguish ...
RefactoringPrograms is the activity of transforming a program to improve its desing while preserving its behaviour. The SmalltalkRefactory is a program that supports ...
The main DeCompilation page was for a time served from this address: http://catamaran.labs.cs.uu.nl/twiki/pt/bin/view/Transform/DeCompilation However, the exact server ...
The ReverseAndReengineeringTaxonomy defines reverse engineering as: The process of analyzing a subject system with two goals in mind: 1 to identify the system's components ...
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 ...
Publication list (until ~1998, now outdated): http://www.rigi.csc.uvic.ca/Pages/publications.html More recent publications: Rigi An Environment for Software Reverse ...
The following systems are built on top of Rigi: BauHaus Atomic Architectural Component Recovery for Program Understanding and Evolution, Rainer Koschke. Dissertation ...
The following papers have been accepted for the on Rule Based Programming 2002. A program will be available soon. Ralf Laemmel Towards Generic Refactoring Olivier ...
Definitions Here are some attempts at definitions of rule-based programming. Feel free to comment or add your own. The rule-based programming paradigm is characterized ...
Program of the 2002 ACM SIGPLAN on Rule Based Programming (RULE'02) October 5, 2002, Pittsburgh, Pensylvania, USA. Time Title Authors 10:30 Design Patterns for Functional ...
Name of the workshop on Rule Based Programming (RULE) Associated with PPDP The goals of the workshop The rule-based programming paradigm is characterized by the repeated ...
Semantics, Applications and Implementation of Program Generation Deadline: March Conference: September (with PLI) 2002: http://www.cs.yale.edu/homes/taha/saig 2001 ...
International Static Analysis Symposium Description Static Analysis is increasingly recognized as a fundamental tool for high performance implementations and verification ...
IEEE International Workshop on Source Code Analysis and Manipulation Deadline: April Conference: October Location: Chicago, USA (2004) Web: 2004: http://www.brunel ...
Software Design And Management AG. http://www.sdm.de/ Consulting firm which also does ReEngineering projects using its own hypertext repository called SHORE. SHORE ...
http://www.smlnj.org/ Standard ML of New Jersey is a free Standard ML compiler, ported to many platforms. It does not directly compile to stand alone applications ...
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 ...
Sculptor and Realizer Here is information about two decompilers which were written in Spain. The first is a decompiler written in 1989 for a 4th generation language ...
Smalltalk Refactory The (Smalltalk) Refactoring Browser is an interactive program for ProgramRefactoring, i.e., behaviour preserving transformations that improve ...
Definitions of Software Architecture. There are many definitions of what SoftwareArchitecture is: an overview of these is given at http://www.sei.cmu.edu/architecture ...
Software generation is a class of transformations in which software implementations are generated from high-level specifications or (broadly interpreted) of generating ...
According to Chapter 9 of GenerativeProgrammingBook: a generator is a program that takes a higher-level specification of piece of software and produces its implementation ...
Description The Asf+Sdf meta-environment has been used as a platform for program transformation geared towards SoftwareRenovation. The basic idea is to generate default ...
Chapter 5 of the SWEBOK guide defines testing as follows: Software testing consists of the dynamic verification of the behavior of a program on a finite set of test ...
The software visualization 1 group at GeorgiaTech describes software visualization as: the use of computer graphics and animation to help illustrate and present computer ...
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 ...
http://www.v-com.com/product/devsopr.html Sourcer is a commercial program, for disassembling x86 binaries (EXE, NE and PE). Sourcer 8.0, includes the BIOS Preprocessor ...
A translator (typically a compiler) which performs its transformations before the program is run. Usually, the translator is unaware of any dynamic aspects of the ...
Ralf Lämmel and Eelco Visser and Joost Visser. Strategic Programming Meets Adaptive Programming . In Proceedings of Aspect-Oriented Software Development (AOSD'03) ...
Strategies play an important role in ProgramTransformation. The purpose of this survey is to get an overview of the styles of strategies used in various TransformationSystems ...
TAMPR (Transformation Assisted Multiple Program Realisation System) is one of the earliest TransformationSystems around. Description TAMPR supports program transformation ...
TXL: Tree Transformation Language Homepage: http://www.txl.ca/ The TreeRewriting language TXL (developed by JamesCordy at Queen's University in Kingston, Canada) ...
A function call as the last action of function body can be optimized by overwriting the stack frame of the caller. The callee returns directly to the caller of its ...
With the advent of set top boxes, mobile software, and other factors, software authors are wanting to create applications that are resistant to reverse engineering ...
Ingredients of a Course on Transformation What should a good course on transformation offer? Existing Courses about Transformation A list of courses with transformation ...
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 ...
Template Haskell Website Template Haskell at the Haskell Wiki Implementation Template Haskell is available in GHC 6.0 Publications Papers on Template-Haskell Template ...
From http://compose.labri.u-bordeaux.fr/prototypes/tempo/ : evaluation is a transformation that automates a specialization process. Tempo is a partial evaluator for ...
Laemmel, Visser and Visser. The Essence Of Strategic Programming . Draft paper (October 15, 2002) (pdf,ps) Abstract programming is generic programming with the use ...
ProgramTransformation techniques are used in a many areas of SoftwareEngineering ranging from ProgramSynthesis, via ProgramOptimization and ProgramRefactoring, to ...
The TAMPR Program Transformation System: Simplifying the Development of Numerical Software by J. M. Boyle, T. J. Harmer and V. L. Winter In E. Arge, A.M. Bruaset ...
Bibliographies TransformationReviews ResearchIndex on program transformation : http://citeseer.nj.nec.com/cs?q program+transformation cs 1 Bibliography on partial ...
Description Several companies provide products or services based on program analysis and transformation technology AbsInt AbsoftCompany AllenSystemsGroup (Viasoft ...
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 ...
Here are some research groups that work on program transformation, ordered by region. Netherlands Software Technology Group (Universiteit Utrecht), http://www.cs.uu ...
Jonne van Wijngaarden and Visser. Program Transformation Mechanics. A Classification of Mechanisms for Program Transformation with a Survey of Existing Transformation ...
TransformationReviews is a collection of reviews of papers about program transformation. If you have read a paper that is relevant to the area, feel free to contribute ...
A transformation rule is a description (in some formal language) of the transformation of (a part of) a program. Many formal languages for the description of transformation ...
A program transformation system is a (collection of) tool(s) for implementing ProgramTransformations. Survey of Transformation Systems There are many transformation ...
Homepage: http://www-sop.inria.fr/croap/personnel/Christophe.Roudet/TrfL/ TrfL is a rule based language designed for program transformations. For the end-user, TrfL ...
Type-based program analysis is a form of ProgramAnalysis in which type information is used to infer properties of a program. JensPalsberg, Type-Based Analysis and ...
Understanding Software Systems Using Reverse Engineering Technologies: Research and Practice HausiMueller , Department of Computer Science, University of Victoria ...
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 ...
Description Updatable folds are a notion connected to FunctionalTransformationSystems. Explanation The bottom-up traversal scheme associated to a multi-sorted signature ...
A visual language is a ProgrammingLanguage that uses pictures to depict the instructions of a program and their relations. ControlFlowDiagram Visual languages can ...
Working Conference on ReverseEngineering Submission: May (varies slightly) Conference: October (varies slightly) Pointers Upcoming conference web site: http://swerl ...
JohnLaunchbury and TimSheard. Warm Fusion: Deriving Build-Catas from Recursive Definitions. Conference Record 7th ACM SIGPLAN/SIGARCH Int.Conf. on Functional Programming ...
Submission of Papers Step 1: Authors are requested to notify the program committee of intent to submit a paper by May 1, 2002. This is optional but allows the committee ...
Topics Topics discussed at WCRE include but are not limited to: SoftwareMaintenance and SoftwareEvolution DeCompilation and BinaryTranslation ProgramComprehension ...
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 ...
The following settings are web preferences of the TWiki.Transform web. These preferences overwrite the site-level preferences in TWIKIWEB . WIKIPREFSTOPIC , and can ...
From the DSLAnnotatedBibliography: Our definition of DomainSpecificLanguages inherits the vagueness of one of its defining terms: problem domain . Rather than attempting ...
Why decompilation? Why not just disassemble? Consider the Java world, where there are simple disassemblers and sophisticated decompilers that often work well and ...
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 ...
MAINWEB : Portal of Program-Transformation.Org Transform: Surveys of program transformation Stratego: A language for program transformation Tools: Program transformation ...
http://www.geocities.com/SiliconValley/Foothills/4078/ Win32 Program Disassembler is a straight line disassembler of Windows 32-bit executables (i.e. PE) by Sang Cho ...
2002 ACM SIGPLAN Workshop on Rule-Based Programming Workshop Program Satellite event of PLI'02 Saturday, October 5, 2002 Pittsburgh, USA http://www.program-transformation ...
Homepage: http://xduce.sourceforge.net/ A typed language for processing XML documents. XDuce uses regular expression types ( SchemaLanguageForXML ) to describe the ...
Dates: Sunday, June 1 Friday, June 6, 2014 Venue: Skamania Lodge, near Portland, Oregon Host: Andrew Black Skamania Lodge I have made arrangements for five nights ...
Dates: April 20-24 (Mon-Fri), 2015. Venue: Athens, Greece Host: Yannis Smaragdakis Venue The meeting will take place at the University of Athens Club (Kostis Palamas ...
Dates: January 25-29, 2016 Venue: UCLA, Los Angeles, CA Host: Alex Warth Food Lunches: grab some food in food court in Ackerman auditorium and eat outside. Group ...
Dates: October 3-7, October 2016 Venue: EPFL, Lausanne, Switzerland Host: Heather Miller Program The meeting starts on Monday morning October 3 at 9AM and ends with ...
Dates: August 28 September 1, 2017 Venue: Park City, Utah, USA Host: Matthew Flatt https://www.flickr.com/photos/tkellyphoto/6246702517 Venue The meeting will take ...
Dates: May 14-18, 2018 Venue: Antwerp, Belgium Host: Tom Van Cutsem https://lonelyplanetimages.imgix.net/mastheads/GettyImages-486812737 super.jpg Slides The slides ...
"You always have the choice of making things more complicated, or making things more simple" Dave Ungar, channeling Tony Hoare "Synchronization is the next goto" ...
These are the talks given at the IFIP WG 1.16 meeting at Skamania Lodge, WA, USA from June 2 to June 6, 2014. Sean McDirmid: Programming with Managed Time in Glitch ...
Please edit this page to add your name and an abstract for one or more talks that you would be willing to present, if requested. By all means also create a home page ...
The first activity of the group was a lunch meeting at SPLASH 2010 to discuss the organization of the zeroth meeting. Date: Tuesday, 19 October, 2010 (?) Attending ...
News INCLUDE{WebNews} archive Events INCLUDE{WebDSLEvents} archive WebDSL WebDSL is a domain-specific language for web applications. learn more Latest Developments ...
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: ...
The following settings are web preferences of the TWiki.WebDSL web. These preferences overwrite the site-level preferences in TWIKIWEB . WIKIPREFSTOPIC , and can be ...