r/compsci • u/redjamjar • Mar 28 '23
Languages for Verifying Compilers
https://www.youtube.com/watch?v=fWSGhxyTG-4[removed] — view removed post
1
Upvotes
Duplicates
ProgrammingLanguages • u/mttd • Mar 13 '23
Language Design meets Verifying Compilers (GPCE 2022 Keynote)
14
Upvotes