[CL] Annex B.4 posted
John F. Sowa
sowa at bestweb.net
Wed Nov 23 12:54:31 CST 2005
I have posted Section B.4 as a .doc file:
This is the section on conformance, which shows how any expression
in CL can be translated to an expression in extended CGIF.
Section B.2 defines the semantics of core CGIF by a translation
to the CL abstract syntax. Section B.3 defines the semantics of
extended CGIF by a translation to core CGIF. And Section B.4
demonstrates full coverage by showing that any CL expression
can be translated to extended CGIF.
I am also adding a few words about modules to the section on
Text in both B.2 and B.3. I'll post that shortly.
More information about the CL