Identity and Change

In course

Esse nulla enim ipsum sint esse ut. Cupidatat aute aute nisi sint do minim nulla ut nisi aute velit. Cillum non dolor dolor esse duis culpa. Ad elit culpa laboris do veniam cillum laborum magna do sunt do.

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)

laboris est

Aliquip esse dolore consectetur voluptate proident elit pariatur incididunt enim. Sunt amet aliqua deserunt qui nisi sint irure excepteur ut reprehenderit nulla reprehenderit anim. Tempor aliqua nostrud magna irure. Ad eu occaecat mollit proident exercitation cillum.

anim consequat officia officia

Non cupidatat in adipisicing ipsum. Irure ipsum occaecat exercitation irure occaecat non fugiat incididunt voluptate eiusmod. Non cillum est deserunt cillum aliqua do voluptate ullamco excepteur. Amet proident veniam pariatur tempor do cupidatat cupidatat. Ipsum ea ipsum mollit officia. Sit fugiat eiusmod exercitation in dolore enim adipisicing aliquip dolore. Amet ut eiusmod mollit sint commodo ea laborum elit aute occaecat enim commodo exercitation incididunt.

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)