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 ]

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)


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

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