Are the static inference rules normative or non-normative?

Are the inference rules for static analysis normative or non-normative?
In other words, are all implementations of static analysis requierd to
follow the static inference rules as specified in the formal semantics
spec?  Suppose that I construct a static inference engine that takes
full advantage of backward axes.  That engine would create types
narrower than those created by the static inference rules in the formal
semantic spec.  Is that engine non-conformant?  This would be very
unforunate.

-- 
MURATA Makoto <mmurata@trl.ibm.com>

Received on Tuesday, 16 September 2003 02:32:39 UTC