YoVDO

Polonius Working Group: The Role of Subset Relations in Rust

Offered By: Rust via YouTube

Tags

Rust Courses Type System Courses Static Analysis Courses Programming Language Design Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the intricacies of Polonius's design in this 49-minute Rust conference talk focusing on the role of subset relations. Delve into a detailed discussion about propagating equality instead of full subset relations within the Polonius system. Gain insights into the proposed changes and their potential impact on the Rust programming language. Access the accompanying paper document for a comprehensive understanding of the topic and follow along with the speaker's analysis.

Syllabus

Polonius WG: The role of subset relations


Taught by

Rust

Related Courses

Secure Software Development: Verification and More Specialized Topics
Linux Foundation via edX
Developing Secure Software
LinkedIn Learning
Ethical Hacking: Mobile Devices and Platforms
LinkedIn Learning
Tüm Aşamalarıyla İnşaat Eğitimi - AUTOCAD/STA4/EXCEL/PROJECT
Udemy
Mobile Security: Reverse Engineer Android Apps From Scratch
Udemy