## Quotient relations and data abstraction

Dept. of Computer Science

Queen Mary,
Univ. of London

Monday, 25 November 2002, 14:00

Cybernetica Bldg (Akadeemia tee 21), room B216

**Abstract**: So-called logical relations are used to model the
idea that some programs act abstractly. They provide some of the
strongest mathematics in the semantics of computation. Indeed the
subject is fraught with open questions. We illustrate the basic ideas
with an application to data abstraction developed by Power and
Robinson. We then describe a special class of relations called
quotient relations. These are motivated by a naive model of data
abstraction and are often adequate where more general relations have
been used. We emphasize the intuitions behind the abstract results.

Tarmo Uustalu

Viimane uuendus 8.11.2002