Footprints in local reasoning
File(s)Raza2008Footprints.pdf (243.83 KB)
Accepted version
Author(s)
Raza, M
Gardner, P
Type
Conference Paper
Editor(s)
Amadio, R
Date Issued
2008-01-01
ISBN
978-3-540-78497-5
ISSN
0302-9743
Publisher
Springer-Verlag Berlin
Start Page
201
End Page
215
Journal / Book Title
Foundations of Software Science and Computational Structures, Proceedings
Volume
4962
Copyright Statement
© 2008 Springer Berlin Heidelberg. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-540-78499-9_15
Identifier
http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000254606200015&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=1ba7043ffcc86c417c072aa74d649202
Source
11th International Conference on Foundations of Software Science and Computational Structures
Subjects
Science & Technology
Technology
Physical Sciences
Computer Science, Software Engineering
Computer Science, Theory & Methods
Mathematics, Applied
Computer Science
Mathematics
footprints
Hoare logic
local reasoning
separation logic
Artificial Intelligence & Image Processing
Information And Computing Sciences
Publication Status
Published
Start Date
2008-03-29
Finish Date
2008-04-06
Coverage Spatial
Budapest, Hungary