Tuch, Harvey; Klein, Gerwin; Norrish, Michael Types, bytes, and separation logic. (English) Zbl 1295.68094 Proceedings of the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’07, Nice, France, January 17–19, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-575-4). 97-108 (2007). Cited in 21 Documents MSC: 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) 03B70 Logic in computer science 68N15 Theory of programming languages 68T15 Theorem proving (deduction, resolution, etc.) (MSC2010) Keywords:C; interactive theorem proving; separation logic Software:Isabelle/HOL PDF BibTeX Cite \textit{H. Tuch} et al., in: Proceedings of the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '07, Nice, France, January 17--19, 2007. New York, NY: Association for Computing Machinery (ACM). 97--108 (2007; Zbl 1295.68094) Full Text: DOI