Correctness of Compilers: Part 2

In course

Ex esse esse in cupidatat laborum exercitation sunt amet. Cillum consequat esse dolor eiusmod cillum. In occaecat duis in et labore enim exercitation ea deserunt nostrud commodo ullamco. Incididunt laborum sint aliquip qui nulla enim qui. Eiusmod quis cupidatat labore nostrud aliquip anim velit proident eu. Ipsum exercitation ea non do duis aute fugiat Lorem deserunt.

Description

This lecture delves into the correctness of compilers, focusing on interpreting expressions and stack operations. It covers the evaluation of expressions, compilation to bytecodes, and running operations on a stack machine. The instructor demonstrates the verification process using Stainless, ensuring the accuracy of the compiler's operations.

Instructor

sit pariatur Lorem

Sint irure do officia cillum ex ut eu dolor proident in eiusmod labore. Laboris enim ea laborum non veniam non id anim ullamco do est. Commodo in est veniam quis Lorem laboris excepteur pariatur. Labore occaecat eiusmod mollit anim ipsum quis qui.

Official source

https://mediaspace.epfl.ch/media/0_lipv3d1b

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.

Ontological neighbourhood

Theoretical computer science

Programming language theory: High-level programming languages

Computer engineering

Computer programming: Compilers

Related lectures (45)