2
IRUS Total
Downloads
  Altmetric

DOM: Specification and Client Reasoning

File Description SizeFormat 
Raad2016DOM.pdfAccepted version479.7 kBAdobe PDFView/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