WebAssembly

5.

Data Types and Type System

5.1.

5.1.1.

5.1.1.1.

5.1.1.2.

5.1.1.3.

Integer Operations

5.1.1.4.

Overflow Behavior

5.1.2.

Floating-Point Types

5.1.2.1.

5.1.2.2.

5.1.2.3.

IEEE 754 Compliance

5.1.2.4.

5.1.3.

5.1.3.1.

5.1.3.2.

Vector Operations

5.1.3.3.

5.1.4.

Reference Types

5.1.4.1.

5.1.4.2.

5.1.4.3.

Null References

5.2.

5.2.1.

Static Type Checking

5.2.2.

Runtime Type Validation

5.2.3.

Type Coercion Rules

5.2.4.

Memory Safety Guarantees

Previous

4. Virtual Machine Architecture

Go to top

Next

6. Linear Memory Model