Completed
Preserving Correctness of Refactoring
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
All the Languages Together
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Multi-Language Software is Hard!
- 3 Current State of PL Design
- 4 Reasoning about Refactoring
- 5 Is this Refactoring Correct?
- 6 PureLang with Linking Types Extension PureLang
- 7 Refactoring: Pure Inputs
- 8 Refactoring: Stateful Inputs
- 9 Minimal Annotation Burden
- 10 Type-Preserving Compilation
- 11 Cross-Language Type Errors
- 12 Preserving Correctness of Refactoring
- 13 Mulberry Project
- 14 What about Untyped Languages?
- 15 Takeaways
