Unfolding Abstract Datatypes
Abstract datatypes — with public interfaces hiding private implementations — represent a form of codata rather than ordinary data, and so proof methods for corecursive programs are the appropriate techniques to use for reasoning with them. In particular, we show that the universal properties of unfo...
| Hlavní autor: | |
|---|---|
| Médium: | Conference item |
| Vydáno: |
2008
|
| _version_ | 1826292382841176064 |
|---|---|
| author | Gibbons, J |
| author_facet | Gibbons, J |
| author_sort | Gibbons, J |
| collection | OXFORD |
| description | Abstract datatypes — with public interfaces hiding private implementations — represent a form of codata rather than ordinary data, and so proof methods for corecursive programs are the appropriate techniques to use for reasoning with them. In particular, we show that the universal properties of unfold operators are perfectly suited for the task. We illustrate with the solution to a problem in the recent literature. |
| first_indexed | 2024-03-07T03:13:50Z |
| format | Conference item |
| id | oxford-uuid:b51d2af6-25de-41ae-b3e7-9ac997de87b3 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T03:13:50Z |
| publishDate | 2008 |
| record_format | dspace |
| spelling | oxford-uuid:b51d2af6-25de-41ae-b3e7-9ac997de87b32022-03-27T04:31:01ZUnfolding Abstract DatatypesConference itemhttp://purl.org/coar/resource_type/c_5794uuid:b51d2af6-25de-41ae-b3e7-9ac997de87b3Department of Computer Science2008Gibbons, JAbstract datatypes — with public interfaces hiding private implementations — represent a form of codata rather than ordinary data, and so proof methods for corecursive programs are the appropriate techniques to use for reasoning with them. In particular, we show that the universal properties of unfold operators are perfectly suited for the task. We illustrate with the solution to a problem in the recent literature. |
| spellingShingle | Gibbons, J Unfolding Abstract Datatypes |
| title | Unfolding Abstract Datatypes |
| title_full | Unfolding Abstract Datatypes |
| title_fullStr | Unfolding Abstract Datatypes |
| title_full_unstemmed | Unfolding Abstract Datatypes |
| title_short | Unfolding Abstract Datatypes |
| title_sort | unfolding abstract datatypes |
| work_keys_str_mv | AT gibbonsj unfoldingabstractdatatypes |