[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

• To: "Hunsberger, Peter" <Peter.Hunsberger@s...>,"pop3" <lbradshaw@d...>
• Subject: RE: XML CMM and ISO9000 compliance? - was A standard approach to glueing together reusableXML fragments in prose?
• From: Dave Pawson <dpawson@n...>
• Date: Wed, 27 Aug 2003 19:29:13 +0100
• Cc: <xml-dev@l...>
• In-reply-to: <1E0CC447E59C974CA5C7160D2A2854EC097D02@S...>

At 10:12 27/08/2003 -0500, Hunsberger, Peter wrote:

>Exactly what do you mean by "proven"?  There are classes of languages
>that are known as "provable", meaning that they have mathematical
>properties that allow one to always generate proofs that an algorithm
>works or does not work for any algorithm written in those languages.  In
>general, with most languages (those you list) this is not possible.
>
>One can talk about proving that an algorithm does what you claim it
>does.  One cannot talk about proving a language, since any Turing
>complete language is non-bounded...


The military do.
  E.g. 'prove' all paths through a program.
  Any stack based language fails on this basis,
hence Z was born as a KISS language,
  to run on risc processors which were sufficiently simple to
  enable 'proof' of this nature.

  Or at least that's what the UK MoD tell us :-)

Mind you, it gets kind of critical when 'proving' the launch software
  for a missile leaving an airplane wing :-)

regards DaveP

• References:
  • RE: XML CMM and ISO9000 compliance? - was A standard approach to glueing together reusableXML fragments in prose?
    • From: "Hunsberger, Peter" <Peter.Hunsberger@s...>

• Prev by Date: RE: G. Orwell (was: xml taxonomy)
• Next by Date: RE: XML and the Relational Model (was Re: A standard approach to glueing together ...)
• Previous by thread: RE: XML CMM and ISO9000 compliance? - was A standard approach to glueing together reusableXML fragments in prose?
• Next by thread: The relational model is to data as automata theory is to programs?
• Index(es):
  • Date
  • Thread