From: "Rod Chapman" <rod.chapman@praxis-his.com>
Subject: Re: loop variant in SPARK ADA
Date: 20 Sep 2005 10:15:37 -0700
Date: 2005-09-20T10:15:37-07:00 [thread overview]
Message-ID: <1127236537.057857.142300@g49g2000cwa.googlegroups.com> (raw)
In-Reply-To: 1127121942.777976.45330@f14g2000cwb.googlegroups.com
SPARK doesn't directly support the specificaciton of _variants_
for loops at present.
It's something we've often thought about, but no paying customer
has ever asked us for! We also find that, in most embedded, critical
systems, the loop structures used are so simple that establishing
their termination is hardly ever a big problem.
- Rod Chapman, SPARK Team, Praxis
next prev parent reply other threads:[~2005-09-20 17:15 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-09-19 9:25 loop variant in SPARK ADA Constantin Porphyrogenete
2005-09-19 13:23 ` Jacob Sparre Andersen
2005-09-19 15:40 ` Jeffrey Carter
2005-09-19 16:03 ` Georg Bauhaus
2005-09-19 22:22 ` Jeffrey Carter
2005-09-20 8:17 ` Georg Bauhaus
2005-09-20 17:15 ` Rod Chapman [this message]
2005-09-21 2:49 ` Constantin Porphyrogenete
2005-09-21 17:31 ` Jeffrey Carter
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox