- Mathematical logic
- >
- Logic in computer science
- >
- Programming language semantics
- >
- Axiomatic semantics

- Mathematics of computing
- >
- Logic in computer science
- >
- Programming language semantics
- >
- Axiomatic semantics

- Theoretical computer science
- >
- Logic in computer science
- >
- Programming language semantics
- >
- Axiomatic semantics

Axiomatic semantics

Axiomatic semantics is an approach based on mathematical logic for proving the correctness of computer programs. It is closely related to Hoare logic. Axiomatic semantics define the meaning of a comma

© 2023 Useful Links.