Browsing by Author "Jaber, G"
Now showing items 1-3 of 3
-
Theorems for Free from Separation Logic Specifications
Tzevelekos, N; Jaber, G; Birkedal, L; DINSDALE-YOUNG, T; GUÉNEAU, A; SVENDSEN, K; 26th ACM SIGPLAN International Conference on Functional Programming -
Trace Properties from Separation Logic Specifications
Birkedal, L; Dinsdale-Young, T; Jaber, G; Svendsen, K; Tzevelekos, NWe propose a formal approach for relating abstract separation logic library specifications with the trace properties they enforce on interactions between a client and a library. Separation logic with abstract predicates ... -
Trace semantics for polymorphic references
Jaber, G; Tzevelekos, N; ACM (2016)