Topic
Program transformation
About: Program transformation is a research topic. Over the lifetime, 2468 publications have been published within this topic receiving 73415 citations.
Papers published on a yearly basis
Papers
More filters
TL;DR: Two-person games are modeled as specifications in a language with angelic and demonic nondeterminism, and methods of program verification and transformation are used to reason about games.
17 citations
TL;DR: It is shown how SLE can lean on the expertise of both MDE and compiler research communities and how each community can bring its solutions to the other one.
Abstract: Modeling and transforming have always been the cornerstones of software system development, albeit often investigated by different research communities. Modeling addresses how information is represented and processed, while transformation cares about what the results of processing this information are. To address the growing complexity of software systems, model-driven engineering (MDE) leverages domain-specific languages to define abstract models of systems and automated methods to process them. Meanwhile, compiler technology mostly concentrates on advanced techniques and tools for program transformation. For this, it has developed complex analyses and transformations (from lexical and syntactic to semantic analyses, down to platform-specific optimizations). These two communities appear today quite complementary and are starting to meet again in the software language engineering (SLE) field. SLE addresses all the stages of a software language lifecycle, from its definition to its tooling. In this article, we show how SLE can lean on the expertise of both MDE and compiler research communities and how each community can bring its solutions to the other one. We then draw a picture of the current state of SLE and of the challenges it has still to face.
17 citations
18 Nov 2002
TL;DR: Experimental results confirm that source code transformations to load-balance computations can improve Grid application performances.
Abstract: We present load-balancing strategies to improve the performances of parallel MPI applications running in a Grid environment. We analyze the data distribution constraints found in two scientific codes and propose adapted code transformations to load-balance computations. Experimental results confirm that such source code transformations can improve Grid application performances.
17 citations
Journal Article•
TL;DR: A bird's-eye view of several aspects of the C-Mix system is given: how it is used, a few examples of what it can do, and some information on how it works.
Abstract: C-Mix is a partial evaluator that is able to specialize strictly conforming ISO C programs. C-Mix generates specialized versions of functions, unrolls loops said pre-computes expressions and control constructs that depend on known data only. These transformations are similar to what optimizing compilers do, but since C-Mix takes some of the program's input into account, it can potentially do better.
This article gives a bird's-eye view of several aspects of the C-Mix system: how it is used, a few examples of what it can do, eaid some information on how it works.
17 citations
TL;DR: This paper presents an extractive method for handling variation in the mobile device application domain based on Aspect-Oriented Programming and general program transformation, which enhanced configurability and composability.
Abstract: Product lines promise to improve software quality and development productivity. A central issue to meet this is systematically dealing with variations within products in a certain domain. Although various techniques are available, their use is constrained by the specific application domain. This paper presents an extractive method for handling variation in the mobile device application domain. Being based on Aspect-Oriented Programming and general program transformation, it oers enhanced configurability and composability. We illustrate the approach with a game product line built with J2ME.
16 citations