Separation logic and abstraction.
Separation logic and abstraction.
Matthew J. Parkinson, Gavin M. Bierman
01 September 2005
Venue : POPL
External Link: https://doi.org/10.1145/1040305.1040326
01 September 2005
Venue : POPL
External Link: https://doi.org/10.1145/1040305.1040326