Verification of intermediate language code. In one embodiment, a computer-implemented method first verifies metadata of an intermediate language code for consistency and accuracy, and then verifying the intermediate language code for consistency and accuracy. This latter part in one embodiment is accomplished by performing first a syntactic check of the intermediate language code, and then a semantic check of the intermediate language code.

Verificação do código intermediário da língua. Em uma incorporação, um método computador-executado verifica primeiramente o metadata de um código intermediário da língua para a consistência e a exatidão, e então verificar o código intermediário da língua para a consistência e a exatidão. Esta última parte em uma incorporação é realizada executar primeiramente uma verificação sintática do código intermediário da língua, e então por uma verificação semântica do código intermediário da língua.