loading...
Towards Automatic Assertion Refinement for Separation Logic
Tokyo, Japan September 18-September 22
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASE.2006.6921st IEEE International Conference on ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Andrew Ireland, "Towards Automatic Assertion Refinement for Separation Logic," Automated Software Engineering, International Conference on, pp. 309-312, 21st IEEE International Conference on Automated Software Engineering (ASE'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/ASE.2006.69,
author = {Andrew Ireland},
title = {Towards Automatic Assertion Refinement for Separation Logic},
journal ={Automated Software Engineering, International Conference on},
volume = {0},
year = {2006},
issn = {1527-1366},
pages = {309-312},
doi = {http://doi.ieeecomputersociety.org/10.1109/ASE.2006.69},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Automated Software Engineering, International Conference on
TI - Towards Automatic Assertion Refinement for Separation Logic
SN - 1527-1366
SP309
EP312
A1 - Andrew Ireland,
PY - 2006
KW - null
VL - 0
JA - Automated Software Engineering, International Conference on
ER -
 
Andrew Ireland, Heriot-Watt University Edinburgh, Scotland, UK
Separation logic holds the promise of supporting scalable formal reasoning for pointer programs. Here we consider proof automation for separation logic. In particular we propose an approach to automating partial correctness proofs for recursive procedures. Our proposal is based upon proof planning and proof patching via assertion refinement.
Citation:
Andrew Ireland, "Towards Automatic Assertion Refinement for Separation Logic," ase, pp.309-312, 21st IEEE International Conference on Automated Software Engineering (ASE'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.