OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help



   Re: [xml-dev] XML CMM and ISO9000 compliance? - was A standard approach

[ Lists Home | Date Index | Thread Index ]

At 07:27 PM 8/26/2003, pop3 wrote:

>Umm, reading Knuth got me certain that _assembler_ could be proven and had 
>been proven in math, from which languages like Pascal and Fortan and 
>Cobol  and C can also be, or rather have been proven, and since Java is 
>just C transcendant then I feel that is also shown.
>I do not feel that a markup language with patched on logic capacity can be 
>mathematically shown to be a programming language at all....

I have no idea what you are trying to say here. XML is a data format. It is 
not a programming language, was not designed to be a programming language, 
and has never claimed to be a programming language. The XML community knows 
that, and is not surprised by that fact, so your rant on this topic seems a 
bit odd. Math seems irrelevant here - I am not aware of formal methods 
being used to show whether or not something is a programming language, 
though they are often used to demonstrate various properties of a 
programming language. Or of a data representation, for that matter.

Do you have a specific mathematical question about the properties of XML?



News | XML in Industry | Calendar | XML Registry
Marketplace | Resources | MyXML.org | Sponsors | Privacy Statement

Copyright 2001 XML.org. This site is hosted by OASIS