This is B3
Contents:
Motivation
Examples
General syntax
Top-level declarations
Statements
Expressions
Semantics
This is B3
Semantics
View page source
Semantics
B3 checks partial correctness. That is, B3 does not enforce termination.