[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message]

Re: XML CMM and ISO9000 compliance? - was A standard approacht

• To: pop3 <lbradshaw@d...>
• Subject: Re: XML CMM and ISO9000 compliance? - was A standard approachto glueing together reusableXML fragments in prose?
• From: Mitch Amiano <mamiano@n...>
• Date: Tue, 26 Aug 2003 21:46:13 -0400
• Cc: xml-dev@l..., John Cowan <cowan@m...>
• In-reply-to: <5.1.1.5.2.20030826192416.0231b670@m...>
• Organization: Software Adjuvant
• References: <5.1.1.5.2.20030825095256.00aa4af0@m...> <3F436F08.98F7029B@b...> <5.1.1.5.2.20030819162545.01c5af10@p...> <3F410022.F6599E30@m...> <3F410022.F6599E30@m...> <5.1.1.5.2.20030819112123.00aa4b78@p...> <5.1.1.5.2.20030819125723.030ebc78@m...> <5.1.1.5.2.20030819162545.01c5af10@p...> <5.1.1.5.2.20030820064638.00aa4b50@p...> <3F436F08.98F7029B@b...> <5.1.1.5.2.20030825095256.00aa4af0@m...> <5.1.1.5.2.20030826192416.0231b670@m...>
• Reply-to: mitch.amiano@s...
• User-agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.4b) Gecko/20030507

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:

http://www.unidex.com/turing/utm.htm

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.

Regards,

Mitch

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@r...
>> 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>
> 
> 

• References:
  • XML CMM and ISO9000 compliance? - was A standard approach to glueing together reusableXML fragments in prose?
    • From: pop3 <lbradshaw@d...>
  • Re: A standard approach to glueing together reusableXML fragments in prose?
    • From: "Chiusano Joseph" <chiusano_joseph@b...>
  • Re: A standard approach to glueing together reusable XML fragments in prose?
    • From: dbexlist <dbexlists@e...>
  • A standard approach to glueing together reusable XML fragments in prose?
    • From: "Roger L. Costello" <costello@m...>
  • Re: A standard approach to glueing together reusable XML fragments in prose?
    • From: dbexcom <lbradshaw@d...>
  • Re: A standard approach to glueing together reusable XML fragments in prose?
    • From: lbradshaw@d...
  • Re: A standard approach to glueing together reusable XML fragments in prose?
    • From: dbexcom <lbradshaw@d...>
  • Re: XML CMM and ISO9000 compliance? - was A standard approach to glueing together reusableXML fragments in prose?
    • From: pop3 <lbradshaw@d...>

• Prev by Date: Re: XPath brain teaser
• Next by Date: RE: XML CMM and ISO9000 compliance? - was A standardapproach to glueing together reusableXML fragments in prose?
• Previous by thread: RE: XML CMM and ISO9000 compliance? - was A standardapproach to glueing together reusableXML fragments in prose?
• Next by thread: Re: XML CMM and ISO9000 compliance? - was A standard approach to glueing together reusableXML fragments in prose?
• Index(es):
  • Date
  • Thread