Imperial College London
Alternate

ProfessorPhilippaGardner

Faculty of Engineering, Department of Computing

Professor of Theoretical Computer Science
 
 
 
//

Contact

 

+44 (0)20 7594 8292p.gardner Website

 
 
//

Location

 

453Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Raad:2016:10.1007/978-3-319-47958-3_21,
author = {Raad, A and Fragoso, Santos J and Gardner, P},
doi = {10.1007/978-3-319-47958-3_21},
pages = {401--422},
publisher = {Springer Verlag},
title = {DOM: Specification and Client Reasoning},
url = {http://dx.doi.org/10.1007/978-3-319-47958-3_21},
year = {2016}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - 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.
AU  - Raad,A
AU  - Fragoso,Santos J
AU  - Gardner,P
DO  - 10.1007/978-3-319-47958-3_21
EP  - 422
PB  - Springer Verlag
PY  - 2016///
SN  - 0302-9743
SP  - 401
TI  - DOM: Specification and Client Reasoning
UR  - http://dx.doi.org/10.1007/978-3-319-47958-3_21
UR  - http://hdl.handle.net/10044/1/67345
ER  -
Download