RustNL

Ralf Jung -- Real-world programming languages often suffer from notorious under-specification. This is a particularly bad problem for languages that make heavy use of Undefined Behavior (UB), as that fundamentally prevents using testing to discover the specification: when a program has UB, it may have arbitrary runtime behavior, so no conclusion can be drawn from the results of such a test. The state of the art is to write extensive specifications in plain English in an axiomatic style, which ca

Player unavailable or embedding blocked? Use the YouTube link above.