Course page Home page Home page CoursesNew course

Mechanized language metatheory: Programming Language Design course | Zoonk

58. Mechanized language metatheory

State and prove properties such as type soundness, progress, preservation, termination, and compiler correctness. Mechanize a small language’s metatheory in a proof assistant and connect the proof to executable artifacts.

Programming Language Design

Create this chapter

This chapter is part of the course, but it hasn't been created yet. Create it to see all of its lessons.

Create chapterNBack to courseEsc