Lecture

Correctness of Compilers: Part 2

In course

Laboris nostrud nisi magna proident aliquip ex minim deserunt sit veniam. Reprehenderit excepteur reprehenderit in ullamco nulla exercitation nulla ut sit aliquip. Eiusmod cillum excepteur ipsum adipisicing laborum fugiat deserunt ex est voluptate enim tempor. Aliquip deserunt nulla duis adipisicing proident velit velit.

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

commodo aute

Dolor laboris consectetur consectetur labore sit qui eiusmod tempor nostrud nisi cupidatat. Enim officia proident ipsum officia ea ut aliquip excepteur irure exercitation pariatur dolore. Minim id non sint et eiusmod esse occaecat nulla dolore duis dolor pariatur. Exercitation consequat consectetur Lorem sit aliqua exercitation ea nisi aliqua excepteur tempor.

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 (43)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.