| Автор | Poll, Erik |
| Дата выпуска | 2001 |
| dc.description | Coalgebras have been proposed as formal basis for the semantics of objects in the sense of object-oriented programming. This paper shows that this semantics provides a smooth interpretation for subtyping, a central notion in object-oriented programming. We show that different characterisations of behavioural subtyping found in the literature can conveniently be expressed in coalgebraic terms. We also investigate the subtle difference between behavioural subtyping and refinement. |
| Формат | application.pdf |
| Издатель | EDP Sciences |
| Копирайт | © EDP Sciences, 2001 |
| Название | A Coalgebraic Semantics of Subtyping |
| Тип | research-article |
| DOI | 10.1051/ita:2001109 |
| Electronic ISSN | 1290-385X |
| Print ISSN | 0988-3754 |
| Журнал | RAIRO - Theoretical Informatics and Applications |
| Том | 35 |
| Первая страница | 61 |
| Последняя страница | 81 |
| Аффилиация | Poll Erik; Department of Computer Science, University of Nijmegen, P.O. Box 9010, 6500 GL Nijmegen, The Netherlands. |
| Выпуск | 1 |
