From: Blady <p.p11@orange.fr>
Subject: Re: ANN: article on Ada language for audio applications
Date: Wed, 15 Nov 2017 12:37:24 -0800 (PST)
Date: 2017-11-15T12:37:24-08:00 [thread overview]
Message-ID: <00d9e86b-c1be-49a9-a8e3-b0cec114c859@googlegroups.com> (raw)
In-Reply-To: <d8eab147-bf05-4f6d-b333-b65c9c99cb69@googlegroups.com>
Hello Gustavo,
Very nice to read and documented text on an original subject concerning Ada on DSP.
Have you considered to go further to formal proof with SPARK?
Thanks, Pascal.
Le vendredi 10 novembre 2017 23:12:22 UTC+1, Gustavo Hoffmann a écrit :
> Hello,
>
> I'm just sharing an article on Ada language for audio applications that I've co-authored:
>
> http://www.electronicdesign.com/embedded-revolution/assessing-ada-language-audio-applications
>
> Thanks,
>
> Gustavo Hoffmann.
next prev parent reply other threads:[~2017-11-15 20:37 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 [this message]
2017-11-18 19:09 ` Gustavo Hoffmann
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