Advanced Compilers & Programming Language Theory
Q96 / 100

What is WebAssembly's type safety and its formal semantics?

Correct! Well done.

Incorrect.

The correct answer is B) WebAssembly has a sound type system with a formal specification (published in PLDI 2017) proving type safety: well-typed programs don't get stuck — they either terminate or continue

B

Correct Answer

WebAssembly has a sound type system with a formal specification (published in PLDI 2017) proving type safety: well-typed programs don't get stuck — they either terminate or continue

Explanation

Wasm formal spec (Haas et al., PLDI 2017): structural typing for operand stacks, explicit type annotations, structured control flow. Theorem: well-typed Wasm programs are safe (no undefined behavior, type errors, or stack overflows).

Previous All Questions Next
Progress
96/100
⚗️

Browse All Compilers & Programming Language Theory Questions

100 questions · beginner to advanced