6. Coding Standards

6.1. Motivation

6.2. File names

6.3. File format and indentation

6.4. Variable, function and type names

6.5. Variables and parameters

6.6. Types, constants and expressions

6.7. Input and output

6.8. Functions

6.9. Contracts

6.10. Code structure

6.11. Handling pointers and memory

6.12. Arrays

6.13. Linking and using the Preprocessor

6.14. Tracing

6.15. Design requirements

6.16. Other requirements