From: rod.chapman@praxis-cs.co.uk (Rod Chapman)
Subject: Re: XRP
Date: 29 Apr 2004 00:58:18 -0700
Date: 2004-04-29T00:58:18-07:00 [thread overview]
Message-ID: <cf2c6063.0404282358.137aa59e@posting.google.com> (raw)
In-Reply-To: slrnc8uv54.ne.lutz@taranis.iks-jena.de
Lutz Donnerhacke <lutz@iks-jena.de> wrote in message news:<slrnc8uv54.ne.lutz@taranis.iks-jena.de>...
> * Alexei Polkhanov wrote:
> > We should really change subject from BIND to XRP then. Leave the BIND alone
> > and think about implementation of XRP server which has little to do with
> > BIND.
>
> Fine. I'm feeling comfortable with this project.
If you're really serious about a high-integrity implementation,
then why not do it in SPARK? We'd might be able to support
such an effort (in terms of tools and support, if not actual
engineering effort... :-) )
The SPARK toolset is, of course, totally free to University faculty...
- Rod, SPARK Team
next prev parent reply other threads:[~2004-04-29 7:58 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <20040425224751.C907A4C4136@lovelace.ada-france.org>
2004-04-26 5:50 ` BIND Andrew Carroll
2004-04-26 16:36 ` BIND chris
2004-04-26 17:14 ` BIND Warren W. Gay VE3WWG
2004-04-26 19:36 ` BIND Lutz Donnerhacke
2004-04-26 22:58 ` BIND Alexei Polkhanov
2004-04-27 7:53 ` BIND Georg Bauhaus
2004-04-27 9:08 ` BIND Lutz Donnerhacke
2004-04-28 2:34 ` BIND David Starner
2004-04-28 4:41 ` BIND Alexei Polkhanov
2004-04-28 9:43 ` XRP Lutz Donnerhacke
2004-04-29 7:58 ` Rod Chapman [this message]
2004-05-03 1:42 ` XRP Craig Carey
2004-04-28 11:46 ` BIND Marius Amado Alves
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox