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.


Follow-Ups: References: