The risks of invalid error messaging

The risks of invalid error messaging

The fundamental measure of any compiler is its ability to generate high-quality, functionally correct, executable code. But equally important is its ability to generate valid, well annotated, error messages when the source code it...

read more
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