2
IRUS TotalDownloads
Altmetric
DOM: Specification and Client Reasoning
| File | Description | Size | Format | |
|---|---|---|---|---|
 Raad2016DOM.pdf | Accepted version | 479.7 kB | Adobe PDF | View/Open |
| Title: | DOM: Specification and Client Reasoning |
| Authors: | Raad, A Fragoso Santos, J Gardner, P |
| Item Type: | Conference Paper |
| Abstract: | We present an axiomatic specification of a key fragment of DOM using structural separation logic. This specification allows us to develop modular reasoning about client programs that call the DOM. |
| Issue Date: | 9-Oct-2016 |
| Date of Acceptance: | 16-Aug-2016 |
| URI: | http://hdl.handle.net/10044/1/67345 |
| DOI: | https://dx.doi.org/10.1007/978-3-319-47958-3_21 |
| ISSN: | 0302-9743 |
| Publisher: | Springer Verlag |
| Start Page: | 401 |
| End Page: | 422 |
| Journal / Book Title: | Lecture Notes in Computer Science |
| Volume: | 10017 |
| Copyright Statement: | © Springer International Publishing AG 2016. The final publication is available at Springer via https://link.springer.com/chapter/10.1007%2F978-3-319-47958-3_21 |
| Sponsor/Funder: | Engineering & Physical Science Research Council (E Engineering & Physical Science Research Council (E Engineering & Physical Science Research Council (EPSRC) Engineering & Physical Science Research Council (E Engineering & Physical Science Research Council (E |
| Funder's Grant Number: | EP/H008373/1 EP/H008373/1 EP/K032089/1 EP/K008528/1 - RG65358 EP/K008528/1 |
| Conference Name: | Asian Symposium on Programming Languages and Systems |
| Keywords: | 08 Information And Computing Sciences Artificial Intelligence & Image Processing |
| Publication Status: | Published |
| Start Date: | 2016-11-21 |
| Finish Date: | 2016-11-23 |
| Conference Place: | Hanoi, Vietnam |
| Appears in Collections: | Computing Faculty of Engineering |