INCLUDE{AimsAndTopics} INCLUDE{PublicationVenue} Submission Guidelines INCLUDE{SubmissionGuidelines} Important Dates INCLUDE{ImportantDates} Invited Speakers INCLUDE ...

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

to be announced

Program Chairs Frank Hermann (Technical University of Berlin, Germany; University of Luxembourg, Luxembourg) Janis Voigtl nder (University of Bonn, Germany) Program ...

A Steering Committee comprising organizers of past and upcoming BX-related events has been formed (to develop by following a rotation scheme in the future): Krzysztof ...

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

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

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

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

to be announced

Program Chairs Kristoffer Rose (Two Sigma Investments, LLC, USA) Janis Voigtl nder (University of Bonn, Germany) Program Committee Members Bertram Felgenhauer (University ...

A Steering Committee comprising organizers of past and upcoming BX-related events has been formed (to develop by following a rotation scheme in the future): Krzysztof ...

Profile Name: António Miguel Cruz Email: mcz@sidereus.pt Consultant at Sidereus Consultoria Informática, S.A. Education MSc in Informatics (U. Minho) in Nov 2004 ...

The following papers have been accepted for presentation at the workshop (in no particular order): Jakob Puchinger and Peter Stuckey. Automating Branch-and-Bound ...

Monday, January 7, 2008 Opening: 8:45 9:00 Invited Talk 1: 9:00 10:00 Session Chair: Oege de Moor Monica Lam: Combining Static and Dynamic Analysis for Securing ...

Monday, January 7, 2008 Opening: 8:45 9:00 Invited Talk 1: 9:00 10:00 Ras Bodik. Program Synthesis by Sketching. Coffee break Session 1: 10:30 12:00 (Staging and ...

to be announced

Program Chairs John Gallagher (Roskilde University, Denmark, and IMDEA Software, Spain) Janis Voigtl nder (University of Bonn, Germany) Program Committee Members Wei ...

to be announced

The abstracts are available here and here. Monday, January 24, 2011 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Session Chair: Jeremy Siek Olivier Danvy ...

The following papers (in no particular order) will be presented at the workshop. Regular research papers: Naoki Kobayashi, Kazutaka Matsuda and Ayumi Shinohara. Functional ...

to be announced

The abstracts are available here and here. Monday, January 23, 2012 Welcome. Best paper award announcement: 8:50 9:00 Invited Talk: 9:00 10:00 Session Chair: Oleg ...

John Gallagher Siau-Cheng Khoo Oleg Kiselyov German Puebla Jeremy Siek Simon Thompson Janis Voigtl nder chair

to be announced

Program Chairs Elvira Albert (Complutense University of Madrid, Spain) Shin-Cheng Mu (Academia Sinica, Taiwan) Program Committee Members María Alpuente (Technical ...

to be announced

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

Delft University of Technology The Program Transformation project of the Software Engineering Research Group at the Delft University of Technology takes care of most ...

2004-02-25 Nemerle is a new hybrid (functional, object-oriented and imperative) programming language for the .NET platform. Key features of the language include: ...

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

The compiler should effectively continuously transform a program from an interpreted to a fully optimized form. http://www.cs.wustl.edu/~plezbert/contcom/ RonCytron ...

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

Disassembly Disassembly is the process of translating an executable program into its equivalent assembly representation. The greatest problem with disassembling is ...

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

The first workshop on this topic was very successful, resulting in the GenerativeModelTransformer project. A second workshop is scheduled for 27 October at OOPSLA ...

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

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

Staged Meta Programming Staged languages distinguish stages of execution. Many compile-time meta-programming systems distinguish only a run-time and a compile-time ...

Homepage: http://www.cs.wustl.edu/~plezbert/ ContinuousCompilers

Model refactoring is the equivalent of ProgramRefactoring at model level. Instead of refactoring programs, models are being refactored. Model refactoring is a special ...

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

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

by Main.CraigCleaveland Prentice-Hall, 2001 http://craigc.com/pg CategoryGenerativeProgrammingWiki CategoryBook Main.CraigCleaveland 02 May 2002

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

Homepage: http://www.cs.wustl.edu/~cytron/ ContinuousCompilers CategoryPeople

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

ACM Transactions on Programming Languages and Systems http://www.cs.wustl.edu/~toplas/ CategoryJournal

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

2004-02-25 Nemerle is a new hybrid (functional, object-oriented and imperative) programming language for the .NET platform. Key features of the language include: ...