| 摘要 |
An executable output program encoded in a first program language is generated from a mixed-language program combining expressions of the first program language and a second program language. The mixed-language program comprises information, that allows conversion of the second program language to the first program language, according to the set of pre-determined rules. The method and system further comprise a set of processing and testing mechanisms for validating the output program language. |
