A flyer to distribute at other events. GPCE06-FirstCallForPapers.pdf: Flyer with first call for papers for GPCE'06

First International Workshop on Bidirectional Transformations (BX 2012) CONFERENCEDAYS Tallinn, Estonia co-located with ETAPS 2012 URLPEPM10 @

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

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

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

BX 2012 for Papers Dates Committee Submission BX 2012 Program Talks Papers Schedule Meetings ESOP 2012 FASE 2012 GT-VMT 2012 VSSE 2012 LDTA 2012 FESCA 2012 ... and ...

HistoricalStatistics for TWiki.BX12 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...

Statistics for TWiki.Book Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb 2008 1100 ...

TWiki.CC Web Preferences The following settings are web preferences of the TWiki.CC web. These preferences overwrite the site-level preferences in TWIKIWEB . WIKIPREFSTOPIC ...

Statistics for TWiki.CC Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Notes: Do not edit ...

Statistics for TWiki.Compare Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Sep 2013 649 ...

A flyer to distribute at other events. GPCE06-FirstCallForPapers.pdf: Flyer with first call for papers for GPCE'06

No permission to read topic GPCE06.PanelDiscussion perhaps you need to log in?

Main.EmirPasalic 17 Jun 2006 oopsla 06 advance program.pdf:

Workshops/Tutorials chairs: Christa Schwanninger (Siemens, Germany) Arno Jacobsen (University of Toronto, Canada) GPCE'06 Workshops And Tutorials Schedule INCLUDE ...

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

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 PAPERS (pdf) INCLUDE{ConferenceHeader} Important Dates Submission of abstracts : PAPERPRESUBMISSION Submission : PAPERSUBMISSION Notification : PAPERNOTIFICATION ...

Seventh International Conference on Generative Programming and Component Engineering (GPCE'08) GPCEDAYS VENUECITY (co-located with OOPSLA 2008) Sponsored by ACM SIGPLAN ...

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

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

CALL FOR PAPERS (pdf) INCLUDE{ConferenceHeader} Important Dates Submission of abstracts : PAPERPRESUBMISSION Now CLOSED Submission : PAPERSUBMISSION PAPERSUBMISSIONPOSTPONED ...

Eighth International Conference on Generative Programming and Component Engineering (GPCE'09) GPCEDAYS VENUECITY (co-located with MODELS 2009 and SLE 2009) Sponsored ...

Eating our own dog food: DSLs for generative and transformational engineering Joint Keynote with SLE Jim Cordy, School of Computing, Queen's University, Kingston ...

Rishiyur S. Nikhil is co-founder and CTO of Bluespec, Inc., which develops tools that dramatically improve correctness, productivity, reuse and maintainability in ...

Please print a poster and display it in your institution to help advertise the conference.

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

2009-10-05 Slides for Jim Cordy's keynote speech available. 2009-10-05 Slides for Rishiyur Nikhil's keynote speech available. STOPINCLUDE

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

CALL FOR PAPERS (txt,pdf) INCLUDE{ConferenceHeader} Important Dates Submission of abstracts: PAPERPRESUBMISSION Submission of papers: PAPERSUBMISSION Author notification ...

Ninth International Conference on Generative Programming and Component Engineering (GPCE'10) GPCEDAYS VENUECITY (co-located with SLE 2010) Sponsored by ACM SIGPLAN ...

#TutorialSchedule Sunday, October 10 All Sunday activities will take place in Academisch Genootschap Eindhoven. The tutorials will take place in the Meerlezaal, FOSD ...

GPCE 2010 will be held in the Auditorium of the Eindhoven University of Technology, co-located with SLE 2010 The Eindhoven University of Technology was founded in ...

STOPINCLUDE

Ralf L mmel is Professor of Computer Science at University of Koblenz-Landau. In his career, he also served at Microsoft Corp., Free University of Amsterdam, Dutch ...

Please print a poster and display it in your institution to help advertise the conference.

The Hitchhiker's Guide to Software Languages Ralf L mmel, University of Koblenz-Landau, Germany. There is only that much space in the CS curriculum, and there are ...

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

GPCE Home GPCE'10 Home Keynotes Schedule Accepted Papers Poster Organization Dates Venue Registration Calls for Papers Tutorials Workshop FOSD ElectronicSubmission ...

HistoricalStatistics for TWiki.GPCE10 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...

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

Generative Programming and Component Engineering (GPCE'11) Tenth International Conference GPCEDAYS VENUECITY (collocated with SPLASH 2011) Sponsored by ACM and SGT ...

Registration: Salon Foyer (Hilton Executive Tower, downstairs) Conference location: Salon Ballroom I and II (Hilton Executive Tower, downstairs) #TechnicalSchedule1 ...

GPCE 2011 will be held at Hilton Portland and Executive Tower, 921 SW Sixth Avenue, Portland, Oregon, co-located with SPLASH 2011. See hotel website for more information ...

STOPINCLUDE

Application of Model Based Development to Flexible Code Generation Gary Shubert, Lockheed Martin Space Systems Company, USA This address will present the author's ...

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

Multilingual Component Programming in Racket Matthias Felleisen, Northeastern University, USA In the world of Racket, software systems consist of interoperating components ...

Please print a poster and a flyer and share them with others in your institution. Poster (46 x 61 cm or 18 x 24 inches)for display. Flyer (22 x 28 cm or 8.5 x 11 inches ...

The Hitchhiker's Guide to Software Languages Ralf L mmel, University of Koblenz-Landau, Germany. There is only that much space in the CS curriculum, and there are ...

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

GPCE Home GPCE'11 Home Keynotes Schedule Accepted Papers Tech Talks Poster Banner Organization Dates Venue Registration Calls for Papers Tech Talks Workshops ElectronicSubmission ...

HistoricalStatistics for TWiki.GPCE11 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'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 ...

11th International Conference on Generative Programming and Component Engineering (GPCE'12) GPCEDAYS VENUECITY (function() { var po document.createElement('script ...

GPCE 2011 will be held at Hilton Portland and Executive Tower, 921 SW Sixth Avenue, Portland, Oregon, co-located with SPLASH 2011. See hotel website for more information ...

STOPINCLUDE

Matthias Felleisen is Trustee Professor in the College of Computer and Information Science at Northeastern University in Boston, Massachusetts. Gary Shubert is a Senior ...

Please print a poster and a flyer and share them with others in your institution. Poster (46 x 61 cm or 18 x 24 inches)for display. Flyer (22 x 28 cm or 8.5 x 11 inches ...

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

GPCE Home GPCE'12 Home GPCE'13 Home Program Registration Venue and Accommodation Organization Dates Calls for Papers Tech Talks

HistoricalStatistics for TWiki.GPCE12 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 ...

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

12th International Conference on Generative Programming: Concepts Experiences (GPCE'13) October 27-28, 2013 Indianapolis, IN, USA (collocated with SPLASH 2013, incl ...

GPCE 2013 will be held at Hyatt Regency Indianapolis, One South Capitol Avenue, Indianapolis, Indiana, co-located with SPLASH 2013. See hotel website for more information ...

STOPINCLUDE

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

Please print a poster and a flyer and share them with others in your institution. Poster (31 x 46 cm or 12 x 18 inches)for display. Flyer (22 x 28 cm or 8.5 x 11 inches ...

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

GPCE Home GPCE'13 Home Keynotes Programm Registration Organization Dates GPCE Poster GPCE Button Venue Grants Call for Papers Tech Talks FOSD Workshop

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

13th International Conference on Generative Programming: Concepts Experiences (GPCE'14) Collocated with ASE 2014 and SLE 2014 Keynote by Nikolai Tillmann September ...

GPCE 2013 will be held at Västerås, Sweden, co-located with ASE 2014.

STOPINCLUDE

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

Please print a poster and some flyers, and share them with others in your institution or at the next conference you attend. Poster for display (DIN A3) (11.5in x 17 ...

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

GPCE Home GPCE'14 Home Registration Program Keynote Tech Talk Poster and Flyer Organization Dates Call for Papers Grants

HistoricalStatistics for TWiki.GPCE14 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...

I(Ghica) would like to make some remarks about splitting fuut into various jars, considering dependency management. Maybe we can talk about it tonight. A candidate ...

Test Web This is for testing

Simple search: Topic text (body) All webs (not only TWiki.Gmt web) Topic name TWIKIWEB .BookView Advanced search: Topic text (body) Search all MAINWEB TWIKIWEB Know ...

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

Home GPCE'04 GPCE'05 GPCE'06 GPCE'07 GPCE'08 GPCE'09 GPCE'10 GPCE'11 GPCE'12 GPCE'13 GPCE'14 GPCE'15 Bylaws

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

Chair: Gabor Karsai This panel will discuss crucial questions about the state and future of Generative Programming. Panelists include: D. Batory, K. Czarnecki, J. ...

Peter D. Mosses Now available: Slides BRICS and Department of Computer Science, University of Aarhus, Denmark pdmosses@brics.dk http://www.brics.dk/~pdm Peter Mosses ...

Slides from the PC report presented during the GPCE 2004 business meeting on Wednesday, October 27, 2004: gpce-pc-report.pdf

GPCE Home Home Organization Venue Dates Program Registration Tutorials GP1 GP2 GP3 GP4 Workshops STS MetaOCaml Researchers Demonstrations Calls for Technical Papers ...

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

GPCE Home GPCE'05 Home Organization Dates Venue Program Registration GPCE conference Affiliated events Tutorials and Workshops W1 W2 W3 T1 T2 Travel, Hotels, etc ...

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

Preliminary Application Form GPCE05-PAF.txt: submitted to MN on 09 Dec 2004 GPCE05-TMRF-04-12.zip: submitted to MN on 18 Jan 2005

Preliminary Application Form GPCE06-PAF.pdf: submitted to MN on May 2005 GPCE06 TMRF IGPCE06.pdf: submitted to MN on Jun 2005 Initial Budget.xls Budget Rationale.doc ...

Calls (Text) for email Advertising GPCE05-Jan.txt: email announcement for Jan 2005 GPCE05-Feb.txt: email announcement for Feb 2005 (last call for tutorial and workshop ...

Latex sources for the flyer. GPCE06-a4.tex: driver for boxed flyer GPCE06-boxed.tex: Flyer with boxes Adapted old design to one with boxedminipages. Main.EelcoVisser ...

-- Main.EugenioMoggi 04 Oct 2005 GPCE05-GC-report.html: GPCE'05 General Chair Report GPCE05-PC-report.pdf: GPCE'05 PC Chairs Report GPCE05-PC-report.pdf: GPCE'05 ...

Latex sources for the flyer. GPCE05-a4.tex: GPCE05.tex: acm-logo.jpg: gpce-logo.jpg:

Application for SIGPLAN 100 sponsorship (and SIGSOFT in cooperation status) GPCE05-SIGPLAN-sponsorship-application.txt GPCE05-description.txt submitted to SIGPLAN ...

Application for SIGPLAN 100 sponsorship (and SIGSOFT in cooperation status) GPCE06-SIGPLAN-sponsorship-application.txt GPCE06-SIGSOFT-Cooperation-status.txt submitted ...

GPCE Gpce Organizers Links GPCE'06 Home GPCE'05 Home GPCE'04 Home Steering Committee

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

A flyer to distribute at other events. GPCE06-FirstCallForPapers.pdf: Flyer with first call for papers for GPCE'06

The workshop has been cancelled. Second Workshop on Haskell And Rewriting Techniques (HART 2014) CONFERENCEDAYS VENUE co-located with ICFP 2014 URLHART14

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

The workshop has been cancelled.

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

HART 2014 for Papers Dates Committee Submission Program Invited Talk Papers Schedule Local Information Venue Registration Accommodation History Previous Meeting ...

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

Statistics for TWiki.IPA06 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb 2008 881 ...

Name: anselmini michele Email: mans@ticino.com Affiliation: Homepage URL: http://www.ingengo.ch Country: Switzerland Comment: Personal Preferences (details in TWIKIWEB ...

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

Dummy page for attaching all logos and icons. Main.KarlTrygveKalleberg 29 Jun 2008

Name: Juha-Pekka Tolvanen Email: jpt@metacase.com Affiliation: MetaCase Homepage URL: http://www.cs.jyu.fi/~jpt Country: Finland Comment: Personal Preferences (details ...

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

Personal Information Name: Niels Janssen Email: njanssen@cs.uu.nl Affiliation: Utrecht University (Student) Country: Netherlands Extra Information Courses Completed ...

TWIKIWEB .WelcomeGuest: TWiki is a web-based collaboration tool, web authoring tool, document management tool and knowledge base tool. You can edit any TWiki page ...

Name: Sebastian Pop Email: s.pop@laposte.net Affiliation: Universite Louis Pasteur Strasbourg Homepage URL: http://www-rocq.inria.fr/~pop/ Country: France Comment ...

Statistics for TWiki.Main Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Jun 2011 5347 ...

search index recent changes statistics printable refresh edit history more actions

Statistics for TWiki.Octave Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Oct 2016 1279 ...

The following papers have been accepted for presentation at the workshop: Jacques Carette and Michael Kucera. Partial Evaluation for Maple Ping Zhu and Siau-Cheng ...

A flyer to distribute at other events. GPCE06-FirstCallForPapers.pdf: Flyer with first call for papers for GPCE'06

Monday, January 15, 2006 Opening: 8:45 9:00 Session 1: 9:00 10:00 (Invited Talk) Michael Schwartzbach. XML Graphs in Program Analysis Coffee break Session 2: 10 ...

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

Monday, January 15, 2006 Opening: 8:45 9:00 Session 1: 9:00 10:00 (Invited Talk) Michael Schwartzbach Coffee break Session 2: 10:30 12:00 (XML) Ralf Laemmel. Style ...

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

PEPM 2007 for Papers Dates Committee Publicity Advice for Authors Paper Advice Paper Advice Submission Program Talks Meetings Venue Registration Accommodation History ...

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

A flyer to distribute at other events. GPCE06-FirstCallForPapers.pdf: Flyer with first call for papers for GPCE'06

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

PEPM 2008 for Papers Dates Committee Organization Publicity Advice for Authors Research Paper Tool Paper Submission Program Talks Meetings Venue Registration Accommodation ...

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

A flyer to distribute at other events. GPCE06-FirstCallForPapers.pdf: Flyer with first call for papers for GPCE'06

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

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

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

A flyer to distribute at other events. GPCE06-FirstCallForPapers.pdf: Flyer with first call for papers for GPCE'06

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

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

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

CONFERENCEDAYS Philadelphia, Pennsylvania, USA co-located with POPL'12 Sponsored by ACM SIGPLAN URLPEPM12 INCLUDE{AimsAndTopics} The SIGPLAN Republication Policy ...

A flyer to distribute at other events. GPCE06-FirstCallForPapers.pdf: Flyer with first call for papers for GPCE'06

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

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

HistoricalStatistics for TWiki.PEPM12 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...

CONFERENCEDAYS Rome, Itlay co-located with POPL'13 Sponsored by ACM SIGPLAN URLPEPM13 Submission deadline extended until Sun, Oct 7 23:59 GMT! INCLUDE{AimsAndTopics ...

A flyer to distribute at other events. GPCE06-FirstCallForPapers.pdf: Flyer with first call for papers for GPCE'06

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

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

HistoricalStatistics for TWiki.PEPM13 Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb ...

A flyer to distribute at other events. GPCE06-FirstCallForPapers.pdf: Flyer with first call for papers for GPCE'06

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

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

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

Stable Releases There is no stable release of PHP-Front (yet). Check the road map for the current status of the 0.1 release. Latest Developments Distributions of ...

The PHP-Sat logo is made by Robert van Geenhuizen. We are very grateful that he took the time to develop this logo. We think it is 'compleet hip', which means so much ...

TOC Introduction Within the documentation of PHP-front the TheExampleProject is used to explain how you can setup your own project. This documentation uses PHP-Tools ...

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

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

Statistics for TWiki.PHP Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb 2008 3910 0 ...

-- Main.TWikiGuest 27 Mar 2008 toto je sandbox4610 Search keyword: 'test', 'west', 'mest' Advanced search: Topic text (body) Search all public INCLUDINGWEB WEBLIST ...

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

-- Main.TWikiGuest 28 Feb 2007 Hi, it's my test. Majherek Dec 13,2007 Hello, this is my test topic for lab1.6.2. CIT1121 bea http://www.cheapflightstomumbai.com ...

Language Version Available in View online ASF SDF Library browse AsFix SDF Library browse AspectJ 5.0 AspectJ-front browse ATerm SDF Library browse Bibtex Bibtex ...

Statistics for TWiki.Sdf Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Dec 2007 4149 0 ...

Language Version Available in View online ASF SDF Library 1.0 browse AsFix SDF Library 1.0 browse AspectJ 5.0 AspectJ-front browse ATerm SDF Library 1.0 browse Bibtex ...

Statistics for TWiki.SdfBackup Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb 2008 ...

Using Maven Tycho Spoofax project can be built continuously using a combination of Maven, Tycho and Ant. Using Maven should make it easy to run it in a continuous ...

Debugging Stratego in Spoofax Projects Spoofax supports debugging of Stratego code used in the implementation of the various editor services. The Stratego debugger ...

Spoofax: ontwikkeling van domein-specifieke talen in Eclipse Zie ook de sessiebeschrijving op de devnology website. Installatie Installeer voor deze sessie een van ...

Moved to http://metaborg.org/wiki/spoofax/download

EntityLang (tour with screenshots) The !EntityLang language shows some of the Spoofax basics, and comes with a short tutorial and screenshots. A basic version of ...

Updates of Spoofax cause Eclipse to time out; why? Due to a known problem with the combination of Eclipse 3.7, Java 1.7, and Windows, the update manager can be very ...

Edit and use your language in one Eclipse window http://strategoxt.org/pub/Spoofax/Features/side-by-side.png Deploy your editor as a portable Eclipse plugin http ...

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

Refactorings Spoofax helps you to enrich your editor with refactorings. You can find the refactorings in the context menu of the file being edited. http://strategoxt ...

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

See Testing instead.

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

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

TWiki.Spoofax Web Preferences The following settings are web preferences of the TWiki.Spoofax web. These preferences overwrite the site-level preferences in TWIKIWEB ...

Statistics for TWiki.Spoofax Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Notes: Do not ...

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

The bound-unbound-vars component of the optimizer annotates variables with one of the annotations "bound" , "unbound" , or "(un)bound" , with the following meanings ...

TOC Introduction CX is an aterm bridge for CIL, an existing C front-end implement in OCaml. The Stratego/XT-based package CX uses this bridge to read C code. CX will ...

The software for the Code Generation 2009 Tutorial is available through a virtual machine. To run this virtual machine you need a recent version of VirtualBox (version ...

TOC Features ECMAScript-front is a package you can use to generate or transform ECMAScript Edition 4 (also known as JavaScript) code. Download Stable Releases Currently ...

TOC Features The ECMAScript-model package is an executable model of the ECMAScript Edition 4 programming language. The source code represents a small-step operational ...

Ideas for improving the error reporting of the StrategoCompiler. Feel free to add more ideas. check import graph: operators used in a module should be visible through ...

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

Mon, 1 Mar 2004 Tue, 2 Mar 2004 Wed, 3 Mar 2004 Main.ArthurVanDam 22 Mar 2004

Monday Stratego Development 9:00 Eelco Visser Stratego/XT in 2003 Program Overview StrategoCompiler Announcement: C transformation system 10:00 Martin Bravenboer ...

TOC Introduction The Stratego/XT Grammar Engineering Tools is a collection of tools for the recovery, development, testing, and maintenance of grammars. Currently ...

under construction Main.EelcoVisser 16 May 2003 A full fledged Stratego application does more than transform an ATerm into another ATerm. To transform programs ...

RED This manual is under construction! ENDCOLOR Table of Contents TOC Introduction Using a library At the command-line, or in Automake. Using strc at the command ...

From StrategoXT 0.11 the Stratego Runtime creates libraries using Libtool. This means that both static and shared libraries are constructed (on platforms that support ...

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

This page discusses common problems (or non-problems) with the installation of Stratego on certain platforms. ATerm Installation (for Stratego/XT 0.14 and earlier ...

Introduction Java-Swul is a domain-specific language (DSL) for creating Java SWING user interfaces. The Java-Swul language is embedded in Java. In this fasion it ...

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 October 04, 2004 Download Java-front 0.5 requires StrategoXT 0.12. Source tar.gz java-front-0.5 Source RPM java-front-0.5 Redhat Linux RPM Redhat 9.0: java ...

Released May 24, 2005 Download Java-front 0.7 requires Stratego/XT 0.14. Source tar.gz java-front-0.7 Source RPM java-front-0.7 Redhat Linux RPM java-front-0.7 (Redhat ...

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

In a module meta file you can define meta information for a Stratego module. The meta file must have the same name as the module, with the .meta extension and is in ...

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

This page reports on the permissive grammars project. This project is aimed at adding practical error recovery to the Java implementation of for interactive parsing ...

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

Pkg-config In this release we have introduced pkg-config for locating packages and their configuration. The use of pkg-config has several advantages: Distributions ...

ppgen INCLUDE{"http://losser.st-lab.cs.uu.nl/~mbravenb/tool-ref/ppgen.html"}

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

TOC Introduction SQL-front provides a syntax definition of a subset of SQL/92. You can use SQL-front to parse SQL. Download Latest Unstable Release The latest unstable ...

E. Visser. Stratego: A language for program transformation based on rewriting strategies. System description of Stratego 0.5. In A. Middeldorp, editor, Rewriting Techniques ...

The Stratego Emacs mode is currently available at: https://svn.strategoxt.org/repos/StrategoXT/stratego-editors/editor/trunk/emacs/stratego-mode.el Installation instructions ...

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

The StrategoLogo needed an upgrade; the new logo is a smoother version of the original StrategoLogo. The StrategoLogo depicts TermTraversal. Please note that all logos ...

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

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

Release Notes StrategoXT Version 0.14 Bug STR-59 sdf syntax: seq/2 overloaded STR-82 prettyprinting of seq in iter-sep fails STR-230 sglri does not support input ...

Stratego/XT 0.16 released November 4th, 2005 RED Warning: ENDCOLOR This release has known issues with recent GCC 4.x, GNU Make 3.81, Mac OS X, and operating systems ...

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

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

Release Notes Stratego/XT Version 0.17 Bug STR-248 implode-asfix: support AsFix2ME constructs STR-263 Extend ArgOption with default value argument STR-283 pp ...

Changes since StrategoRelease053 Summary Dynamic rules: see ScopedDynamicRewriteRules paper Lots of improvements to the library (thanks Main.HedzerWestra and Main ...

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.1 Version StrategoXT-0.9.1 released on June 4, 2003 Contents TOC Download Source distribution StrategoXT is built using the ATermLibrary, the SDF syntax ...

StrategoXT 0.9.4 StrategoXT 0.9.4 released January 22, 2004 Download See the installation instructions if you are not familiar with the standard installation procedure ...

Released March 26, 2004 Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or RPMs. Source tar ...

The StrategoLanguage was developed with the support of many StrategoContributors and the following institutes University of Amsterdam Oregon Graduate Institute of ...

This page lists ideas for programming utilties for Stratego programmers. StrategoDebug xDoc generate documentation for Stratego specifications Shell interactive ...

TOC Introduction StringBorg is a solution to injection attacks for arbitrary languages. StringBorg prevents injection attacks by embedding the syntax of guest languages ...

Dryad is a natural female tree spirit, associated with trees. Also, it is a collection of tools for developing transformation systems for Java source and bytecode ...

On May 3, 2002 the ThirdStrategoUsersDay was held at Utrecht University. During the day seven presentations about features or applications of Stratego were given. ...

Simple search: Topic text (body) All webs (not only TWiki.Stratego web) Topic name TWIKIWEB .BookView Advanced search: Topic text (body) Search all MAINWEB TWIKIWEB ...

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

a1 a2 a3 a4 a5 a6 a7

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

Simple search: Topic text (body) All webs (not only TWiki.Sts web) Topic name TWIKIWEB .BookView Advanced search: Topic text (body) Search all MAINWEB TWIKIWEB Know ...

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

This is a short introduction training course for TWiki beginners (newbies). SLIDESHOWSTART{template "ATasteOfTWikiTemplate"} A Taste of TWiki The basic function of ...

Classic Skin The classic TWiki skin is a bare bone and functional skin, supporting any browser, and has a minimum of graphics This is not really a skin. It is the ...

Dragon Skin TWiki:Plugins.DragonSkinDev has development-related information. Dragon skin (named after the logo on the site it was developed for) is intended to provide ...

Edit Table Plugin This plugin allows you to edit TWiki tables using edit fields and drop down boxes. Tables have an Edit table button if preceeded by an EDITTABLE ...

TOC STARTINCLUDE # File Attachments Each topic can have one or more files of any type attached to it by using the Attach screen to upload (or download) files from ...

TOC STARTINCLUDE # TWiki Formatted Search Results Inline search feature allows flexible formatting of search result The SEARCH{...} variable documented in TWikiVariables ...

TOC STARTINCLUDE # Managing Webs Adding webs is a web based operation; renaming and deleting webs are manual operations done directly on the server Overview A TWikiSite ...

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

Css elements in !PatternSkin This page is a reference for all CSS classes used in PatternSkin. TOC{title "Page contents:"} The !PatternSkin stylesheet is divided ...

Customization of !PatternSkin This page describes ways to change the layout, fonts and colors of PatternSkin. TOC{title "Page contents:"} Your own TWiki look You ...

!PatternSkinPalette This page gives an overview of the colors used by PatternSkin and describes where to change them to create your own style. TOC{title "Page contents ...

Plain Skin The plain skin can be used to get the rendered topic text without any page decoration. This skin is part of every TWiki distribution. Skin Info Description ...

Background Image for Preview Preview looks like the real page, but the links leed to an oops dialog warning users of not yet saved topics. In addition, a background ...

Print Skin The print skin, useful to print pages with a small header and footer. This skin is part of every TWiki distribution. Skin Info Description: The print skin ...

Render List Plugin Render bullet lists in a variety of formats Syntax Rules RENDERLIST Variable Place a RENDERLIST{ parameters } before any bullet list The lists ...

TOC STARTINCLUDE ## Site Usage Statistics You can automatically generate usage statistics for all webs. To enable this: Make sure variable $doLogTopicView, $doLogTopicSave ...

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

The Smilies Plugin :-) Smilies are common in e-mail messages and bulletin board posts. They are used to convey an emotion, such as a smile :-) or a frown :-( . This ...

TWiki Documentation Graphics This is one way to create a library of common icons, accessible through user-defined TWikiVariables set in WebPreferences, or in TWikiPreferences ...

Frequently Asked Questions About TWiki This is a real FAQ, and also a demo of one easily implemented knowledge base solution. See how it's done, click Edit . SEARCH ...

TOC STARTINCLUDE # TWiki::Func Module Documentation Official list of stable TWiki functions for Plugin developers Description This module defines official funtions ...

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

TOC STARTINCLUDE # TWiki Installation Guide Installation instructions for the TWiki 01-Sep-2004 production release. If you are reading this on your own TWiki installation ...

TWiki Logos Main.PeterThoeny 28 Jun 2002 Powered by TWiki robot, 121x54: Powered by TWiki robot, gray, 121x54: Powered by TWiki robot, button, 131x64: Powered by ...

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 System Requirements Server and client requirements for TWiki 01-Sep-2004 Low client and server requirements are core features that keep TWiki ...

TOC STARTINCLUDE # TWiki Templates Definition of the templates used to render all HTML pages displayed in TWiki Overview The new modular template system offers flexible ...

TOC STARTINCLUDE # TWiki Upgrade Guide Upgrade from the previous TWiki 01-Feb-2003 production release to TWiki 01-Sep-2004 Overview This guide describes how to upgrade ...

TOC STARTINCLUDE # TWiki Upgrade Guide Upgrade from TWiki 01-Dec-2000 or TWiki 01-Sep-2001 to TWiki 01-Dec-2001 (previous to new full release) This guide describes ...

TOC STARTINCLUDE # TWiki Upgrade Guide Upgrade from the previous TWiki 01-Dec-2001 production release to TWiki 01-Feb-2003 Overview This guide describes how to upgrade ...

Note: This topic is included by TWikiVariables STARTINCLUDE #VarATTACHURL ATTACHURL full URL for attachments in the current topic Syntax: ATTACHURL Expands to: ATTACHURL ...

Note: This topic is included by TWikiVariables STARTINCLUDE #VarNOTIFYTOPIC NOTIFYTOPIC name of the notify topic Syntax: NOTIFYTOPIC Expands to: NOTIFYTOPIC , renders ...

Table Plugin Gives extra control of table display: Allows sorting Changing table properties like border width, cell spacing and cell padding Changing background color ...

Since wabi-sabi represents a comprehensive Japanese world view or aesthetic system, it is difficult to explain precisely in western terms. According to Leonard Koren ...

Welcome to TWiki: a flexible, powerful, secure, yet simple web-based collaboration platform. Use TWiki to run a project development space, a document management system ...

TWiki 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

BR All public webs Help Advanced search Text body Topic title Both SEARCH{ " URLPARAM{search} " type "keyword" scope " URLPARAM{scope} " web " URLPARAM{web} " nosearch ...

Advanced search: Topic text (body) Search all public INCLUDINGWEB WEBLIST{" $name"} web(s) Topic name Sort by Topic name Last modified time Last editor in reversed ...

Web Site Tools STARTINCLUDE (More options in WebSearch) WebChanges: Display recent changes to the INCLUDINGWEB web WebIndex: List all INCLUDINGWEB topics in alphabetical ...

NOTE: This Wiki topic does not exist yet If you used the "Go" feature to jump to this page: Make sure you spelled the TWIKIWEB .WikiWord correctly and try again. ...

NOTE: This Wiki topic does not exist yet If you used the "Go" feature to jump to this page: Make sure you spelled the TWIKIWEB .WikiWord correctly and try again. ...

This page provides online help for new users of TWiki, when editing a page the area between the horizontal lines is included just below the text input area. 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 ...

Nutshell Summary of Windows Install Cookbook This summary of WindowsInstallCookbook is for you if: You've already installed TWiki on Windows before and want a quick ...

The TigerCompiler consists of four CompilerPackages. Download each of these packages. Installing Tools.XT To use the TigerCompiler packages you need an installation ...

High-Performance Compilers High-Perfomance Compilers (Introduction) ps, ps (4up) Abstract Syntax and Assembly Code ps, ps (4up) Translation to Intermediate Code ps ...

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

Stratego Installations at cs.uu.nl The Stratego distribution is installed as part of the XT package in /projects/stratego/xt. To use the tools installed there add ...

The TigerXmpl package provides a directory with example Tiger programs and a makefile for testing the various TigerCompiler components. The makefile imports make-rules ...

Simple search: Topic text (body) All webs (not only TWiki.Tiger web) Topic name TWIKIWEB .BookView Advanced search: Topic text (body) Search all MAINWEB TWIKIWEB ...

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

TOC Description The Database Interface (aterm-dbi) offers an ATermServices look on a relational database. aterm-dbi uses Java Stratego.ATerm Servlets. Interface Currently ...

Description An abstract composition definition is a definition of a composition that is independent of the type of components. It describes the components in the ...

Summary addPosInfo adds position information to an AsFix2ME parse tree. Example The following syntax definition defines a tiny language of assignments and expressions ...

The Box Language is described in the Stratego/XT manual: Box Text Formatting Language Documentation to pretty print a grammar to define pretty print tables Publications ...

The KoalaCompiler components are all tool components that use a standard set of command-line switches to control their operation. Below we describe the common switches ...

If you are a JJForester user, we would like to know your opinion about possible modifications to the tool. That's what this discussion page is for. Qualified constructor ...

News May-2-2007. Version 0.3 of the koala compiler has been released. Checkout HowToObtainKoalaCompiler Description The Koala-compiler package forms an Open Source ...

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

This project is obolete, please checkout: KoalaCompiler Description The Koala-tools package is a collection of tools operating on the Koala component definition language ...

Description The tool koala-wire connects requires interfaces to provides interfaces whenever possible. Example For instance, all components in the composition showed ...

Description The tool pack-koala packs the Koala component and interface definitions and produces a parse tree for the complete Koala specification. Example ATTACHURL ...

XT: Transformation Tools XT is a bundle of tools for building program transformation systems. The tools include parser generation, pretty-printing, abstract syntax ...

Simple search: Topic text (body) All webs (not only TWiki.Tools web) Topic name TWIKIWEB .BookView Advanced search: Topic text (body) Search all MAINWEB TWIKIWEB ...

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

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

3rd BElgium Netherlands Workshop on software EVOLution Location: TU/e, Eindhoven (how to get there: maps and route) You need to go to the Auditorium building, and ...

BENEVOL 2004 2nd BElgium Netherlands Workshop on software EVOLution Location: UA, Antwerpen Date: July 8-9, 2004 Sponsors: Lunch and dinner are sponsored by the two ...

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

This Claudio's own research home page. Soon I will upload my papers to this page! Claudio Riva test whether this works!

Cristina Cifuentes http://www.csee.uq.edu.au/~cristina/ DeCompilation ProgramSlicing LegalIssues CategoryPeople

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

This page represents examples 72, 73, and 74 of Halstead's "Machine-Independent Computer Programming". Comments in italics, as well as the disassembly and Algol hand ...

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

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

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

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

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

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

PhilipWadler. Deforestation: Transforming Programs to Eliminate Trees. European Symposium on Programming (ESOP'88) , Nancy, France. Lecture Notes in Computer Science ...

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

The Extensible Stylesheet Language (XSL) XSL is a language for expressing stylesheets. It consists of three parts: XSL Transformations (XSLT): a language for transforming ...

Description FermaT is an industrial strength program transformation system targeted at reverse engineering, program comprehension and migration between programming ...

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

Generative Programming: Methods, Tools, and Applications. KrzysztofCzarnecki and Ulrich W. Eisenecker. Addison-Wesley, 2000. http://www.generative-programming.org ...

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

Description Intentional programming developed at Microsoft Research Ait98 is a method for extending a language with new constructs or intentions . The meaning of ...

Homepage: http://www.cs.yale.edu/homes/tullsen/ Works on a transformation system for transformation of HaskellLanguage programs, called PATH (Programmer Assistant ...

Textbook on Compiler Construction by AndrewAppel. Used in a course on High-Performance Compilers. See the HPC0102 web. Main.EelcoVisser 29 Oct 2001 I've written ...

PREA Panel on Reverse Engineering and Architectural evolution Co-located with CSMR 2002 Tuesday 12 March 2002, 14:00 16:00 ReverseEngineering is the process of recovering ...

The PILER Decompilation System TOC The PILER decompilation system is documented in Barb74 . However, this document is probably only available in Microfiche form, ...

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

The ReverseAndReengineeringTaxonomy defines reengineering as: the examination and alteration of a subject system to reconstitute it in a new form and the subsequent ...

This topic provides information for Rigi developers that work with source code. See RigiInstall if you work with Rigi's precompiled distributions. Compilation of RigiEdit ...

Rigi Q A In this document the following tools are frequently mentioned: sortrsf (See SortRSF) htmlrsf (See HtmlRSF) rigiedit (See RigiEdit) Q: rigiedit is dog-slow ...

Information if you are new to Rigi: Purpose Rigi is a ReverseEngineering environment. It consists of a set of tools: parsers, command-line utilities, and an interactive ...

This topic provides information for users of Rigi binary distributions. See also RigiDevelopment if you work with Rigi's source code. Installing RigiEdit basically ...

Software Design And Management AG. http://www.sdm.de/ Consulting firm which also does ReEngineering projects using its own hypertext repository called SHORE. SHORE ...

Dagstuhl Seminar 3061 Software Architecture: Recovery and Modelling More information on this seminar: http://www.dagstuhl.de/03061/ http://www.bauhaus-stuttgart.de ...

2003-01-31 FrontEndART released Columbus/CAN 3.5 final. (see http://www.frontendart.com) Apart from the usual bug fixes, this final version contains new features ...

TL is an open-source template language using Java and the XPath language of XML as described in Chapter 12 of ProgramGeneratorsWithXMLAndJava. See http://www.craigc ...

Simple search: Topic text (body) All webs (not only TWiki.Transform web) Topic name TWIKIWEB .BookView Advanced search: Topic text (body) Search all MAINWEB TWIKIWEB ...

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

Why decompilation? Why not just disassemble? Consider the Java world, where there are simple disassemblers and sophisticated decompilers that often work well and ...

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

Call for Paper Results Open Issues and Further Things To Do Pictures

For now just the posters of this disscussion group are put here. Topic overview Imperfect Frameworks for the Real World Pointcut Language for Procedural Languages ...

Main.JohnAnvik 23 Nov 2004

These position papers were the basis for our discussion at the OOPSLA 2004 workshop: Alves Matos Borba.zip; Arvind Turkaye Yilmaz Schmidt Gokhale Memon Porter.zip ...

Statistics for TWiki.Variability Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Feb 2008 ...

The fourth meeting is planned: Dates: Wed, August 21 Sun, August 25, 2013 Venue: University Aarhus, Denmark Host: Erik Ernst Participants Top row: Jonathan Edwards ...

The meeting will be held in Austin Venue: University of Texas at Austin Time: Tuesday December 4 to Saturday December 8 Local organizer: William Cook Participants ...

The working group has been approved as IFIP TC2 working group on June 28, 2011. Proposal for IFIP TC2 committee

The first official meeting of IFIP TC2 WG2.16 was held in London Feb 27 Mar 2 2012 at Imperial College, hosted by Susan Eisenbach. The general post-meeting consensus ...

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

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

Dates: 2019 November 11–15 Venue: Hôtel Nice Beau Rivage, Nice, FR Host: Manuel Serrano The hotel booking form is attached at the bottom. In response to concerns ...

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

WGLD Home IFIP Proposal Members Meetings

Statistics for TWiki.WGLD Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Notes: Do not ...

Simple search: Topic text (body) All webs (not only TWiki.WebDSL web) Topic name TWIKIWEB .BookView Advanced search: Topic text (body) Search all MAINWEB TWIKIWEB ...

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

Simple search: Topic text (body) All webs (not only TWiki.default web) Topic name TWIKIWEB .BookView Advanced search: Topic text (body) Search all MAINWEB TWIKIWEB ...

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