Types, bytes, and separation logic
Loading...
Date
Authors
Tuch, Harvey
Klein, Gerwin
Norrish, Michael
Journal Title
Journal ISSN
Volume Title
Publisher
Association for Computing Machinery Inc (ACM)
Abstract
Description
Keywords
Citation
Collections
Source
Proceedings of the 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Type
Book Title
Entity type
Access Statement
License Rights
DOI
Restricted until
2037-12-31