C compiler, LustreC, into a generator of both executable code and associated specification. Model-based design tools are ...
It's marginally more efficient: While the difference is negligible, the double-unary operator can be more efficient in ...