Artwork

Konten disediakan oleh Oscar Slotosch. Semua konten podcast termasuk episode, grafik, dan deskripsi podcast diunggah dan disediakan langsung oleh Oscar Slotosch atau mitra platform podcast mereka. Jika Anda yakin seseorang menggunakan karya berhak cipta Anda tanpa izin, Anda dapat mengikuti proses yang dijelaskan di sini https://id.player.fm/legal.
Player FM - Aplikasi Podcast
Offline dengan aplikasi Player FM !

Question 02: Can a non-deterministic compiler be qualified?

7:39
 
Bagikan
 

Manage episode 311662297 series 3164291
Konten disediakan oleh Oscar Slotosch. Semua konten podcast termasuk episode, grafik, dan deskripsi podcast diunggah dan disediakan langsung oleh Oscar Slotosch atau mitra platform podcast mereka. Jika Anda yakin seseorang menggunakan karya berhak cipta Anda tanpa izin, Anda dapat mengikuti proses yang dijelaskan di sini https://id.player.fm/legal.

Even though non-deterministic compilers may not be ideal for use in a safety-relevant project, they can still be qualified. Our new question episode goes beyond the usual topics of compiler qualification and answers the question of whether — and how — non-deterministic compilers can be qualified.

For a detailed discussion on compiler qualification, join us in Episode 27: Compiler Qualification, or listen to our interview episode in which Dr. Oscar Slotosch and Marcel Beemster of Solid Sands discuss compiler testing strategies: Episode 20: SuperTest with Marcel Beemster (Solid Sands).

Your producer and friendly representative of the audience in this episode has been Ivana Kurecic.

We can be reached through podcast@validas.de and all information about Validas can be found on our website, validas.de.

  continue reading

67 episode

Artwork
iconBagikan
 
Manage episode 311662297 series 3164291
Konten disediakan oleh Oscar Slotosch. Semua konten podcast termasuk episode, grafik, dan deskripsi podcast diunggah dan disediakan langsung oleh Oscar Slotosch atau mitra platform podcast mereka. Jika Anda yakin seseorang menggunakan karya berhak cipta Anda tanpa izin, Anda dapat mengikuti proses yang dijelaskan di sini https://id.player.fm/legal.

Even though non-deterministic compilers may not be ideal for use in a safety-relevant project, they can still be qualified. Our new question episode goes beyond the usual topics of compiler qualification and answers the question of whether — and how — non-deterministic compilers can be qualified.

For a detailed discussion on compiler qualification, join us in Episode 27: Compiler Qualification, or listen to our interview episode in which Dr. Oscar Slotosch and Marcel Beemster of Solid Sands discuss compiler testing strategies: Episode 20: SuperTest with Marcel Beemster (Solid Sands).

Your producer and friendly representative of the audience in this episode has been Ivana Kurecic.

We can be reached through podcast@validas.de and all information about Validas can be found on our website, validas.de.

  continue reading

67 episode

Semua episode

×
 
Loading …

Selamat datang di Player FM!

Player FM memindai web untuk mencari podcast berkualitas tinggi untuk Anda nikmati saat ini. Ini adalah aplikasi podcast terbaik dan bekerja untuk Android, iPhone, dan web. Daftar untuk menyinkronkan langganan di seluruh perangkat.

 

Panduan Referensi Cepat