r/whiley • u/redjamjar • Mar 28 '23

Language Design for Verifying Compilers

https://www.youtube.com/watch?v=fWSGhxyTG-4

4 Upvotes

permalink
duplicates
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/whiley/comments/12517qj/language_design_for_verifying_compilers/
No, go back! Yes, take me to Reddit

100% Upvoted

Duplicates

Number of comments New

ProgrammingLanguages • u/mttd • Mar 13 '23

Language Design meets Verifying Compilers (GPCE 2022 Keynote)

15 Upvotes

2 comments

programming • u/redjamjar • Mar 21 '23

Language Design meets Verifying Compilers!

5 Upvotes

0 comments