W3C home > Mailing lists > Public > public-qt-comments@w3.org > September 2003

Are the static inference rules normative or non-normative?

From: MURATA Makoto <mmurata@trl.ibm.com>
Date: Tue, 16 Sep 2003 15:32:27 +0900
To: public-qt-comments@w3.org
Cc: mm <mmurata@trl.ibm.com>
Message-Id: <20030916152859.728B.MMURATA@trl.ibm.com>

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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:56:49 UTC