Source-to-Source Architecture Transformation for Performance Optimization in BIP

Integrating Architectural Constraints in Application Software by Source-to-Source Transformation in BIP

Performance of embedded applications strongly depends on features of the hardware platform on which they are deployed. A grand challenge in complex embedded systems design is developing methods and tools for modeling and analyzing the behavior of an application software running on a given hardware architecture. We propose a rigorous method that allows to obtain a model which faithfully represen...

Memoing Evaluation by Source-to-Source Transformation

This paper presents a novel implementation of memoing evaluation SSW94] by source-to-source transformation. The transformation proceeds in two steps: The rst step consists of magic sets rewriting BR91], a standard transformation in deductive databases, application to Prolog has not been considered yet. The second transformation rewrites bottom-up rules to Prolog clauses. This bottom-up to top-d...

Cetus - An Extensible Compiler Infrastructure for Source-to-Source Transformation

Cetus is a compiler infrastructure for the source-to-source transformation of programs. We created Cetus out of the need for a compiler research environment that facilitates the development of interprocedural analysis and parallelization techniques for C, C++, and Java programs. We will describe our rationale for creating a new compiler infrastructure and give an overview of the Cetus architect...

Source-to-Source Transformation for a Class of Expressive Rules

A source-to-source transformation tool for error fixing

We present a methodology and a prototype of a source-to-source transformation tool for error fixing in C/C++ program source code for missing condition checks after a method call. The missing condition checks in a C program could lead to a program crash. This tool can be extended for other programming languages in addition to C/C++. The developed tool includes the ability to generate and apply a...