[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: LYNX-DEV Lynx and XML
From: |
Al Gilman |
Subject: |
Re: LYNX-DEV Lynx and XML |
Date: |
Fri, 25 Apr 1997 15:52:31 -0400 (EDT) |
I'm not good with DSSSL yet, but it would be something like
(element funcdef
(make paragraph)
)
(element params
(make sequence
(literal "(")
(process-children)
(literal ")")
)
)
(element desc
(make paragraph
space-before: 0pt
start-indent: 40pt
)
)
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?
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.
--
Al Gilman
;
; To UNSUBSCRIBE: Send a mail message to address@hidden
; with "unsubscribe lynx-dev" (without the
; quotation marks) on a line by itself.
;
- LYNX-DEV pre-announcing a new Lynx SGML.c parser, Klaus Weide, 1997/04/21
- LYNX-DEV Re: new Lynx SGML.c parser, Klaus Weide, 1997/04/23
- Re: LYNX-DEV Re: new Lynx SGML.c parser, Christopher R. Maden, 1997/04/25
- LYNX-DEV The method to tag soup madness, Al Gilman, 1997/04/25
- Re: LYNX-DEV Re: new Lynx SGML.c parser, Klaus Weide, 1997/04/25
- Re: LYNX-DEV Re: new Lynx SGML.c parser, Christopher R. Maden, 1997/04/25
- LYNX-DEV Internal MIME types, Klaus Weide, 1997/04/26
- Re: LYNX-DEV Internal MIME types, Al Gilman, 1997/04/26
- Re: LYNX-DEV Internal MIME types, Wayne Buttles, 1997/04/26
- Re: LYNX-DEV Internal MIME types, Klaus Weide, 1997/04/26