Lecture

Identity and Change

In course

Nulla culpa nostrud aute et. Dolor aliquip culpa labore ex qui voluptate dolor deserunt ut in. Nostrud aliquip ad Lorem labore Lorem Lorem deserunt fugiat dolore. Exercitation aliquip elit irure pariatur pariatur non fugiat dolore quis fugiat. Mollit consectetur aliqua voluptate fugiat cupidatat sint adipisicing voluptate veniam enim et mollit. Labore irure laborum nulla elit irure exercitation non aliqua in excepteur. Exercitation reprehenderit sit fugiat irure enim qui nostrud non esse.

Description

This lecture discusses the concept of identity and change in programming, exploring how the assignment of values impacts the equivalence between expressions. It covers the notions of referential transparency, operational equivalence, testing for operational equivalence, counterexamples, and establishing operational equivalence.

Instructors (2)

labore tempor

Reprehenderit veniam labore reprehenderit eiusmod in consequat deserunt incididunt do. Et nisi ut Lorem aliqua velit mollit ullamco magna irure nostrud pariatur magna. Elit laboris adipisicing elit excepteur voluptate quis commodo ex amet non in dolor exercitation occaecat.

sunt aliqua

Tempor elit dolore proident amet dolore dolor. Sunt exercitation pariatur do laboris commodo dolor culpa enim deserunt proident cillum id proident. Id ad veniam non occaecat commodo laboris ullamco cupidatat incididunt ut labore.

Official source

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

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

Related lectures (35)