Docentföreläsning - Elias Castegren: "Vad betyder programspråkssemantik?"

• Ordförande: professor Stefanos Kaxiras
• Docenturnämndens representant: professor Nataša Sladoje
• Följ via Zoom: https://uu-se.zoom.us/my/elias.castegren

Sammanfattning: När man skriver ett program i ett programspråk har man någon slags känsla för vad programmet kommer att göra när det körs. Vad programmet faktiskt sedan gör beror på programspråkets semantik. Alla programspråk har en semantik, oavsett om den är nedskriven eller baseras på en specifik implementation av programspråket, och den avgör vilka program som är giltiga i språket och vad som händer när de körs. Alla som har skrivit program vet att detta inte alltid är enkelt: ens förståelse av ett programspråk är ofta informell och kan vara ofullständig eller felaktig. Själva implementationen av programspråket kan innehålla fel och specifikationen av det program man implementerar kan vara tvetydig.

Forskningsområdet programspråkssemantik tillhandahåller verktyg för att uttrycka betydelsen av programspråk på ett formellt och entydigt sätt. Det utgör grunden för tekniker som formell verifiering och statisk analys. Denna föreläsning ger en översikt över programspråkssemantik och diskuterar några av dess tillämpningar.

Föreläsningen, som är ett lärarprov för den som ansökt om att bli antagen som docent, ska kunna följas av studenter och andra med kunskaper på grundutbildningsnivå inom ämnet, men kan även vara av intresse för en bredare publik. Föreläsningen varar 40-45 minuter med efterföljande diskussion och kommer att ges på engelska.

Välkomna!

Nyhetsinlägg på SharePoint: Elias' docentship lecture: What is the Meaning of Programming Language Semantics?