>>>>> Sebastian Ritterbusch <uabp@rz.uni-karlsruhe.de> writes: > Is there any way to let the compiler check if the specifications are > correct? This is certainly possible, but I don't think anyone is planning to work on it any time soon. Jason