On the Metatheory of IRs and the CPS-Calculus

On the Metatheory of IRs and the CPS-Calculus

ACM SIGPLAN via YouTube Direct link

Introduction

1 of 7

1 of 7

Introduction

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

On the Metatheory of IRs and the CPS-Calculus

Automatically move to the next video in the Classroom when playback concludes

  1. 1 Introduction
  2. 2 A crash course into the CPS-calculus - semantics
  3. 3 Comparison to actual compiler IRS
  4. 4 Contribution: extending the semantics
  5. 5 Results: factorization and adequacy
  6. 6 Results: strong normalization
  7. 7 Conclusions and Future Work

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.