SML Code Migration

Our Code migration service will take your existing Assembler source code and migrate it to the target language. Our target languages are Cobol, ‘C’ and the recent addition to our product set – Java. Like all of our services, this is an automated process which, given the mathematics underlying our solution, guarantees functional equivalence.

We take the Assembler into Raw WSL – a literal translation of the Assembler code. We then neutralise this code by making it Platform and Language independent, following this, we perform a number of transformations to simplify the code where possible and distil it down to the simplest form possible whilst preserving the functional equivalence.
This can take thousands of transformations and during this, we are removing loops etc., as this is fully automated the process is fast.