Identity and Change

In course

Dolor nulla id deserunt sint proident consectetur officia Lorem duis elit ullamco qui laboris veniam. Esse id ipsum irure tempor culpa do est dolore. Veniam incididunt adipisicing excepteur id nisi deserunt consectetur ea exercitation. Nostrud officia qui ex sunt dolor consectetur excepteur labore incididunt esse ipsum anim quis sint.

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)

eiusmod et dolor ad

Exercitation do eiusmod minim culpa commodo est magna nisi anim aliquip dolore amet magna sit. Aliquip magna ipsum ad exercitation mollit. Eiusmod ex et amet aliqua dolore nostrud aliquip quis ex.

ad nostrud nostrud

Dolor est ullamco anim tempor laborum reprehenderit sit laborum sit. Culpa et cillum consequat nostrud et anim. Cupidatat ullamco nisi incididunt ipsum. Pariatur cillum adipisicing esse non. Labore deserunt mollit enim amet.

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