3 ms·
>how does correctness transfer? The same way it transfers when the language is compiled to x86 instructions! By adding a pre-written and pre-compiled runtime.
by rhaps0dy 9y ago
>how does correctness transfer?
The same way it transfers when the language is compiled to x86 instructions! By adding a pre-written and pre-compiled runtime.
- skolemtotem 9y agoNo correctness isn't usually ensured with a runtime in these languages with stronger type systems, it's usually done with static analysis on an intermediate representation at compile-time.