YoVDO

Flux: Refinement Types for Rust

Offered By: ACM SIGPLAN via YouTube

Tags

Rust Courses Programming Languages Courses Type System Courses Concurrency Courses Static Analysis Courses Memory Safety Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Learn about Flux, a system that brings refinement types to Rust, in this conference talk from the ACM SIGPLAN SOAP'23 event. Explore how Flux extends Rust's type system with logical predicates, enabling more precise specifications and stronger correctness guarantees. Discover the challenges and solutions in integrating refinement types with Rust's ownership model and borrow checker. Gain insights into Flux's implementation, its impact on code verification, and potential applications in enhancing Rust's safety and expressiveness.

Syllabus

[SOAP'23] Flux: Refinement types for Rust


Taught by

ACM SIGPLAN

Related Courses

Paradigms of Computer Programming – Fundamentals
Université catholique de Louvain via edX Paradigms of Computer Programming – Abstraction and Concurrency
Université catholique de Louvain via edX Computing: Art, Magic, Science - Part II
ETH Zurich via edX Concurrency
AdaCore via Independent Java Fundamentals for Android Development
Galileo University via edX