Abstract : The !GeoGram system generates programs for geometric computations by combining generic software components as speci #64257;ed by diagrams constructed using ...

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

To help the Typechecker we have a language for specifying type of builtin variables and functions. This is needed because we cannot derive types for these variables ...

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 following papers (in no particular order) will be presented at the workshop. Regular research papers: Torben Mogensen. Partial Evaluation of the Reversible Language ...

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

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

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

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

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

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

Warm fusion is a program transformation technique for deforesting functional programs developed by John Launchbury and Tim Sheard. Warm fusion works by the cata/build ...

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

Building Program Understanding Tools Using Visitor Combinators by Transform.ArieVanDeursen and Transform.JoostVisser This paper describes how Transform.VisitorCombinators ...

DERIVE: a tool to ReverseEngineering instruction encodings http://www.cs.utah.edu/~wilson/papers/derive-usenix01.html Source: http://www.cs.utah.edu/~wilson/derive ...

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

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

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

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

A program transformation system is a (collection of) tool(s) for implementing ProgramTransformations. Survey of Transformation Systems There are many transformation ...

Dates: May 14-18, 2018 Venue: Antwerp, Belgium Host: Tom Van Cutsem https://lonelyplanetimages.imgix.net/mastheads/GettyImages-486812737 super.jpg Slides The slides ...