Andrzej Krzemieński

speaker

Andrzej is a software developer since 2004. He works mostly with C++ in commercial software, which includes safety-related and high-performance systems. He is a member of the C++ Standards Committee and a Boost developer. He is also a co-organizer of C++ User Group Kraków. Known to the community for his blog on C++: https://akrzemi1.wordpress.com/.

 

Presentations

Preconditions, postconditions, invariants – how they help write robust programs (2019)


Preconditions, postconditions, and invariants are part of what is often called Design by Contract, or Contract Programming. Even if you haven't heard of them, you are probably using them already. In this talk, we are going to see what they are, and how people and tools can make use of them.