Technique: Proof types to ensure preconditions - discu.eu

Reddit

Technique: Proof types to ensure preconditions https://www.foonathan.net/2022/11/proof-types/ 11 comments 1/12/2022 cpp

Linking pages

Constrain your user-defined conversions https://www.foonathan.net/2023/07/constrain-user-defined-conversions/#content 10 comments

Linked pages

Would you like to stay up to date with C & C++? Checkout C & C++ Weekly.

Related searches:

Search whole site: site:foonathan.net

Search title: Technique: Proof types to ensure preconditions

See how to search.

Submit link to: