program-transformation

Converting C source to C++

How would you go about converting a reasonably large (>300K), fairly mature C codebase to C++? The kind of C I have in mind is split into files roughly corresponding to modules (i.e. less granular than a typical OO class-based decomposition), using internal linkage in lieu private functions and data, and external linkage for public func...

Is there any formal definition for "refactoring"?

Anyone knows a way to define refactoring in a more formal way? UPDATE. A refactoring is a pair R = (pre; T) where pre is the precondition that the program must satisfy, and T is the program transformation. ...

Papers or tools for parallelism discovering.

Hi, I am looking for papers or tools about parallelism discovering. More explicitly, if you have a sequential source code, how to find sections which could be efficiently parallelized (taking account of data dependencies...). The speculation could be static or dynamic. The source code to observe should be in C or C++. I have already s...

Parallel Dynamic Programming

Are there any good papers discussing how to take a dynamic program and parallelize it? ...

What is tail-recursion elimination?

Steve Yegge mentioned it in a blog post and I have no idea what it means, could someone fill me in? Is it the same thing as tail call optimization? ...

What is this symbolic code transformation called?

I often cross this kind of code transformation (or even mathematical transformation). (Python example, but applies to any language.) I've go a function def f(x): return x I use it into another one. def g(x): return f(x)*f(x) print g(2) leads to 4 But I want to remove the functional dependency, and I change the function g in...