×

zbMATH — the first resource for mathematics

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).

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)
Software:
Isabelle/HOL
PDF BibTeX Cite
Full Text: DOI