Lecture

Identity and Change

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.

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.