A Aralex Aachen research explorer

January 01, 2001 conference-paper

BI as an assertion language for mutable data structures

ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)

DOI: 10.1145/360204.375719 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 2 stored of 287

Weighted programming: a programming paradigm for specifying mathematical models
2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

18

citations
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

2 results

References 0