3 ms·
Compiler's spec is that the behavior of compiled program must be one of the behavior of source program, which is called 'refinement'.
by aqjune 10y ago
Compiler's spec is that the behavior of compiled program must be one of the behavior of source program, which is called 'refinement'.