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

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