New posts in invariants

What is a class invariant in Java?

java terminology invariants

What is an invariant?

language-agnostic invariants

What constitutes a valid state for a "moved from" object in C++11?

c++ c++11 move-semantics pimpl-idiom invariants