The Emergent Safety of a Piece of String

The Emergent Safety of a Piece of String

What constitutes ‘the safety of a compiler’? This is a question that keeps us busy on a daily basis. The question however is not that easy to answer, because the safety of a compiler does not exist. Safety is an emergent property -...

read more
Application source code testing is not enough

Application source code testing is not enough

It may sound as too obvious, but there is a big difference between the source code and the compiler generated code for an application. For one, compiler generated code is more complicated, because it often includes duplicated, and...

read more