A survey of rewriting strategies in program transformation systems

E Visser - Electronic Notes in Theoretical Computer Science, 2001 - Elsevier
Program transformation is used in a wide range of applications including compiler
construction, optimization, program synthesis, refactoring, software renovation, and reverse …

The ASF+ SDF meta-environment: A component-based language development environment

MGJ Van den Brand, A van Deursen, J Heering… - Electronic Notes in …, 2001 - Elsevier
The Asf+ Sdf Meta-Environment is an interactive development environment for the automatic
generation of interactive systems for constructing language definitions and generating tools …

Toward an engineering discipline for grammarware

P Klint, R Lämmel, C Verhoef - ACM Transactions on Software …, 2005 - dl.acm.org
Grammarware comprises grammars and all grammar-dependent software. The term
grammar is meant here in the sense of all established grammar formalisms and grammar …

Mixture models for optical flow computation

A Jepson, MJ Black - … of IEEE Conference on Computer Vision …, 1993 - ieeexplore.ieee.org
The computation of optical flow relies on merging information available over an image patch
to form an estimate of 2-D image velocity at a point. This merging process raises many …

Efficient annotated terms

MGJ Van den Brand, HA de Jong… - Software: Practice …, 2000 - Wiley Online Library
How do distributed applications exchange tree‐like data structures? We introduce the
abstract data type of Annotated Terms (ATerms), and discuss their design, implementation …

Compiling language definitions: the ASF+ SDF compiler

MGJ Van den Brand, J Heering, P Klint… - ACM Transactions on …, 2002 - dl.acm.org
The ASF+ SDF Meta-Environment is an interactive language development environment
whose main application areas are definition and implementation of domain-specific …

The realities of language conversionsFree GPT-4

AA Terekhov, C Verhoef - IEEE Software, 2000 - ieeexplore.ieee.org
Billions of lines written in Cobol, PL/I, and other mature high level languages are still in
active use. Many developers have tried to convert these languages to more modern ones …

Semi‐automatic grammar recovery

R Lämmel, C Verhoef - Software: Practice and Experience, 2001 - Wiley Online Library
We propose an approach to the construction of grammars for existing languages. The main
characteristic of the approach is that the grammars are not constructed from scratch but they …

A survey of strategies in rule-based program transformation systems

E Visser - Journal of symbolic computation, 2005 - Elsevier
Program transformation is the mechanical manipulation of a program in order to improve it
relative to some cost function and is understood broadly as the domain of computation …

Architectural modifications to deployed software

AS Klusener, R Lämmel, C Verhoef - Science of Computer Programming, 2005 - Elsevier
We discuss the nuts and bolts of industrial large-scale software modification projects. These
projects become necessary when system owners of deployed systems hit architectural …