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 …
construction, optimization, program synthesis, refactoring, software renovation, and reverse …
The ASF+ SDF meta-environment: A component-based language development environment
The Asf+ Sdf Meta-Environment is an interactive development environment for the automatic
generation of interactive systems for constructing language definitions and generating tools …
generation of interactive systems for constructing language definitions and generating tools …
Toward an engineering discipline for grammarware
Grammarware comprises grammars and all grammar-dependent software. The term
grammar is meant here in the sense of all established grammar formalisms and grammar …
grammar is meant here in the sense of all established grammar formalisms and grammar …
Mixture models for optical flow computation
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 …
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 …
abstract data type of Annotated Terms (ATerms), and discuss their design, implementation …
Compiling language definitions: the ASF+ SDF compiler
The ASF+ SDF Meta-Environment is an interactive language development environment
whose main application areas are definition and implementation of domain-specific …
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 …
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 …
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 …
relative to some cost function and is understood broadly as the domain of computation …
Architectural modifications to deployed software
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 …
projects become necessary when system owners of deployed systems hit architectural …