Re: LYNX-DEV Lynx and XML

[Christopher R. Maden]

[Al Gilman]
> Is there any provision in the formalism for semantics?  I mean
> type-qualifications that the values to be passed to these arguments
> should satisfy, and relations w.r.t. the inputs that the outputs can
> be counted on to satisfy?

These are currently detailed in the DSSSL standard (ISO 10179:1996),
but will be explicitly present in the XML-style specification, when
prepared.  (The XML group has made a concerted effort to make the XML
specifications self-reliant.)

> The semantic description of a callable entity can be written
> formally like the semantic definition of a structured type, but
> there has to be a way to assert the rules it satisfies.

There will be a formal grammar for XML-style by the end of this year.

-Chris
-- 
Christopher R. Maden                  One Richmond Square
DynaText SIT Technical Support        Providence, RI 02906 USA
Inso Corporation                      +1.401.421.9550 (voice)
Electronic Publishing Solutions       +1.401.521.2030 (facsimile)
;
; To UNSUBSCRIBE:  Send a mail message to address@hidden
;                  with "unsubscribe lynx-dev" (without the
;                  quotation marks) on a line by itself.
;