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 approacht

[ Lists Home | Date Index | Thread Index ]

Actually, for this we have an excellent existance proof that one of the best known XML languages is Turing Complete. I'm sure most of the long time xml-dev people have seen it before, but I'll repeat the URL for your benefit:


Basically, it demonstrates that XSLT is theoretically capable of computing anything that is computable by a Turing Machine. 

Note that XSLT has been demonstrated to be quite useful, the existance proof having nothing to do with that fact.



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....
> Just my opinion.
> Larry Bradshaw
> At 09:47 PM 8/25/2003 -0400, John Cowan wrote:
>> pop3 scripsit:
>> > Nor can I support folks in a CMM or ISO9000 shop
>> > utilizing XML to any significant degree until they can show that XML 
>> is a
>> > proven best practice, by rigorous scientific proofs.
>> What programming language can you justify by "rigorous scientific
>> [meaning mathematical?] proofs"?  Scheme and Prolog, maybe.
>> -- 
>> A mosquito cried out in his pain,               John Cowan
>> "A chemist has poisoned my brain!"              
>> http://www.ccil.org/~cowan
>>         The cause of his sorrow                 
>> http://www.reutershealth.com
>>         Was para-dichloro-                      jcowan@reutershealth.com
>> Diphenyltrichloroethane.                                (aka DDT)
> -----------------------------------------------------------------
> The xml-dev list is sponsored by XML.org <http://www.xml.org>, an
> initiative of OASIS <http://www.oasis-open.org>
> The list archives are at http://lists.xml.org/archives/xml-dev/
> To subscribe or unsubscribe from this list use the subscription
> manager: <http://lists.xml.org/ob/adm.pl>


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

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