Hacker News
- Undefined Behavior deserves a better reputation (2021) https://blog.sigplan.org/2021/11/18/undefined-behavior-deserves-a-better-reputation/ 42 comments
Lobsters
- Undefined Behavior deserves a better reputation https://blog.sigplan.org/2021/11/18/undefined-behavior-deserves-a-better-reputation/ 3 comments plt
- Undefined Behavior deserves a better reputation https://blog.sigplan.org/2021/11/18/undefined-behavior-deserves-a-better-reputation/ 55 comments rust
- Undefined Behavior deserves a better reputation https://blog.sigplan.org/2021/11/18/undefined-behavior-deserves-a-better-reputation/ 20 comments compilers
Linking pages
Linked pages
- GitHub - rust-lang/miri: An interpreter for Rust's mid-level intermediate representation https://github.com/rust-lang/miri 38 comments
- RustBelt http://plv.mpi-sws.org/rustbelt/#project 37 comments
- Stacked Borrows Implemented https://www.ralfj.de/blog/2018/11/16/stacked-borrows-implementation.html 27 comments
- Stacked Borrows: An Aliasing Model for Rust (POPL 2020) https://plv.mpi-sws.org/rustbelt/stacked-borrows/ 26 comments
- What Type Soundness Theorem Do You Really Want to Prove? | SIGPLAN Blog https://blog.sigplan.org/2019/10/17/what-type-soundness-theorem-do-you-really-want-to-prove/ 18 comments
- Stacked Borrows 2 https://www.ralfj.de/blog/2019/04/30/stacked-borrows-2.html 7 comments
- nasal demons http://catb.org/jargon/html/N/nasal-demons.html 0 comments
Related searches:
Search whole site: site:blog.sigplan.org
Search title: Undefined Behavior deserves a better reputation | SIGPLAN Blog
See how to search.