Artwork

Contenuto fornito da Oscar Slotosch. Tutti i contenuti dei podcast, inclusi episodi, grafica e descrizioni dei podcast, vengono caricati e forniti direttamente da Oscar Slotosch o dal partner della piattaforma podcast. Se ritieni che qualcuno stia utilizzando la tua opera protetta da copyright senza la tua autorizzazione, puoi seguire la procedura descritta qui https://it.player.fm/legal.
Player FM - App Podcast
Vai offline con l'app Player FM !

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

7:39
 
Condividi
 

Manage episode 311662297 series 3164291
Contenuto fornito da Oscar Slotosch. Tutti i contenuti dei podcast, inclusi episodi, grafica e descrizioni dei podcast, vengono caricati e forniti direttamente da Oscar Slotosch o dal partner della piattaforma podcast. Se ritieni che qualcuno stia utilizzando la tua opera protetta da copyright senza la tua autorizzazione, puoi seguire la procedura descritta qui https://it.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 [email protected] and all information about Validas can be found on our website, validas.de.

  continue reading

71 episodi

Artwork
iconCondividi
 
Manage episode 311662297 series 3164291
Contenuto fornito da Oscar Slotosch. Tutti i contenuti dei podcast, inclusi episodi, grafica e descrizioni dei podcast, vengono caricati e forniti direttamente da Oscar Slotosch o dal partner della piattaforma podcast. Se ritieni che qualcuno stia utilizzando la tua opera protetta da copyright senza la tua autorizzazione, puoi seguire la procedura descritta qui https://it.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 [email protected] and all information about Validas can be found on our website, validas.de.

  continue reading

71 episodi

Tüm bölümler

×
 
Loading …

Benvenuto su Player FM!

Player FM ricerca sul web podcast di alta qualità che tu possa goderti adesso. È la migliore app di podcast e funziona su Android, iPhone e web. Registrati per sincronizzare le iscrizioni su tutti i tuoi dispositivi.

 

Guida rapida

Ascolta questo spettacolo mentre esplori
Riproduci