INCLUDE{ConferenceHeader} INCLUDE{AimsAndTopics} INCLUDE{PublicationVenue} Submissions can use LNCS or EC-EASST style. See the submission guidelines for details. ...

AOPLE: First Workshop on Aspect-Oriented Product Line Engineering DSAL'06: Domain-Specific Aspect Languages Workshop STS'06: Software Transformation Systems Workshop ...

INCLUDE{ConferenceHeader} News INCLUDE{WebNews} Generative and component approaches are revolutionizing software development similar to how automation and components ...

INCLUDE{ConferenceHeader} News INCLUDE{WebNews} Generative and component approaches are revolutionizing software development similar to how automation and components ...

INCLUDE{ConferenceHeader} News INCLUDE{WebNews} Generative and component approaches are revolutionizing software development similar to how automation and components ...

INCLUDE{ConferenceHeader} News INCLUDE{WebNews} Generative and component approaches are revolutionizing software development similar to how automation and components ...

Matthias Felleisen is a Trustee Professor of Computer Science at Northeastern University, Boston, and the founder of PLT, a distributed research group. His research ...

INCLUDE{ConferenceHeader} Image used under GNU FDL. News INCLUDE{WebNews} Registration is at Salon Foyer (Hilton Executive Tower, downstairs) Presentations are in ...

INCLUDE{ConferenceHeader} News INCLUDE{WebNews} Generative and component approaches are revolutionizing software development just as automation and componentization ...

CALL FOR PAPERS (txt,pdf) INCLUDE{ConferenceHeader} Important Dates Submission of papers: June 14, 2013 Author notification: August 22, 2013 Scope Generative and ...

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

INCLUDE{ConferenceHeader} Important Dates Submission of papers: May 30, 2014 Author notification: July 7, 2014 Scope Generative and component approaches and domain ...

Joint GPCE/SLE Keynote Programming Cloud-connected Mobile Devices Nikolai Tillmann (Microsoft Research) We are experiencing a technology shift: Powerful and easy-to ...

INCLUDE{ConferenceHeader} Recent news Generative and component approaches and domain-specific abstractions are revolutionizing software development just as automation ...

Welcome to the Rice PLT project on Resource Aware Programming (RAP) Languages for embedded software ATTACHURL /emsp.gif Introduction This research group explores the ...

General chair Tim Sheard (OGI School of Science Engineering at OHSU) Program committee chairs Gabor Karsai (Vanderbilt University) Eelco Visser (Utrecht University ...

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

INCLUDE{ConferenceHeader} The GPCE 2005 proceedings are available as volume 3676 of Springer LNCS News INCLUDE{WebNews} Generative and component approaches have the ...

This web is intended for the organizers of the GPCE conferences. GPCE 2005 data CallsSourceFiles SigPlanSponsorship and AcmApplication GpceSchedule and GpceTasks ...

INCLUDE{ConferenceHeader} News INCLUDE{WebNews} INCLUDE{AimsAndTopics} Invited Speaker INCLUDE{InvitedTalks} INCLUDE{PublicationVenue}

Name: Arseniy Rudich Email: arseny@mail.univ.kiev.ua Homepage: http://unicyb.kiev.ua Country: Ukraine Comment: Personal Preferences (details in TWIKIWEB .TWikiVariables ...

Name: Ivan Levchenko Email: chater@univ.kiev.ua Homepage URL: http://google.com Country: Ukraine My Links TWIKIWEB .WelcomeGuest to learn TWiki Sandbox.WebHome web ...

Name: Jean Bezivin Email: Jean.Bezivin@lina.univ-nantes.fr Homepage: http://www.sciences.univ-nantes.fr/info/lrsg/Pages perso/JB/Jean.Bezivin.html Country: France ...

Changes Index Search Webs Book Compare GPCE06 Gmt Gpce Gpce04 Gpce05 IFIPWG211 IPA06 Main Octave PEPM07 PEPM08 PHP Sandbox Sdf Stratego Sts TWiki Tiger Tools Transform ...

Name: Tamzalit Dalila Email: Dalila.Tamzalit@lina.univ-nantes.fr Homepage: http://www.sciences.univ-nantes.fr/irin/ Country: France Comment: Personal Preferences ...

Name: Will Norris Email: wbniv@saneasylumstudios.com Homepage: http://sane-asylum.com/twiki/bin/view/Wnorris Country: USA Comment: Personal Preferences (details in ...

Contents The Optimizer implements several optimization on Octave code. The optimizations are implemented as source-to-source transformation, similar to the optimization ...

INCLUDE{ConferenceHeader} Online registration open at http://www.regmaster.com/conf/popl2007.html Early registration deadline is December 15, 2006 News INCLUDE{WebNews ...

INCLUDE{ConferenceHeader} Online registration open at http://www.regmaster.com/conf/popl2008.html News INCLUDE{WebNews} INCLUDE{AimsAndTopics} The workshop proceedings ...

INCLUDE{ConferenceHeader} News INCLUDE{WebNews} INCLUDE{AimsAndTopics} Follow this link for the complete for Papers. There is also a more compact PDF version.

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

INCLUDE{ConferenceHeader} Online registration open at https://regmaster3.com/2012conf/POPL12/register.php Early registration deadline is December 24, 2011 News INCLUDE ...

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

INCLUDE{ConferenceHeader} PEPM Proceedings is available for free download from ACM DL during the POPL week! News INCLUDE{WebNews} INCLUDE{AimsAndTopics} Follow this ...

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

Program Chairs Wei-Ngan Chin (National University of Singapore, Singapore) Jurriaan Hage (Utrecht University, Netherlands) Program Committee Members Eacute;velyne ...

INCLUDE{ConferenceHeader} PEPM Proceedings will be available for free download from ACM DL during the POPL week! News INCLUDE{WebNews} INCLUDE{AimsAndTopics} Follow ...

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

INCLUDE{"Trash.BlW" warn "off"} INCLUDINGWEB Web INCLUDINGWEB Web Home Changes Index Search Webs WEBLIST{" $name" separator ""} INCLUDE{" MAINWEB . WIKINAME LeftBar ...

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 a language for defining syntax. It provides for an unprecedented level of conciseness in syntax definitions. First, syntax can be defined in modules. Second ...

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

INCLUDE{WebNews} SDF is a language for defining syntax. It provides for an unprecedented level of conciseness in syntax definitions. First, syntax can be defined ...

.newsitem h3 { font-size: 100 ; color: #333333; padding-bottom: 3px; border-bottom: 1px dotted #bb9; } .newsitem em { float: right; font-size: x-small; padding-bottom ...

.newsitem h3 { font-size: 100 ; color: #333333; padding-bottom: 3px; border-bottom: 1px dotted #bb9; } .newsitem em { float: right; font-size: x-small; padding-bottom ...

Publications See also the publication list on researchr The Spoofax Language Workbench Lennart C. L. Kats, Rob Vermaas, Eelco Visser. Integrated Language Definition ...

The Spoofax Language Workbench Spoofax is a platform for developing textual domain-specific languages with full-featured Eclipse editor plugins. With the Spoofax/IMP ...

Spoofax Home Tour and screenshots Documentation Download Research Development Support

STARTINCLUDE .newsitem h3 { font-size: 100 ; color: #333333; padding-bottom: 3px; border-bottom: 1px dotted #bb9; } .newsitem em { float: right; font-size: x-small ...

A regular tree grammar defines a regular tree language. Regular tree grammars are widely applied as tools in formal reasoning, but in practice the basic formalism ...

INCLUDE{WebNotice} Stratego is a small and efficient domain-specific language for program transformation. It is based on the paradigm of programmable rewriting strategies ...

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

a1 a2 a3 a4 a5 a6 a7

TXL solution to Chairmarks #5.1: A complete Imperative Language interpreter implemented as a standalone TXL source transformation. No other libraries or support modules ...

WebMenus CustomWebMenus

DragonSkin customization This topic contains information on how to change user-configurable look-and-feel aspects of !Dragonskin. See DragonSkinInstall for installation ...

DragonSkin installation This topic describes how to install !DragonSkin and perform some simple administrator-level (i.e. requiring the editing of template and CSS ...

STARTINCLUDE Pattern skin PatternSkin is developed to provide a CSS based default look and feel for TWiki flexible and W3C-compliant. Its layout and color scheme ...

TWiki Spreadsheet Plugin This Plugin adds speadsheet capabilities to TWiki topics. Formulae like CALC{"$INT(7/3)"} are evaluated at page view time. They can be placed ...

TOC STARTINCLUDE # Appendix D: TWiki Development Timeline 01-Sep-2004 Release (Cairo) Major New Features Automatic upgrade script, and easier first-time installation ...

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

Due to Wiki registration spam, registration is currently disabled. We are sorry for the inconvenience. Please blame the spammers. To edit pages on this TWikiSite ...

TWiki Skin Browser You can try out the TWikiSkins currently installed on this system: SEARCH{ "Skin$" scope "topic" regex "on" nosearch "on" nototal "on" expandvariables ...

TOC STARTINCLUDE # TWiki Skins Skins overlay regular templates with alternate header/footer layouts; topic text is not affected Overview Skins are customized TWikiTemplates ...

## TWiki Upgrade Notes for Version 01 May 2000 If you are coming from a version earlier than the 01 May 2000 production release, please see TWikiUpgradeTo01May2000 ...

TOC STARTINCLUDE # TWiki User Authentication TWiki site access control and user activity tracking options TWiki does not authenticate users internally, it depends ...

TOC STARTINCLUDE # TWiki Variables Special text strings expand on the fly to display user data or system info TWikiVariables are text strings VARIABLE that expand ...

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

TWiki Welcome Register INCLUDINGWEB Web INCLUDINGWEB Web Home Changes Topics Index Search TWiki Webs WEBLIST{" $name" separator ""} INCLUDE{" MAINWEB . WIKINAME LeftBar ...

WebLeftBar Cookbook Instructions and tips how to use WebLeftBarPersonalTemplate . !WebLeftBarPersonalTemplate is a topic template to create a personal left bar block ...

INCLUDINGWEB Web INCLUDINGWEB Web Home Changes Index Search Webs WEBLIST{" $name" separator ""} INCLUDE{" MAINWEB . WIKINAME LeftBar" warn "Create personal sidebar ...

Customise this topic; samples and ideas available at TWiki:TWiki.WebLeftBarCookbook. STARTINCLUDE My links My home page edit STOPINCLUDE

Jump:

Summary Converts an ATerm to a comparable XML document. Description The tools aterm2xml and xml2aterm support the conversion from ATerm to XML and vice versa. Since ...

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

Task How to use pretty-printed documents in LaTeX. Description The back-end abox2latex produces LaTeX code according to the formatting defined in a Box term. In order ...

rtg2sig Summary Generates a Stratego Signature from an RTG. Options module n Generated module has name n i f input f Read input from f o f output f Write output to ...

Introduction rtg2typematch is a tool for generating a duck-typing-based strategies that check if an ATerm is of a type as defined in an RTG. An example will make ...

Summary Calculates conflicting patterns in an AST from an SDF syntax definition. Description sdf2ast-conflicts calculates a list of conflicting patterns in an AST ...

A Typed Pattern Calculus by Val Breazu-Tannen, Delia Kesner and LaurencePuel Published in Information and Computation, 124(1):32-61, January 1996. Proceedings of ...

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

COBOL stands for Common Business Oriented Language and is considered by many as a legacy language. It was designed by the CODASYL committee in 1957 and is the second ...

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

Francoise Balmas http://www.ai.univ-paris8.fr/~fb/ CategoryPeople

International Conference on Information Visualization, also dealing with SoftwareVisualization. http://www.graphicslink.demon.co.uk/IV2001/ DigitalLibrary proceedings ...

International Workshop on ProgramComprehension. Submission: January Conference: June 1999: http://www.computer.org/proceedings/iwpc/0179/0179toc.htm 2000: http://www ...

Model transformation is the equivalent of program transformation, but applied to models instead of programs. This encompasses design models (e.g., UML diagrams), architectural ...

QueryViewTransformation is the OMG's upcoming (due end 2004/start 2005) standard for specifying MOF model queries, views, and transformations. It's main significance ...

The software visualization 1 group at GeorgiaTech describes software visualization as: the use of computer graphics and animation to help illustrate and present computer ...

Static Analysis Techniques for Equational Logic Programming RakeshVerma http://arXiv.org/abs/cs/0010034

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

Web site collecting all sorts of resources on ProgramUnderstanding, set up by FrancoiseBalmas. http://www.ai.univ-paris8.fr/UPU/repository.html CategoryProgramUnderstanding ...

INCLUDE{WebNews} transformation techniques are used in a many areas of engineering ranging from synthesis, via optimization and refactoring, to engineering and generation ...

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

News INCLUDE{WebNews} archive Events INCLUDE{WebDSLEvents} archive WebDSL WebDSL is a domain-specific language for web applications. learn more Latest Developments ...