A Aralex Aachen research explorer

January 22, 2013 conference-paper

The ramifications of sharing in data structures

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

DOI: 10.1145/2429069.2429131 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 1 stored of 52

A First-order Logic with Frames
2023 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

2

citations

1 result

References 0