The following co-located meetings with overlapping interests are directly adjacent to BX 2012: ESOP 2012: 22nd European Symposium on Programming FASE 2012: 15th International ...

We are proud to feature the following two invited talks: Juan de Lara (Autonomous University of Madrid, Spain): Bidirectional Transformations with Graphical Constraints ...

Mailing lists Address List name Sent OK Comment gpce-news@cs.rice.edu Gpce News Yes alp@doc.ic.ac.uk Yes Bounced amast@cs.utwente.nl Yes Bounced announce@aosd.net ...

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

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 POSTERS INCLUDE{ConferenceHeader} Poster Chair Important Dates Poster proposal submission: Notification of acceptance: Conference: Overview Posters at GPCE ...

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

Mailing lists Address List name Sent OK Comment gpce-news@cs.rice.edu Gpce News Yes alp@doc.ic.ac.uk Yes Bounced amast@cs.utwente.nl Yes Bounced announce@aosd.net ...

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

Engineering Software Factories for Developing Enterprise Applications Using Model-Driven Techniques Vinay Kulkarni, Tata Research Development and Design Centre Sreedhar ...

Sunday, October 22nd morning GPCE1 Model-driven development basics using Eclipse Bruce Trask, Angel Roman WS1 AOPLE Aspect-Oriented Product Line Engineering Neil ...

GPCE Home GPCE'06 Home Final Program Final Program(pdf) Organization Dates Venue Registration Tutorials GPCE1 GPCE2 GPCE3 GPCE4 GPCE5 GPCE6 GPCE7 Workshops AOPLE ...

INCLUDE{ConferenceHeader} List of workshops DSPD 2008: Workshop on Domain-Specific Program Development McGPLE 2008: Workshop on Modularization, Composition and Generative ...

GPCE Tutorial #2 (GP2) "Problems We Can Solve with Power-Generics" by Stan Jarzabek, National University of Singapore Date: Oct 22, afternoon Description Repetitions ...

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

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

MODELS and GPCE registration Registration is live now! Advance registration is possible until August 31, 2009. Click here to go to the actual registration page. The ...

GPCE Home GPCE'09 Home Keynotes Poster Program Organization Dates Venue Registration Calls for Papers Tutorials Workshops FOSD workshop ElectronicSubmission

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

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

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

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

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

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

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

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

Aspect-oriented programming languages support the modular definition of crosscutting abstractions. In most languages, this is achieved through pointcuts, which provide ...

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

SIGPLAN Student Travel Grants Are you a student who is a presenter or co-author of a paper, but need money to attend the conference? The SIGPLAN Professional Activities ...

Important Dates Submission of papers : June 14, 2013 (Anywhere on Earth) Paper notification : August 22, 2013 Camera ready papers : September 18, 2013 Submission ...

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

Aspect-oriented programming languages support the modular definition of crosscutting abstractions. In most languages, this is achieved through pointcuts, which provide ...

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

SIGPLAN Student Travel Grants Are you a student who is a presenter or co-author of a paper, but need money to attend the conference? The SIGPLAN Professional Activities ...

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

Aspect-oriented programming languages support the modular definition of crosscutting abstractions. In most languages, this is achieved through pointcuts, which provide ...

Building mbeddr: a Language Engineering Experiment Markus Völter Over the last four years a team at fortiss and itemis have built mbeddr, an extensible set of integrated ...

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

Since it is really difficult for a newbie to understand ideas behind the configuration of FUUT, i believe we need a document describing the purpose of each configuration ...

Models can be expressed in text, XMI etc. The most convenient form to visualize a model is trough a diagram. The most commonly used diagram notation is UML. A simple ...

Generative Model Transformer Edit WebContents to add links to the content bar on the left. Edit WebPreferences to change color of the content bar. This wiki is the ...

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

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

CALL FOR POSTERS INCLUDE{ConferenceHeader} Poster Chair Important Dates Poster proposal submission: Notification of acceptance: Conference: Overview Posters at GPCE ...

CALL FOR TUTORIAL PROPOSALS INCLUDE{ConferenceHeader} Tutorial Chair Jeff Gray, University of Alabama at Birmingham (tutorials04@gpce.org) Important Dates Proposal ...

CALL FOR WORKSHOP PROPOSALS(closed) INCLUDE{ConferenceHeader} Workshop Chair Zino Benaissa. Intel, Austin, Texas. (workshops04@gpce.org) Important Dates Workshop ...

TOC Sunday, October 24, 2004 : Tutorials and Workshops GP1: Adaptive Object-Model Architecture GP2: Multi-stage Programming GP3: Generative Software Development Workshop ...

TOC Mailinglists For all chairs https://mail.cs.uu.nl/mailman/listinfo/gpce-org For the PC chairs General chair https://mail.cs.uu.nl/mailman/listinfo/gpce-chairs ...

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 Demonstration 22 Towards Domain-Driven Development: the SmartTools Software Factory Didier Parigot, INRIA Sophia-Antipolis Summary Nowadays, software needs to ...

GPCE/OOPSLA Demonstration 14 Program Transformations for Re-Engineering C++ Components Ira Baxter, Semantic DesignsLarry Akers, Semantic DesignsMichael Mehlich, Semantic ...

Software Transformation Systems Workshop First MetaOCaml Workshop 6th GPCE Young Researchers Workshop

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

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

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

CALL FOR TOOL DEMONSTRATIONS 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 POSTERS INCLUDE{ConferenceHeader} Poster Chair Important Dates Poster proposal submission: Notification of acceptance: Conference: Overview Posters at GPCE ...

CALL FOR TUTORIAL PROPOSALS INCLUDE{ConferenceHeader} Tutorial Chairs Andrew Malton, University of Waterloo Jeff Gray, University of Alabama at Birmingham Tutorial ...

GPCE Demonstration 22 Towards Domain-Driven Development: the SmartTools Software Factory Didier Parigot, INRIA Sophia-Antipolis Summary Nowadays, software needs to ...

GPCE/OOPSLA Demonstration 14 Program Transformations for Re-Engineering C++ Components Ira Baxter, Semantic DesignsLarry Akers, Semantic DesignsMichael Mehlich, Semantic ...

Thursday, September 29, 2005 : GPCE Conference 8:45 9:00 Opening Session A (session chair: Eugenio Moggi) 9:00 10:00 Oscar Nierstrasz: Object-oriented Reengineering ...

Tuesday, September 27, 2005 : GPCE Tutorials and Workshops T1: Multi-Stage Programming in MetaOCaml (Duration: Full Day) 9:00 10:30 Lecture 1 10:30 11:00 Break ...

Program Transformation Systems: Theory and Practice for Software Generation, Maintenance and Reengineering Description As software demands grow, so does the need ...

9:00 10:00 ICFP invited talk 10:15 10:30 Opening 10:30 11:00 Break 11:00 11:30 Playing with Type Systems Tim Sheard 11:30 12:00 Typing Template Haskell: Soft ...

Session 1: Different views on model transformation A Taxonomy of Model Transformation T.Mens, P.Van Gorp Applying a Model Transformation Taxonomy to Graph Transformation ...

9:00 10:00 ICFP invited talk 10:15 10:30 Opening 10:30 11:00 Break 11:00 11:30 Efficient Code Generation for a Domain-specific Language Andrew Moss, Henk Muller ...

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

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

This page contains a list of mailinglists that can be used to send calls for papers to. It does not seem appropriate or necessary to send such announcements to every ...

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

The following co-located meetings with overlapping interests are directly adjacent to BX 2012: ESOP 2012: 22nd European Symposium on Programming FASE 2012: 15th International ...

We are proud to feature an invited talk by Oleg Kiselyov!

Mailing lists Address List name Sent OK Comment gpce-news@cs.rice.edu Gpce News Yes alp@doc.ic.ac.uk Yes Bounced amast@cs.utwente.nl Yes Bounced announce@aosd.net ...

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

Name: AshleyLiberty Email: shaybursts@tmail.com Homepage URL: http://wou.edu Country: USA My Links TWIKIWEB .WelcomeGuest to learn TWiki Sandbox.WebHome web to try ...

"Terar dum prosim" I work for Microsoft's Core Operating System Division in Redmond, WA developing tools, infrastructure, testing, and certification technologies ...

Name: Eelco Visser Email: visser@cs.uu.nl Affiliation: Utrecht University Country: Netherlands Homepage URL: http://www.cs.uu.nl/~visser Other TWiki homepages Stratego ...

http://www.info.ucl.ac.be/Images/photos staff/academic/mens.gif Name : Kim Mens Title : Professor ("Chargé de cours") Email : Kim.Mens @ info.ucl.ac.be Affiliation ...

TOC{} TWiki has a different syntax for TWiki.WikiNames than the c2 wiki ( Wiki:WikiName ). This means that words consisting entirely of uppercase letters such as ...

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

OK, I have to ask this now. Should my home page (MikeVanEmmerik) be in web Main or web Transform? Everyone elses seems to have been created in Transform, but when ...

Packages Octave Frontend Octave Optimizer Octave Typechecker Octave to C++ Backend Developers Daily generated documentation (by xDoc) Roadmap going on Other useful ...

Octave Front is a front-end for the OCTAVELINK language. Contents Octave Front consists of the following end-user tools: pack-octave pp-octave Besides these tools ...

Mailing lists Address List name Sent OK Comment gpce-news@cs.rice.edu Gpce News Yes alp@doc.ic.ac.uk Yes Bounced amast@cs.utwente.nl Yes Bounced announce@aosd.net ...

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

Mailing lists Address List name Sent OK Comment gpce-news@cs.rice.edu Gpce News Yes alp@doc.ic.ac.uk Yes Bounced amast@cs.utwente.nl Yes Bounced announce@aosd.net ...

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 following papers (in no particular order) will be presented at the workshop. Regular research papers: Christopher Brown and Simon Thompson. Clone Detection and ...

The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program ...

Mailing lists Address List name Sent OK Comment gpce-news@cs.rice.edu Gpce News Yes alp@doc.ic.ac.uk Yes Bounced amast@cs.utwente.nl Yes Bounced announce@aosd.net ...

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 PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program ...

Mailing lists Address List name Sent OK Comment gpce-news@cs.rice.edu Gpce News Yes alp@doc.ic.ac.uk Yes Bounced amast@cs.utwente.nl Yes Bounced announce@aosd.net ...

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

Mailing lists Address List name Sent OK Comment gpce-news@cs.rice.edu Gpce News Yes alp@doc.ic.ac.uk Yes Bounced amast@cs.utwente.nl Yes Bounced announce@aosd.net ...

The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the broad area of program transformation and generation. We hope ...

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

We are proud to present the following two invited talks: Zhenjiang Hu (National Institute of Informatics, Japan): Practical Aspects of Bidirectional Graph Transformations ...

Mailing lists Address List name Sent OK Comment gpce-news@cs.rice.edu Gpce News Yes alp@doc.ic.ac.uk Yes Bounced amast@cs.utwente.nl Yes Bounced announce@aosd.net ...

The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the broad area of program transformation and generation. We hope ...

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 PEPM Symposium/Workshop series aims at bringing together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program ...

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

Mailing lists Address List name Sent OK Comment gpce-news@cs.rice.edu Gpce News Yes alp@doc.ic.ac.uk Yes Bounced amast@cs.utwente.nl Yes Bounced announce@aosd.net ...

The PEPM Symposium/Workshop series aims to bring together researchers and practitioners working in the broad area of program transformation and generation. We hope ...

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

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

The idea for a library that gives access to common php-meta-programming facilities was already mentioned in the application for the SoC. A quote: The community will ...

Syntax Definition PHP-Front has an extensive test suite that is run on every build. The grammar is tested by over six hunderd unit-tests that cover at least every ...

TOC What is a bug-pattern? Let us start with a definition: A bug-pattern describes a common mistake at the application level. So each bug-pattern describes a pattern ...

TOC Why configuration? The configuration file is used to configure the security-analysis within php-sat. It contains information about three things: Which variables ...

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

Bugpatterns Each bugpattern category within PHP-Sat has his own testsuite. Each bugpattern has is own section within the testsuite to test different properties of ...

If you are in need of support you can try either one of these channels to ask questions or file issues: Mailing lists IRC Issues

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

The empty module is a top-level directory in the SVN-repository which contains everything you need to start your own project based on PHP-Front. The special name that ...

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

PHP-sat Download Documentation Bugpatterns Quality Origin Name PHP-front Download Documentation Quality Origin PHP-tools Support Mailing lists IRC Issues Developers ...

Super Scalar Sample Sort This is a paper I wrote for ETH, I thought I might as well publish it here Introduction Abstract The Sample Sort Algorithm How it works The ...

by Transform.MarkVanDenBrand, JeroenScheerder, Transform.JurgenVinju and Transform.EelcoVisser. Disambiguation filters for scannerless generalized LR parsers. In N ...

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

Description SGLR, Scannerless Generalized LR Parser, is an implementation of Tomita's LR algorithm with extensions for scannerless parsing. The SGLR package contains ...

SDF2 Bundle 1.6 Contents sdf2-bundle 1.6 consists of: asc-support-1.6 asf-support-1.0 sdf-support-1.0 pt-support-0.11 sglr-3.9 toolbuslib-0.4 pgen-1.6 Download See ...

SDF2 Bundle 2.0.1 Contents sdf2-bundle 2.0.1 consists of: asc-support-1.8 asf-support-1.2 sdf-support-2.0 pt-support-1.0 sglr-3.10.2 toolbuslib-0.5.1 pgen-2.0 Download ...

SDF2 Bundle 2.1 Contents sdf2-bundle 2.1 consists of: asc-support-1.9 asf-library-1.0 asf-support-1.3 error-support-0.1.1 pgen-2.1 pt-support-1.1 sdf-support-2.1 ...

Released July 04, 2004. The SDF2 Bundle is an easy to install collection of packages that implement the modular SDF syntax definition formalism. Contents SDF2 Bundle ...

Released January 10, 2005. Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or RPMs. Source ...

Released August 17, 2005. Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or RPMs. Source tar ...

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

Released November 4th, 2005. Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or RPMs. Source ...

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

Overview The SDF syntax definition formalism allows a concise and natural expression of the syntax of a context-free language. SDF integrates lexical and context ...

Related Software This page lists known third-party software that is available for SDF IDE The SDF Meta-Environment is an IDE for SDF. It is currently not released ...

The design of SDF is the result of a number of requirements. This page discusses these requirements. Completeness of Syntax Definition All aspects of the syntax of ...

SDF Home About Documentation Download Grammars Related Software Community Contributors Publications Applications Mailing Lists License Development Tools API

Menu Home Documentation FAQ Screenshots Community Contributing ReleaseNotes OpenSource Development API Continuous build Bugs DevelopmentTools Technologies (under ...

by Transform.MarkVanDenBrand, JeroenScheerder, Transform.JurgenVinju and Transform.EelcoVisser. Disambiguation filters for scannerless generalized LR parsers. In N ...

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

Description SGLR, Scannerless Generalized LR Parser, is an implementation of Tomita's LR algorithm with extensions for scannerless parsing. The SGLR package contains ...

SDF2 Bundle 1.6 Contents sdf2-bundle 1.6 consists of: asc-support-1.6 asf-support-1.0 sdf-support-1.0 pt-support-0.11 sglr-3.9 toolbuslib-0.4 pgen-1.6 Download See ...

SDF2 Bundle 2.0.1 Contents sdf2-bundle 2.0.1 consists of: asc-support-1.8 asf-support-1.2 sdf-support-2.0 pt-support-1.0 sglr-3.10.2 toolbuslib-0.5.1 pgen-2.0 Download ...

SDF2 Bundle 2.1 Contents sdf2-bundle 2.1 consists of: asc-support-1.9 asf-library-1.0 asf-support-1.3 error-support-0.1.1 pgen-2.1 pt-support-1.1 sdf-support-2.1 ...

Released July 04, 2004. The SDF2 Bundle is an easy to install collection of packages that implement the modular SDF syntax definition formalism. Contents SDF2 Bundle ...

Released January 10, 2005. Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or RPMs. Source ...

Released August 17, 2005. Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or RPMs. Source tar ...

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

Released November 4th, 2005. Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or RPMs. Source ...

Overview The SDF syntax definition formalism allows a concise and natural expression of the syntax of a context-free language. SDF integrates lexical and context ...

The design of SDF is the result of a number of requirements. This page discusses these requirements. Completeness of Syntax Definition All aspects of the syntax of ...

SDF Home About Documentation Publications Download Grammars Users Applications Mailing Lists ASF+SDF Users Day Stratego Users Day Development Organization Reporting ...

The Spoofax project consists of the following components: Spoofax/IMP IMP Stratego Stratego/J STRJ SDF JSGLR Aster

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

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

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

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

Spoofax 1.1 released February 15, 2013 NaBL name binding language Q A on YellowGrass Download Update sites changed: http://download.spoofax.org/update/stable for ...

TOC About The "template language" is a language that aims to eliminate redundancy in the specification of grammar, completion templates, and pretty printer. It borrows ...

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

INCLUDE{WebNotice} TOC Editor Plugins for Stratego Spoofax Stratego Editor Plug-In for Eclipse The Spoofax Stratego Editor plug-in provides syntax-highlighting and ...

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

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

This page lists ideas for improvement of the StrategoCompiler. Please add ideas and bug reports to the appropriate sub-topic. ImplementationScheme StrategoOptimization ...

M. Bravenboer and E. Visser. Concrete Syntax for Objects. Domain-Specific Language Embedding and Assimilation without Restrictions. In D. C. Schmidt, editor, Proceedings ...

Martin Bravenboer. Connecting XML Processing and Term Rewriting with Tree Grammars . Institute of Information and Computing Sciences, Utrecht University, The Netherlands ...

This page collects references to language constructs in other languages that have some commonalities with dynamic rewrite rules. Dynamically Scoped Variables in Lisp ...

xDoc: generate documentation for Stratego specifications General Rob Vermaas is working at the moment on xDoc. Examples of generated documentation can be found at ...

A. van Dam. Extending Dynamic Rules. An Application-Oriented Study into Stratego's new Dynamic Rules. Master's thesis, Utrecht University, Utrecht, The Netherlands ...

A tuple is a term of the form (t1,...,tn) . In pre- StrategoRelease07 versions of Stratego this was syntactic sugar for TCons(t1,...,TCons(tn,TNil)) . The idea behind ...

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

TOC JavaBorg is an instance of MetaBorg. Applications of JavaBorg are collected in the JavaBorg package. Installation JavaBorg can be obtained directly from the Subversion ...

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

This page lists StrategoLanguage constructs and features that are desirable to have. Feel free to add ideas by adding an item with a descriptive name. RightToLeftTraversal ...

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

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

The documentation of Standard Library must be improved. You can help with this in two ways: If you have to you think longer than 10 seconds about what a strategy in ...

In the ATerm representation lists are represented as terms of the form t1,...,tn . This is also the syntax for lists in Stratego; extended with the notation t1,.. ...

Lists are now (StrategoRelease07) considered as variadic constructors. The behaviour of the generic traversal operators is changed accordingly. For example, a, b, ...

INCLUDE{WebNotice} There are several mailing lists that you may subscribe to depending on the amount of information needed. All lists are subscriber post only, and ...

MetaBorg is a method for providing concrete syntax for domain abstractions to application programmers. The method consists of embedding domain-specific languages in ...

MetaStratego is a meta-programming framework for Stratego which is under development by Main.KarlTrygveKalleberg and Main.ValentinDavid. Contact these authors directly ...

for the Stratego Tutorial at ETAPS 2002 language constructs: overview of topics covering constructs of the language Glossary: explanation of terminology Card data ...

Overview About the Stratego transformation language Stratego/XT combines the Stratego language and the XT tools Documentation Overview of the available documentation ...

I thought I'd give you an brief update on my attempt to build a verification tool for P-logic, the logic for Haskell98 that we have developed in the Programatica ...

TOC Introduction Extensible Compilers. Many extensible compilers and programming languages allow the syntax of a base language to be extended to introduce new syntactic ...

This page contains plans for past releases. See ReleasePlan for planning of future releases. StrategoXT 0.9.3 released September 1, 2003 New names for si and sc : ...

The pattern match optimizer of the compiler optimizes choices of strategies guarded with a pattern match operation ?t . A strategy of the form {xs1 : ?t1; s1} is transformed ...

Patterns The match strategy ( ? ) Compares the current term to a pattern. A pattern is a term that might contain variables. If a variable in a term pattern is already ...

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

Introduction The query-compiler package is a set of tools for the inspection of the process of query compilation. It shows how a SQL query is parsed, desugared, translated ...

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

A rewrite rule has the form Lab : l r where s where Lab is the label or name of the rule, l is the left-hand side term pattern, r the right-hand side term pattern ...

Creating a Stratego/XT project the simple way The easiest way to set up a working Stratego/XT project is to use the Create-a-Project tool called crap , available ...

The UltraSparc platform is the 64 bit version of the Sparc platform. It (and the Solaris operating system) can handle both 32 bit and 64 bit executables. The default ...

Jozef Kruger. Specification Of Loop Optimizations In Stratego. Improving the AutoBayes System . Master's thesis. Institute of Information and Computing Sciences, Utrecht ...

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

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

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

This is an overview of topics covering the various constructs in the language. This is a subset of the glossary, which also lists concept, advice, design and tool ...

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

The StrategoCompiler performs a number of transformations/optimizations including the following: Pattern match merging Symbol caching Simplification Desugaring The ...

The Stratego Optimizer consists of a number of source-to-source transformation components that are called by the StrategoCompiler. Optimizations that are already implemented ...

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

Issues fixed in StrategoXT 0.10 Bug STR-8 Scopes and Undefined are reserved terms STR-10 Incorrect variable unbound error when using the ( ) construct STR-11 Unbound ...

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

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

Stratego/XT 0.14 released May 9th, 2005 Download See the installation instructions if you are not familiar with the standard installation procedure of tarballs or ...

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

Release Notes Stratego/XT Version 0.15 (Stratego Core Compiler Experimental) Bug STR-220 syntax priority issue: 's1 STR-224 Term projection in annotations is broken ...

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

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

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

2001-04-13 Eelco Visser spec/slib/spec/Makefile.am: Simplified makefile for library spec/slib/spec/share-test.r: Defined test 2001-04-12 Eelco Visser bootinstall ...

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

See also StrategoRelease061 StrategoRelease062 StrategoRelease063 Stratego version 0.6 is available from www.stratego-language.org SUMMARY OF CHANGES (with respect ...

Stratego version 0.6.2 is now available from StrategoDownload released: October 6, 2001 SUMMARY OF CHANGES (with respect to release 0.6) CONTRIBUTIONS Bug reports ...

Available from StrategoDownload New features TermWrap TermProject Release Announcement Version 0.6.3 released: November 26, 2001 SUMMARY OF CHANGES (with respect to ...

Stratego 0.6.4 is now available from http://www.stratego-language.org The release fixes a "fikse bug in Stratego!!" in the translation of Strategy Rules (rules of ...

Stratego version 0.7 is now available. Main.EelcoVisser 13 Mar 2002 New in 0.7beta FixedLengthTuple ListConstructor ListTraversal PairConstructor New in 0.7beta1 ...

See DependencyGraph08 for an overview of the dependencies between the packages involved in Release 0.8 Release 0.8 TermAnnotations Simple ListMatching ConfigurationFiles ...

Stratego/XT 0.9 released on January 26, 2003 Contents TOC Download Source distribution StrategoXT is built using the ATermLibrary, the SDF syntax definition formalism ...

StrategoXT 0.9.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.2 Version StrategoXT-0.9.2 released on July 4, 2003 Contents TOC Download Source tar.gz aterm-2.0 sdf2-bundle-1.6 strategoxt Source RPM aterm-2.0 sdf2 ...

StrategoXT 0.9.3 StrategoXT 0.9.3 is released on September 1, 2003. Contents TOC Download Source tar.gz aterm-2.0 sdf2-bundle-1.6 strategoxt Source RPM aterm-2.0 ...

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

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

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

The Stratego/XT distribution consists of the following packages: Stratego/XT Core Stratego packages stratego-front Stratego syntax and support for concrete object ...

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

Introduction Stratego uses terms to represent the abstract syntax of programs or documents. A term consists of a constructor and a list of argument terms. Sometimes ...

TermProject patterns simplify projection of sub-terms. A strategy application inside a match pattern selects the corresponding sub-term and applies s to it. For example ...

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

Allow some specification of a desugaring tool in a meta file to apply to concrete syntax Make it easier to add custom desugarings (use meta file?), maybe implement ...

PatriciaJohann and EelcoVisser. Warm fusion in Stratego: A case study in the generation of program transformation systems. Annals of Mathematics and Artificial Intelligence ...

WEBLOGODISPLAY Home Documentation Language Research Papers Applications Download Continuous build Extensions Support Mailing lists IRC Users Days Bug Reports Developers ...

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 style guide for writing Javadoc comments is a useful starting point for a style guide for writing xDoc comments for Stratego. this guide should be rewritten to ...

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

a1 a2 a3 a4 a5 a6 a7

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

The sts mailinglist has been created following a discussion at the end of the STS workshop on Sunday October 24, 2004. General information about the mailing list is ...

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

STS'08: Software Transformation Systems Workshop (CANCELED) part of the Fifth international conference on Generative Programming and Component Engineering (GPCE'08 ...

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

Home STS'08 STS'06 STS'04 StsBench News Recent Changes Mailinglist

STARTINCLUDE 2004-12-23 Proceedings of the STS04 workshop are now available. 2004-11-01 Creation of the Sts web as website for the Software Transformation Systems ...

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

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

Comment Plugin This plugin allows users to quickly post comments to a page without an edit/preview/save cycle. ( Discussion in TWiki:Plugins/CommentPluginDev ) TOC ...

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

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

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

Inter-Wiki Link Rules (or Links to other Sites) This topic lists all aliases needed to map Inter-Site links to external wikis/sites. Whenever you write ExternalSite ...

STARTINCLUDE ## Meta Data Rendering Various meta data can be stored in topics MetaDataDefinition This is rendered using the META variable. This is mostly used in ...

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

Regular Expressions TOC Introduction Regular expressions (REs), unlike simple queries, allow you to search for text which matches a particular pattern. REs are similar ...

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

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

Please bring your enhancement requests to TWiki:Codev.FeatureEnhancementRequest Related Topics TWikiHistory has a list of added features in TWiki. TWikiPlannedFeatures ...

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

TOC STARTINCLUDE #MetaDataDefinition # TWiki Meta Data Additional topic data, program-generated or from TWikiForms, is stored in META variable name/value pairs Overview ...

Features requested, planned or under construction are listed at the TWiki development home TWiki:Codev.WebHome Related Topics TWikiHistory has a list of added features ...

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

TWiki is a Web-based collaboration platform A TWiki site is an easy-to-use, full-featured open communications environment: people anywhere on the Web or on an intranet ...

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

TWiki Topics TOC The basic building block of a TWiki site is called a topic , identified by a unique, hopefully descriptive, TWIKIWEB .WikiWord title. It may seem ...

TOC STARTINCLUDE # 20-Minute TWiki Tutorial This step-by-step, hands-on tutorial gets you up to speed with all the TWikiSite basics, in mere minutes ... 1. Get set ...

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

## 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 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 User Authentication TWiki site access control and user activity tracking options TWiki does not authenticate users internally, it depends ...

Text Formatting FAQ The most frequently asked questions about text formatting are answered. Also, TextFormattingRules contains the complete TWiki shorthand system ...

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

Web Changes Notification Service Each TWiki web has an automatic email notification service that sends you an email with links to all of the topics modified since ...

Welcome, WIKIUSERNAME ! Welcome to TWiki! This is a TWikiSite (pronounced twee-kee site ), a meeting place to work on common interests. Anyone can contribute using ...

A WikiWord consists of two or more words with initial capitals, run together. When you type a WikiWord, you establish a hyperlink. It's as easy as that. WikiWords ...

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 compiler can easily be extended since it is component-based. Adding a new optimization phase, extending the syntax of the language, or replacing the back-end, ...

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

Selection for the MIPS Build an instruction selector for programs in intermediate representation that produces MIPS code. This essentially consists of defining rules ...

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

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

This is one of the XT UserStories RECOVERING A SYNTAX DEFINITION FOR STRATEGO This directory contains a syntax definition in SDF2 of the Stratego language. This file ...

The KoalaCompiler is developed as a component-based system using Stratego.StrategoXT: The system is implemented as a set of program transformation tools. Different ...

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

The tool koala-stc translates a Koala composition to a composite source tree. This process is called Source Tree Composition. The basic idea is that for koala-stc ...

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 Koala compiler toolkit forms a generic framework for component composition. The framework works as follows: 1 Components and compositions are expressed ...

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

Conversion to ATerms with knowledge of a schema for the XML document is called interpretation of XML against a schema. This kind of conversion is work in pogress, ...

An attempt to automate software reuse at NASA, particularly for domain specialists who are unfamiliar with available software libraries. They implemented a system ...

I work at the Center for Advanced Computer Studies at the University of Louisiana at Lafayette. My home page is housed at http://www.cacs.louisiana.edu/~walenste I ...

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

BURG is a system for CodeGeneration from IntermediateRepresentation expression trees developed by ChristopherFraser, ToddProebsting and others in the early 90's. Papers ...

Binary Translation What is binary translation Binary tanslation is the process of automatically translating binary object code from one machine Mi to another. The ...

Transmeta's first processor the Crusoe (see their white paper) implements the pentium architecture on a VLIW processor. They have a few hardware assists, and the ...

While concentrating on research, this is also a miscellaneous page. The novel Low Level Virtual Machine (LLVM) http://llvm.cs.uiuc.edu/ is a product of the Lifelong ...

HomePage: http://www.mcs.drexel.edu/~bmitchel Research Web Page: http://serg.mcs.drexel.edu email: bmitchel@mcs.drexel.edu Research Interests: ReverseEngineering ...

The category of all categories. Categories are a way to organize Wiki pages: see Wiki:CategoryCategory SEARCH{search "Category" nosummary "on" scope "topic" header ...

Category Theory is the mathematical theory of structure-respecting transformations. A category consists of arrows (or morphisms ) between objects . For example, we ...

The Australian company Mayon Software Research sells a visual Java decompiler called ClassCracker. ClassCracker contains 3 applications in one: a disassembler, a class ...

A code generator is a compiler component that translates intermediate representation expression trees to lists of machine instructions. See CodeGeneration. Main.EelcoVisser ...

Homepage: http://www.semdesigns.com/Products/DMS/DMSToolkit.html DMSSoftwareReengineeringToolkit is a DesignMaintenanceSystem for software ReEngineering from SemanticDesigns ...

The DSLAnnotatedBibliography starts by definining the terminology used in the paper. This page collects comments, extensions, or additional references concerning DomainSpecificLanguages ...

The daVinci system uses terms to represent graphs, which distinguishes it from all other graph formats. Terms make the format not easy to read and hard to write. A ...

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

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

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

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

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

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

This is the Jasmin (essentially Java "assembly language" source code for the optimised bytecode decompiler tests. It was created with soot s O Main where soot is a ...

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

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

Deriving (on line) documentation from source code. The purpose is to help maintainers or developers understand the system they are working on. The article BuildingDocumentationGenerators ...

Domain Analysis is the first DomainEngineering step. Following GenerativeProgrammingBook, p. 23, the purpose of Domain Analysis is to: Select and define the domain ...

Description The optimizer prototyping toolset Dora Farnum90 consists of a set of languages embedded in Lisp. One of the languages is the transformation language Tess ...

I have collected tests from various places, and tested .NET to C# decompilers that I could get access to for free. Salamander tests Anakrino tests Reflector tests ...

.NET Decompiler Comparison See Net Decompiler Tests .NET Decompilers Salamander is a commercial decompiler for .NET. The web page allows decompiling of moderately ...

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

The Father of Decompilation ATTACHURL /maury.jpg \ ATTACHURL /maurysig.jpg Permission Requested. IEEE Transactions of Software Engineering. \ Figure courtesy of Bill ...

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

Functional Programming is a programming paradigm in which a program consists of a sequence of function definitions. See also: HaskellLanguage.

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 lists some links related to Generative Programming Sites http://www.generative-programming.org, connected to the GenerativeProgrammingBook Wiki on Transform ...

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

TOC Introduction The lists below are generated automatically based on the Category mechanism it may take some time to construct the complete page. If you feel a ...

This page lists examples of successful application of GenerativeProgramming. The RislaLanguage is a DSL for interest rate products. It was initially developed in the ...

This page lists tools that are relevant to generative programming. Only brief descriptions of tools are given. For further information on the various tools, links ...

Homepage: http://www.dsic.upv.es/~gvidal GermanVidal interests: multi-paradigm (functional logic) languages, program transformation, partial evaluation, slicing, ...

The Graph Modeling Language (GML) (which is used by Graphlet) has a simple and orthogonal syntax. A GML file consists of key-value pairs. Values can be integers, floats ...

Hacker Disassembling Uncovered, Kris Kaspersky. A-List Publishing, 2003. ISBN: 1931769222, 584pp, soft cover. The book is divided into two parts. Part 1 is "Getting ...

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

There may be a few machine code patterns that are impossible to decompile automatically. These would therefore require expert human intervention to decompile successfully ...

JReversePro is an open source Java Decompiler / Disassembler written entirely in Java. From the home page: "The utlimate objective of this project is to provide a ...

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

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

I have collected 9 tests from various places, and tested 9 bytecode to Java decompilers that I could get access to for free. The best one (JODE) only passes 6 of the ...

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

Workshop on Language Descriptions, Tools and Applications Description The aim of this one day workshop is to bring together researchers from academia and industry ...

A legacy system is any information system that resists change . See M. L. Brodie and M. Stonebraker. Migrating Legacy Systems: Gateways, Interfaces and the Incremental ...

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

I have gathered a few tests for machine code decompilers. It's nowhere near as comprehensive as the JavaDecompilerTests. dcc tests REC tests Exe-2-c tests Boomerang ...

Decompilation of machine code programs usually requires a general approach. This approach analyses the semantics of the executable, and from this derives an equivalent ...

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

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 OPTRAN LMW88 is a specification language for attributed tree transformation written by Reinhard Wilhelm at the University of Saarlandes in the early 1980 ...

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

A Case Study of Open Source Software Development The XT bundle of program transformation tools is an example of OpenSourceAcademicSoftware. Motivation for XT distribution ...

Why Researchers should produce Open Source Software Many research activities, escpecially in the field of computer science, involve the development of software. Sometimes ...

A Methodology for Developing Open Source Software integration tests configuration completeness / bundling of tools The CVS manual has the following to say: A true ...

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

This page lists some publications on, or strongly related to, GenerativeProgramming. For a full list of publications discussed on this wiki, have a look at CategoryPaper ...

Description Puma Grosch91 is the program transformation generator of the Coctail compiler toolkit. A Puma specification specifies a transformation of an abstract ...

Requests For Comments Requests For Comments, or RFCs, form the basis of the Internet's technical documentation. They are available at http://www.freesoft.org/CIE/RFC ...

http://www.comp.lancs.ac.uk/projects/renaissance/index.html This web site is intended as a resource for the entire Software ReEngineering community. It also covers ...

http://www.backerstreet.com/rec/rec.htm REC, a Reverse Engineering Compiler by Giampiero Caprino (gcaprino@katamail.com), is a portable decompiler which supports a ...

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

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

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

SORCERER is the tree parser generator of ANTLR. Papers TerenceParr. Language Translation Using PCCTS and CPP. A Reference Guide. Automata Publishing Company, San Jose ...

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

A survey of software architecture is provided by David Garlan, in SoftwareArchitectureARoadMap. Garlan loosely defines architecture as a software system's gross organization ...

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 Maintenance And Evolution: A Roadmap By KeithBennett and VaclavRajlich. In A Finkelstein (ed.) The Future of Software Engineering , ACM Press, 2000. (event ...

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

SourceAgain is a commercial Java decompiler by Ahpah Software. SourceAgain correctly recovers Java control structures and optimizations from the bytecode. Further ...

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

The Tuple-Attribute language (TA)is based on the RSF triple notation. Edges and nodes are specified identically to RSF. Nodes and types can be attributed. Attributes ...

International Workshop on Unanticipated SoftwareEvolution Techniques and technologies that offer support for software evolution are still far from ideal. In particular ...

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

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

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

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

Hotel We have obtained a group rate at the Larkspur Landing Sunnyvale for the four nights May 31st to June 4th. The group rate is $129.00 per night for a studio suite ...

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

The zeroth meeting of the group will be held 1st 3rd June 2011, probably at Google in Mountain View, California, USA. It may be relocated to downtown San Jose for ...

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

Homepage An Essay on Language Design Interests in programming language design: Concurrency abstractions (actors, channels, joins, STM, ...) Distributed computing abstractions ...

This needs to be updated to the actual procedure that has emerged during the meetings. Eelco Visser Talks are 50 minutes long, split equally between the presenter ...

WEBLOGODISPLAY Home Documentation Language Research Papers Applications Download Integration build Continuous build Extensions Ftp Support Mailing lists IRC Users ...