Paul Schlie wrote:
- yes, effectively I don't perceive any necessity for undefined, vs unspecified; as I don't perceive any necessity to give the compiler the freedom to treat generate an arbitrary program which may contain a potentially ambiguous specific and isolatable behavior.
OK, then you are definitely on a different planet when it comes to designing languages of this class (C, Ada, PL/1, Pascal, ALgol etc). Everyone of these language definitions sees a critical need for this differentiation. It is indeed somewhat fundamental.
