A source language transformation and inspection framework for trusted compilers

Aiming at the limitation of processing capacity on source language,a trusted compiler-oriented framework is proposedfor source code transformation and inspection.It can convert an imperative programming language program to the equivalent functional programming language program that is acceptable to trusted compiler.Through three verifications,including syntax support check,well-formedness check and exception,this frame can ensure the acceptability and the comparatively high credibility of the source code.