Preconditions, Part 4 -- Andrzej Krzemieński

Here is Andrzej's final (for now) post on preconditions, posted just 

Preconditions — Part IV

by Andrzej Krzemieński

This is the last post about preconditions. We will try to address concerns about a potential UB connected with expressing preconditions. We will also try to explore how language support for preconditions could look like.

 

...

Such a support for preconditions would be a very helpful feature. But let’s not fantasize too much. For now the best thing we can do is to use assertions and comments -- a very useful and often underestimated language feature.

Add a Comment

Comments are closed.

Comments (1)

2 0

Arthur Langereis said on Apr 23, 2013 05:18 AM:

Seems like a copy and paste problem for this title.