[Bug 1634] New: [FS] "type correct", "type safe", "type-safe", "well-typed"

http://www.w3.org/Bugs/Public/show_bug.cgi?id=1634

           Summary: [FS] "type correct", "type safe", "type-safe", "well-
                    typed"
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Platform: PC
        OS/Version: Windows 2000
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Formal Semantics
        AssignedTo: simeon@us.ibm.com
        ReportedBy: fred.zemke@oracle.com
         QAContact: public-qt-comments@w3.org


3.2.3 Static typing judgment
The last two words of this section are "type correct".  The phrases
"type safe", "type-safe" and "well-typed" are also found in 
various places.  What is the relationship 
between these terms?  I suspect they are all the same.  Please
pick one and use it consistently.  A formal 
definition, with hotlinks to it, would be appropriate.

Received on Friday, 15 July 2005 21:38:58 UTC