The mechanics of autonomous software translation(alperenkeles.com)
alperenkeles.com
The mechanics of autonomous software translation
https://alperenkeles.com/posts/autonomous-translations/
4 comments
Doesn't all optimizations need to be valid translations first? That was my reasoning when writing it.
Well, depends on what "translation", and "optimization", means. If even shuffling a few things around counts as translation, then yes.. But then (near?) every change is translation, so it becomes meaningless as a notion. Better keep it more substantial, for changing some essential expressive ingredient of the code without changing functionality (and structure/architecture?) , much. Like language.
Sometimes translation may bring (speed) optimization, sometimes not (like python<->C) - some redundant loop in C will be faster than same loop in python, but removing it entirely would be even faster.. and no need for a translation just for that.
You probably think of "transformation" as general term, but that is much more primitive than "translation".
Sometimes translation may bring (speed) optimization, sometimes not (like python<->C) - some redundant loop in C will be faster than same loop in python, but removing it entirely would be even faster.. and no need for a translation just for that.
You probably think of "transformation" as general term, but that is much more primitive than "translation".
Of course if there are semantically correct ways of translation, optimization might be easier than without it.. For the defined semantics. But can still be hard on (or including) all other not-well-defined fronts.