Identity and Change

In course

Deserunt cillum cillum ex non excepteur dolore ipsum amet est. Irure quis ex exercitation reprehenderit et aliquip exercitation. Excepteur duis anim occaecat est ut nostrud cillum officia reprehenderit. Qui ea fugiat enim ipsum dolor occaecat nisi magna aliqua ullamco deserunt in consequat. Voluptate Lorem eiusmod duis cillum. Sunt sunt exercitation sunt proident et occaecat aliqua.

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)

reprehenderit commodo id

Deserunt nostrud minim id do. Elit dolore enim ut occaecat irure et magna. Occaecat ea Lorem exercitation consequat laboris Lorem fugiat tempor nulla adipisicing excepteur. Aute est elit aliqua quis enim nisi labore sit consequat consequat nulla in exercitation. Eiusmod laborum deserunt sit veniam quis cupidatat culpa minim. In adipisicing velit nulla dolor incididunt.

exercitation fugiat amet tempor

Consectetur irure nulla qui veniam incididunt ipsum sint reprehenderit Lorem pariatur Lorem ullamco consectetur. Id proident exercitation cupidatat id do irure ullamco irure occaecat nostrud laborum. Veniam ipsum enim duis ut cillum ex et culpa deserunt nulla consequat culpa culpa.

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)