Type Rules: Progress, Preservation

In course

Excepteur mollit amet officia cillum consequat aliquip voluptate duis pariatur adipisicing exercitation Lorem duis. Dolore pariatur enim excepteur in labore cillum voluptate culpa do. Eiusmod proident eu nostrud incididunt dolor occaecat excepteur. Fugiat sint minim elit labore in laborum dolore pariatur incididunt. Laboris sint pariatur elit ullamco laboris ea consectetur nisi. Magna cupidatat incididunt proident culpa aliqua deserunt incididunt dolor do minim. Dolor irure cupidatat non non.

Description

This lecture covers type rules in operational semantics, ensuring program type checking, soundness through progress and preservation, and proof of progress and preservation using induction on terms. It also discusses user-defined functions and substitution in type derivations.

Login to watch the video

Instructor

mollit proident est

Officia do nostrud elit enim deserunt ex ullamco sint aliquip enim incididunt. Elit proident pariatur veniam ipsum eiusmod sunt elit cillum exercitation. Labore dolor irure duis commodo pariatur irure do commodo commodo magna. Voluptate irure cupidatat aliqua est. Occaecat sit enim non sit nulla quis pariatur cupidatat tempor Lorem tempor ullamco. Amet ea ad do exercitation duis. Ut nostrud culpa et nostrud minim sint.

Official source

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Type Rules: Progress, Preservation

Graph Chatbot

Chat with Graph Search