Concept and implementation of the programming language and translator, for embedded systems, based on machine code decompilation and equivalence between source and executable code

In this thesis it will be investigated the possibility of developing the programming language translator, heavily based on decompilation. Instead of keeping program in source code, it will be kept in native machine code, but it will be transparently visible as high level language program, with the help of the specialized editor.