Re: Formal semantics for C
Matthias Felleisen writes:
> Excuse my ignorance, but is the Standard's notion of "conforming program" a
> decidable notion? If so, is your semantics accompanied by an algorithm?
No. A strictly conforming program isn't allowed to divide by zero
(among many other restrictions) because this represents undefined
There's no way of deciding if a program is or isn't going to divide by
zero, so the class is undecidable.