Re: [C--] Mlite C Compiler -- A C front-end generates C-- code

Thomas Danecker wrote:
>> By compiling the emitted C code with reference compilers such as gcc,  we can verify whether a translation is correct or not.
>>     
>
> How, exactly, can you verify if the tranlation is correct or not? Just
> compiling the emitted code surley is too little for that...
>   
You are right. A better term is "test" instead of "verify", or more 
precisely,  "the small step translations and emitting C code in each 
translation make isolating translation errors and testing translation 
errors easier".

Cheers,
Ning
_______________________________________________
Cminusminus mailing list
[email protected]
https://lists.eecs.harvard.edu/mailman/listinfo/cminusminus