Artwork

תוכן מסופק על ידי Oscar Slotosch. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי Oscar Slotosch או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.
Player FM - אפליקציית פודקאסט
התחל במצב לא מקוון עם האפליקציה Player FM !

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

7:39
 
שתפו
 

Manage episode 311662297 series 3164291
תוכן מסופק על ידי Oscar Slotosch. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי Oscar Slotosch או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.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

71 פרקים

Artwork
iconשתפו
 
Manage episode 311662297 series 3164291
תוכן מסופק על ידי Oscar Slotosch. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי Oscar Slotosch או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.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

71 פרקים

ทุกตอน

×
 
Loading …

ברוכים הבאים אל Player FM!

Player FM סורק את האינטרנט עבור פודקאסטים באיכות גבוהה בשבילכם כדי שתהנו מהם כרגע. זה יישום הפודקאסט הטוב ביותר והוא עובד על אנדרואיד, iPhone ואינטרנט. הירשמו לסנכרון מנויים במכשירים שונים.

 

מדריך עזר מהיר

האזן לתוכנית הזו בזמן שאתה חוקר
הפעלה