|
[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 approach
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)
|
PURCHASE STYLUS STUDIO ONLINE TODAY!Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced! Download The World's Best XML IDE!Accelerate XML development with our award-winning XML IDE - Download a free trial today! Subscribe in XML format
|
|||||||||

Cart








