Laurel Language Designer Guide
Laurel Language Designer Guide
Table of Contents
1.
Design Goals
2.
Correctness checking features
3.
Prevent duplicate work
4.
Modular Verification
5.
Minimize Verification Code
6.
Automated proof search
7.
Use complete algorithms to reduce workload
8.
Verification code must be erasable
9.
Great user experience
10.
Planned features
7.
Use complete algorithms to reduce workload
7.1.
Constrained types
7.2.
Type inference
7.3.
Inference of composite types
7.3.
Inference of composite types
←
7.2. Type inference
8. Verification code must be erasable
→
7.3. Inference of composite types
🔗
Feature described in the Planned features section.
←
7.2. Type inference
8. Verification code must be erasable
→