/explore
|
You are here 
|
plv.mpi-sws.org | ||
| | | | |
www.ralfj.de
Just yesterday, we submitted our paper RustBelt: Securing the Foundations of the Rust Programming Language. Quoting from the abstract: Rust is a new systems programming language that pr... |
|
| | | | | ||
| | | | |
popl24.sigplan.org
Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG. CPP 2024 will be held on 15-16 January 2024 and will be co-located with POPL 2024 in London, UK. |
|
| | | | | ||
| | | | |
blog.sigplan.org
For decades, researchers have syntactically proved type soundness to establish their type system works. This post shows why a semantic notion of type soundness is more appropriate, for covering abs... |
|
| | | | | ||
| | | | |
ricardomartins.cc
[AI summary] This technical blog post explains the concept of interior mutability in Rust, providing a deep dive into how std::cell::Cell and std::cell::RefCell allow mutable state within immutable structures and discusses their use cases and safety guarantees. |
|
| | | |||
