Relational Parametricity and Separation Logic
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
Springer−Verlag
2007
|
| _version_ | 1797102622700732416 |
|---|---|
| author | Birkedal, L Yang, H |
| author_facet | Birkedal, L Yang, H |
| author_sort | Birkedal, L |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T06:08:33Z |
| format | Conference item |
| id | oxford-uuid:eeac09f3-57c8-4ca0-8161-454ff3ae6b74 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T06:08:33Z |
| publishDate | 2007 |
| publisher | Springer−Verlag |
| record_format | dspace |
| spelling | oxford-uuid:eeac09f3-57c8-4ca0-8161-454ff3ae6b742022-03-27T11:34:36ZRelational Parametricity and Separation LogicConference itemhttp://purl.org/coar/resource_type/c_5794uuid:eeac09f3-57c8-4ca0-8161-454ff3ae6b74Department of Computer ScienceSpringer−Verlag2007Birkedal, LYang, H |
| spellingShingle | Birkedal, L Yang, H Relational Parametricity and Separation Logic |
| title | Relational Parametricity and Separation Logic |
| title_full | Relational Parametricity and Separation Logic |
| title_fullStr | Relational Parametricity and Separation Logic |
| title_full_unstemmed | Relational Parametricity and Separation Logic |
| title_short | Relational Parametricity and Separation Logic |
| title_sort | relational parametricity and separation logic |
| work_keys_str_mv | AT birkedall relationalparametricityandseparationlogic AT yangh relationalparametricityandseparationlogic |