Dear Spiral user, We’re pleased to introduce Helix, https://helix.imperial.ac.uk/ Imperial’s new repository for research datasets. Please use Helix for all future dataset deposits. There is no change to Spiral -continue depositing as usual. For queries, contact the Research Data Management team at rdm-enquiries@imperial.ac.uk. Kind regards, the Spiral Team.
 
Context logic and tree update
File(s)
Author(s)
Calcagno, C
Gardner, P
Zarfaty, U
Type
Conference Paper
Date Issued
2005
Citation
ACM SIGPLAN Notices, 2005, 40, pp.271-282
URI
DOI
ISSN
0362-1340
Start Page
271
End Page
282
Journal / Book Title
ACM SIGPLAN Notices
Volume
40
Copyright Statement
© 2005 ACM. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ACM SIGNPLAN Notices, Vol. 40, Issue: 1, (2005) http://doi.acm.org/10.1145/1047659.1040328
Sponsor
Engineering & Physical Science Research Council (EPSRC)
Grant Number
GR/S01733/01
Source
Symposium on Principles of Programming Languages
Subjects
Science & Technology
Technology
Computer Science, Software Engineering
Computer Science
Languages
Theory
Verification
Tree update
Hoare Logic
Contexts
Software Engineering
Start Date
2005-01-12
Finish Date
2005-01-14
Coverage Spatial
Long Beach, CA