A Aralex Aachen research explorer

June 10, 2007 conference-paper

Thread-modular shape analysis

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation

DOI: 10.1145/1250734.1250765 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 1 stored of 92

Foundations for Entailment Checking in Quantitative Separation Logic
2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

4

citations

1 result

References 0