DOM: Specification and Client Reasoning
File(s)Raad2016DOM.pdf (479.7 KB)
Accepted version
Author(s)
Raad, A
Fragoso Santos, J
Gardner, P
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.
Date Issued
2016-10-09
Date Acceptance
2016-08-16
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
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
Grant Number
EP/H008373/1
EP/H008373/1
EP/K032089/1
EP/K008528/1 - RG65358
EP/K008528/1
Source
Asian Symposium on Programming Languages and Systems
Subjects
08 Information And Computing Sciences
Artificial Intelligence & Image Processing
Publication Status
Published
Start Date
2016-11-21
Finish Date
2016-11-23
Coverage Spatial
Hanoi, Vietnam