From: Gustavo Hoffmann <gusthoff.ada@gmail.com>
Subject: Re: ANN: article on Ada language for audio applications
Date: Sat, 18 Nov 2017 11:09:14 -0800 (PST)
Date: 2017-11-18T11:09:14-08:00 [thread overview]
Message-ID: <53eb97c3-bb17-4e66-8286-35ce8b97230d@googlegroups.com> (raw)
In-Reply-To: <00d9e86b-c1be-49a9-a8e3-b0cec114c859@googlegroups.com>
Thanks!
> Have you considered to go further to formal proof with SPARK?
>
Yes, I have considered that. Unfortunately, due to time-constraints, I was not able to work on it. In general, formal proof of numerical algorithms is an interesting topic.
Gustavo.
next prev parent reply other threads:[~2017-11-18 19:09 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-11-10 22:12 ANN: article on Ada language for audio applications Gustavo Hoffmann
2017-11-15 20:37 ` Blady
2017-11-18 19:09 ` Gustavo Hoffmann [this message]
2017-11-18 0:26 ` Shark8
2017-11-18 19:14 ` Gustavo Hoffmann
2017-11-20 17:52 ` Shark8
2017-12-04 20:31 ` Olivier Henley
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox