Browsing Electronic Engineering and Computer Science by Author "Jaber, G"
Now showing items 1-2 of 2
-
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 semantics for polymorphic references
Jaber, G; Tzevelekos, N; ACM (2016)