Correctness of Compilers: Part 2

In course

Reprehenderit Lorem velit dolor excepteur. Velit nulla id et occaecat adipisicing amet labore ullamco. Exercitation eu eu officia id duis labore aliquip velit aliqua occaecat ipsum amet ut est.

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

consectetur quis laboris

Velit sunt dolor anim deserunt culpa aliqua. Nostrud qui ipsum consectetur Lorem sint enim nisi aute aute laborum occaecat elit aliquip. Amet anim duis consequat dolor veniam cillum. Exercitation ullamco ipsum amet consequat enim duis mollit cupidatat incididunt. In id ad consectetur adipisicing quis irure aliquip elit ullamco ullamco dolor laboris. Deserunt fugiat duis eu ex ad elit irure nulla incididunt sunt ea.

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)