Semantics and logic of object calculi
Theoretical Computer Science - Logic, semantics and theory of programming
Design patterns in separation logic
Proceedings of the 4th international workshop on Types in language design and implementation
High-level separation logic for low-level code
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Hi-index | 0.00 |