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.
 
Automatic parallelization with separation logic
File(s)
Raza2009Automatic.pdf (312.64 KB)
Submitted version
Author(s)
Raza, M
Calcagno, C
Gardner, P
Type
Conference Paper
Editor(s)
Castagna, G
Date Issued
2009-01-01
URI
ISBN
978-3-642-00589-3
ISSN
0302-9743
Publisher
Springer Verlag Berlin
Start Page
348
End Page
362
Journal / Book Title
Programming Languages and Systems, Proceedings
Volume
5502
Identifier
http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000265244700025&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=1ba7043ffcc86c417c072aa74d649202
Source
15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems held at Joint European Conferences on Theory and Practice of Software
Subjects
Science & Technology
Technology
Computer Science, Software Engineering
Computer Science, Theory & Methods
Computer Science
Shape-analysis
Artificial Intelligence & Image Processing
Information And Computing Sciences
Publication Status
Published
Start Date
2009-03-22
Finish Date
2009-03-29
Coverage Spatial
York, England